0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.77 c #variables 479 #constraints 479
0.00/0.77 c objective is ce32
0.00/0.77 c initial watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
0.00/0.77 c initial counting CF 32, 64, 128, Arb: 474 , 0 , 0 , 0
0.00/0.77 c GLOBAL bounds - >= 0 @ 0.00552
0.00/0.77 c GLOBAL bounds - >= 0 @ 0.00562
0.00/0.78 c GLOBAL bounds - >= 0 @ 0.007464
0.02/0.84 c GLOBAL bounds - >= 0 @ 0.065018
0.02/0.85 c GLOBAL bounds - >= 0 @ 0.078265
0.12/0.90 c GLOBAL bounds - >= 0 @ 0.12038
0.12/0.92 c GLOBAL bounds - >= 0 @ 0.138281
0.12/0.96 c GLOBAL bounds - >= 0 @ 0.178318
0.22/1.06 c #Conflicts: 1000 | #Constraints: 1491
0.22/1.06 c GLOBAL bounds - >= 0 @ 0.275136
0.32/1.18 c GLOBAL bounds - >= 0 @ 0.392794
0.42/1.23 c #Conflicts: 2000 | #Constraints: 2495
0.42/1.23 c INPROCESSING
0.42/1.23 c GARBAGE COLLECT
0.42/1.23 c GLOBAL bounds - >= 0 @ 0.44649
0.42/1.29 c GLOBAL bounds - >= 0 @ 0.502971
0.52/1.38 c GLOBAL bounds - >= 0 @ 0.587001
0.71/1.50 c #Conflicts: 3000 | #Constraints: 2511
0.71/1.50 c GLOBAL bounds - >= 0 @ 0.700618
0.71/1.53 c GLOBAL bounds - >= 0 @ 0.730331
0.71/1.55 c GLOBAL bounds - >= 0 @ 0.752357
0.71/1.58 c GLOBAL bounds - >= 0 @ 0.771533
1.12/1.98 c #Conflicts: 4000 | #Constraints: 3519
1.12/1.98 c INPROCESSING
1.12/1.98 c GARBAGE COLLECT
1.12/1.98 c GLOBAL bounds - >= 0 @ 1.1663
1.51/2.34 c #Conflicts: 5000 | #Constraints: 2930
1.51/2.34 c GLOBAL bounds - >= 0 @ 1.51715
2.42/3.27 c #Conflicts: 6000 | #Constraints: 3932
2.42/3.27 c INPROCESSING
2.42/3.27 c GARBAGE COLLECT
2.42/3.27 c #Conflicts: 7000 | #Constraints: 2939
2.42/3.27 c #Conflicts: 8000 | #Constraints: 3939
2.42/3.27 c GLOBAL bounds - >= 0 @ 2.4378
2.52/3.35 c GLOBAL bounds - >= 0 @ 2.5131
2.82/3.63 c #Conflicts: 9000 | #Constraints: 4943
2.82/3.63 c INPROCESSING
2.82/3.63 c GARBAGE COLLECT
2.82/3.63 c GLOBAL bounds - >= 0 @ 2.78266
2.82/3.64 c GLOBAL bounds - >= 0 @ 2.79787
2.91/3.79 c #Conflicts: 10000 | #Constraints: 3647
2.91/3.79 c GLOBAL bounds - >= 0 @ 2.93924
3.01/3.90 c GLOBAL bounds - >= 0 @ 3.04065
6.90/7.75 c #Conflicts: 11000 | #Constraints: 4651
6.90/7.75 c #Conflicts: 12000 | #Constraints: 5651
6.90/7.75 c INPROCESSING
6.90/7.75 c GARBAGE COLLECT
6.90/7.75 c #Conflicts: 13000 | #Constraints: 4101
6.90/7.75 c #Conflicts: 14000 | #Constraints: 5101
6.90/7.75 c #Conflicts: 15000 | #Constraints: 6101
6.90/7.75 c INPROCESSING
6.90/7.75 c GARBAGE COLLECT
6.90/7.75 c #Conflicts: 16000 | #Constraints: 4328
6.90/7.75 c #Conflicts: 17000 | #Constraints: 5328
6.90/7.75 c #Conflicts: 18000 | #Constraints: 6328
6.90/7.75 c INPROCESSING
6.90/7.75 c GARBAGE COLLECT
6.90/7.75 c #Conflicts: 19000 | #Constraints: 4345
6.90/7.75 c GLOBAL bounds - >= 0 @ 6.79877
8.60/9.45 c #Conflicts: 20000 | #Constraints: 5347
8.60/9.45 c #Conflicts: 21000 | #Constraints: 6347
8.60/9.45 c INPROCESSING
8.60/9.45 c GARBAGE COLLECT
8.60/9.45 c #Conflicts: 22000 | #Constraints: 4158
8.60/9.45 c #Conflicts: 23000 | #Constraints: 5158
8.60/9.45 c GLOBAL bounds - >= 0 @ 8.4667
23.95/24.81 c #Conflicts: 24000 | #Constraints: 6160
23.95/24.81 c #Conflicts: 25000 | #Constraints: 7160
23.95/24.81 c INPROCESSING
23.95/24.81 c GARBAGE COLLECT
23.95/24.81 c #Conflicts: 26000 | #Constraints: 4765
23.95/24.81 c #Conflicts: 27000 | #Constraints: 5765
23.95/24.81 c #Conflicts: 28000 | #Constraints: 6765
23.95/24.81 c #Conflicts: 29000 | #Constraints: 7765
23.95/24.81 c INPROCESSING
23.95/24.81 c GARBAGE COLLECT
23.95/24.81 c #Conflicts: 30000 | #Constraints: 5164
23.95/24.81 c #Conflicts: 31000 | #Constraints: 6164
23.95/24.81 c #Conflicts: 32000 | #Constraints: 7164
23.95/24.81 c #Conflicts: 33000 | #Constraints: 8164
23.95/24.81 c INPROCESSING
23.95/24.81 c GARBAGE COLLECT
23.95/24.81 c #Conflicts: 34000 | #Constraints: 5368
23.95/24.81 c #Conflicts: 35000 | #Constraints: 6368
23.95/24.81 c #Conflicts: 36000 | #Constraints: 7368
23.95/24.81 c #Conflicts: 37000 | #Constraints: 8368
23.95/24.81 c INPROCESSING
23.95/24.81 c GARBAGE COLLECT
23.95/24.81 c #Conflicts: 38000 | #Constraints: 5368
23.95/24.81 c #Conflicts: 39000 | #Constraints: 6368
23.95/24.81 c #Conflicts: 40000 | #Constraints: 7368
23.95/24.81 c #Conflicts: 41000 | #Constraints: 8368
23.95/24.81 c INPROCESSING
23.95/24.81 c GARBAGE COLLECT
23.95/24.81 c #Conflicts: 42000 | #Constraints: 5169
23.95/24.81 c #Conflicts: 43000 | #Constraints: 6169
23.95/24.81 c #Conflicts: 44000 | #Constraints: 7169
23.95/24.81 c #Conflicts: 45000 | #Constraints: 8169
23.95/24.81 c #Conflicts: 46000 | #Constraints: 9169
23.95/24.81 c INPROCESSING
23.95/24.81 c GARBAGE COLLECT
23.95/24.81 c #Conflicts: 47000 | #Constraints: 5765
23.95/24.81 c #Conflicts: 48000 | #Constraints: 6765
23.95/24.81 c #Conflicts: 49000 | #Constraints: 7765
23.95/24.81 c #Conflicts: 50000 | #Constraints: 8765
23.95/24.81 c #Conflicts: 51000 | #Constraints: 9765
23.95/24.81 c INPROCESSING
23.95/24.81 c GARBAGE COLLECT
23.95/24.81 c #Conflicts: 52000 | #Constraints: 6174
23.95/24.81 c #Conflicts: 53000 | #Constraints: 7174
23.95/24.81 c GLOBAL bounds - >= 0 @ 23.5671
26.65/27.54 c #Conflicts: 54000 | #Constraints: 8176
26.65/27.54 c #Conflicts: 55000 | #Constraints: 9176
26.65/27.54 c #Conflicts: 56000 | #Constraints: 10176
26.65/27.54 c INPROCESSING
26.65/27.54 c GARBAGE COLLECT
26.65/27.54 c #Conflicts: 57000 | #Constraints: 6376
26.65/27.54 c GLOBAL bounds - >= 0 @ 26.2628
33.83/34.75 c #Conflicts: 58000 | #Constraints: 7378
33.83/34.75 c #Conflicts: 59000 | #Constraints: 8378
33.83/34.75 c #Conflicts: 60000 | #Constraints: 9378
33.83/34.75 c #Conflicts: 61000 | #Constraints: 10378
33.83/34.75 c INPROCESSING
33.83/34.75 c GARBAGE COLLECT
33.83/34.75 c #Conflicts: 62000 | #Constraints: 6380
33.83/34.75 c #Conflicts: 63000 | #Constraints: 7380
33.83/34.75 c #Conflicts: 64000 | #Constraints: 8380
33.83/34.75 c #Conflicts: 65000 | #Constraints: 9380
33.83/34.75 c #Conflicts: 66000 | #Constraints: 10380
33.83/34.75 c INPROCESSING
33.83/34.75 c GARBAGE COLLECT
33.83/34.75 c #Conflicts: 67000 | #Constraints: 6178
33.83/34.75 c #Conflicts: 68000 | #Constraints: 7178
33.83/34.75 c GLOBAL bounds - >= 0 @ 33.3682
61.45/62.43 c #Conflicts: 69000 | #Constraints: 8180
61.45/62.43 c #Conflicts: 70000 | #Constraints: 9180
61.45/62.43 c #Conflicts: 71000 | #Constraints: 10180
61.45/62.43 c #Conflicts: 72000 | #Constraints: 11180
61.45/62.43 c INPROCESSING
61.45/62.43 c GARBAGE COLLECT
61.45/62.43 c #Conflicts: 73000 | #Constraints: 6781
61.45/62.43 c #Conflicts: 74000 | #Constraints: 7781
61.45/62.43 c #Conflicts: 75000 | #Constraints: 8781
61.45/62.43 c #Conflicts: 76000 | #Constraints: 9781
61.45/62.43 c #Conflicts: 77000 | #Constraints: 10781
61.45/62.43 c #Conflicts: 78000 | #Constraints: 11781
61.45/62.43 c INPROCESSING
61.45/62.43 c GARBAGE COLLECT
61.45/62.43 c #Conflicts: 79000 | #Constraints: 7179
61.45/62.43 c #Conflicts: 80000 | #Constraints: 8179
61.45/62.43 c #Conflicts: 81000 | #Constraints: 9179
61.45/62.43 c #Conflicts: 82000 | #Constraints: 10179
61.45/62.43 c #Conflicts: 83000 | #Constraints: 11179
61.45/62.43 c #Conflicts: 84000 | #Constraints: 12179
61.45/62.43 c INPROCESSING
61.45/62.43 c GARBAGE COLLECT
61.45/62.43 c #Conflicts: 85000 | #Constraints: 7374
61.45/62.43 c #Conflicts: 86000 | #Constraints: 8374
61.45/62.43 c #Conflicts: 87000 | #Constraints: 9374
61.45/62.43 c #Conflicts: 88000 | #Constraints: 10374
61.45/62.43 c #Conflicts: 89000 | #Constraints: 11374
61.45/62.43 c #Conflicts: 90000 | #Constraints: 12374
61.45/62.43 c INPROCESSING
61.45/62.43 c GARBAGE COLLECT
61.45/62.43 c #Conflicts: 91000 | #Constraints: 7374
61.45/62.43 c #Conflicts: 92000 | #Constraints: 8374
61.45/62.43 c #Conflicts: 93000 | #Constraints: 9374
61.45/62.43 c #Conflicts: 94000 | #Constraints: 10374
61.45/62.43 c #Conflicts: 95000 | #Constraints: 11374
61.45/62.43 c #Conflicts: 96000 | #Constraints: 12374
61.45/62.43 c INPROCESSING
61.45/62.43 c GARBAGE COLLECT
61.45/62.43 c #Conflicts: 97000 | #Constraints: 7176
61.45/62.43 c #Conflicts: 98000 | #Constraints: 8176
61.45/62.43 c #Conflicts: 99000 | #Constraints: 9176
61.45/62.43 c #Conflicts: 100000 | #Constraints: 10176
61.45/62.43 c #Conflicts: 101000 | #Constraints: 11176
61.45/62.43 c #Conflicts: 102000 | #Constraints: 12176
61.45/62.43 c #Conflicts: 103000 | #Constraints: 13176
61.45/62.43 c INPROCESSING
61.45/62.43 c GARBAGE COLLECT
61.45/62.43 c #Conflicts: 104000 | #Constraints: 7782
61.45/62.43 c #Conflicts: 105000 | #Constraints: 8782
61.45/62.43 c #Conflicts: 106000 | #Constraints: 9782
61.45/62.43 c #Conflicts: 107000 | #Constraints: 10782
61.45/62.43 c GLOBAL bounds - >= 0 @ 60.6826
76.91/77.95 c #Conflicts: 108000 | #Constraints: 11784
76.91/77.95 c #Conflicts: 109000 | #Constraints: 12784
76.91/77.95 c #Conflicts: 110000 | #Constraints: 13784
76.91/77.95 c INPROCESSING
76.91/77.95 c GARBAGE COLLECT
76.91/77.95 c #Conflicts: 111000 | #Constraints: 8181
76.91/77.95 c #Conflicts: 112000 | #Constraints: 9181
76.91/77.95 c #Conflicts: 113000 | #Constraints: 10181
76.91/77.95 c #Conflicts: 114000 | #Constraints: 11181
76.91/77.95 c #Conflicts: 115000 | #Constraints: 12181
76.91/77.95 c #Conflicts: 116000 | #Constraints: 13181
76.91/77.95 c #Conflicts: 117000 | #Constraints: 14181
76.91/77.95 c INPROCESSING
76.91/77.95 c GARBAGE COLLECT
76.91/77.95 c #Conflicts: 118000 | #Constraints: 8382
76.91/77.95 c #Conflicts: 119000 | #Constraints: 9382
76.91/77.95 c #Conflicts: 120000 | #Constraints: 10382
76.91/77.95 c #Conflicts: 121000 | #Constraints: 11382
76.91/77.95 c #Conflicts: 122000 | #Constraints: 12382
76.91/77.95 c #Conflicts: 123000 | #Constraints: 13382
76.91/77.95 c #Conflicts: 124000 | #Constraints: 14382
76.91/77.95 c INPROCESSING
76.91/77.95 c GARBAGE COLLECT
76.91/77.95 c #Conflicts: 125000 | #Constraints: 8381
76.91/77.95 c #Conflicts: 126000 | #Constraints: 9381
76.91/77.95 c #Conflicts: 127000 | #Constraints: 10381
76.91/77.95 c #Conflicts: 128000 | #Constraints: 11381
76.91/77.95 c #Conflicts: 129000 | #Constraints: 12381
76.91/77.95 c #Conflicts: 130000 | #Constraints: 13381
76.91/77.95 c GLOBAL bounds - >= 0 @ 76.0142
143.21/144.45 c #Conflicts: 131000 | #Constraints: 14383
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 132000 | #Constraints: 8176
143.21/144.45 c #Conflicts: 133000 | #Constraints: 9176
143.21/144.45 c #Conflicts: 134000 | #Constraints: 10176
143.21/144.45 c #Conflicts: 135000 | #Constraints: 11176
143.21/144.45 c #Conflicts: 136000 | #Constraints: 12176
143.21/144.45 c #Conflicts: 137000 | #Constraints: 13176
143.21/144.45 c #Conflicts: 138000 | #Constraints: 14176
143.21/144.45 c #Conflicts: 139000 | #Constraints: 15176
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 140000 | #Constraints: 8783
143.21/144.45 c #Conflicts: 141000 | #Constraints: 9783
143.21/144.45 c #Conflicts: 142000 | #Constraints: 10783
143.21/144.45 c #Conflicts: 143000 | #Constraints: 11783
143.21/144.45 c #Conflicts: 144000 | #Constraints: 12783
143.21/144.45 c #Conflicts: 145000 | #Constraints: 13783
143.21/144.45 c #Conflicts: 146000 | #Constraints: 14783
143.21/144.45 c #Conflicts: 147000 | #Constraints: 15783
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 148000 | #Constraints: 9183
143.21/144.45 c #Conflicts: 149000 | #Constraints: 10183
143.21/144.45 c #Conflicts: 150000 | #Constraints: 11183
143.21/144.45 c #Conflicts: 151000 | #Constraints: 12183
143.21/144.45 c #Conflicts: 152000 | #Constraints: 13183
143.21/144.45 c #Conflicts: 153000 | #Constraints: 14183
143.21/144.45 c #Conflicts: 154000 | #Constraints: 15183
143.21/144.45 c #Conflicts: 155000 | #Constraints: 16183
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 156000 | #Constraints: 9378
143.21/144.45 c #Conflicts: 157000 | #Constraints: 10378
143.21/144.45 c #Conflicts: 158000 | #Constraints: 11378
143.21/144.45 c #Conflicts: 159000 | #Constraints: 12378
143.21/144.45 c #Conflicts: 160000 | #Constraints: 13378
143.21/144.45 c #Conflicts: 161000 | #Constraints: 14378
143.21/144.45 c #Conflicts: 162000 | #Constraints: 15378
143.21/144.45 c #Conflicts: 163000 | #Constraints: 16378
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 164000 | #Constraints: 9378
143.21/144.45 c #Conflicts: 165000 | #Constraints: 10378
143.21/144.45 c #Conflicts: 166000 | #Constraints: 11378
143.21/144.45 c #Conflicts: 167000 | #Constraints: 12378
143.21/144.45 c #Conflicts: 168000 | #Constraints: 13378
143.21/144.45 c #Conflicts: 169000 | #Constraints: 14378
143.21/144.45 c #Conflicts: 170000 | #Constraints: 15378
143.21/144.45 c #Conflicts: 171000 | #Constraints: 16378
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 172000 | #Constraints: 9181
143.21/144.45 c #Conflicts: 173000 | #Constraints: 10181
143.21/144.45 c #Conflicts: 174000 | #Constraints: 11181
143.21/144.45 c #Conflicts: 175000 | #Constraints: 12181
143.21/144.45 c #Conflicts: 176000 | #Constraints: 13181
143.21/144.45 c #Conflicts: 177000 | #Constraints: 14181
143.21/144.45 c #Conflicts: 178000 | #Constraints: 15181
143.21/144.45 c #Conflicts: 179000 | #Constraints: 16181
143.21/144.45 c #Conflicts: 180000 | #Constraints: 17181
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 181000 | #Constraints: 9779
143.21/144.45 c #Conflicts: 182000 | #Constraints: 10779
143.21/144.45 c #Conflicts: 183000 | #Constraints: 11779
143.21/144.45 c #Conflicts: 184000 | #Constraints: 12779
143.21/144.45 c #Conflicts: 185000 | #Constraints: 13779
143.21/144.45 c #Conflicts: 186000 | #Constraints: 14779
143.21/144.45 c #Conflicts: 187000 | #Constraints: 15779
143.21/144.45 c #Conflicts: 188000 | #Constraints: 16779
143.21/144.45 c #Conflicts: 189000 | #Constraints: 17779
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 190000 | #Constraints: 10181
143.21/144.45 c #Conflicts: 191000 | #Constraints: 11181
143.21/144.45 c #Conflicts: 192000 | #Constraints: 12181
143.21/144.45 c #Conflicts: 193000 | #Constraints: 13181
143.21/144.45 c #Conflicts: 194000 | #Constraints: 14181
143.21/144.45 c #Conflicts: 195000 | #Constraints: 15181
143.21/144.45 c #Conflicts: 196000 | #Constraints: 16181
143.21/144.45 c #Conflicts: 197000 | #Constraints: 17181
143.21/144.45 c #Conflicts: 198000 | #Constraints: 18181
143.21/144.45 c INPROCESSING
143.21/144.45 c GARBAGE COLLECT
143.21/144.45 c #Conflicts: 199000 | #Constraints: 10382
143.21/144.45 c #Conflicts: 200000 | #Constraints: 11382
143.21/144.45 c #Conflicts: 201000 | #Constraints: 12382
143.21/144.45 c #Conflicts: 202000 | #Constraints: 13382
143.21/144.45 c #Conflicts: 203000 | #Constraints: 14382
143.21/144.45 c GLOBAL bounds - >= 0 @ 141.79
180.29/181.69 c #Conflicts: 204000 | #Constraints: 15384
180.29/181.69 c #Conflicts: 205000 | #Constraints: 16384
180.29/181.69 c #Conflicts: 206000 | #Constraints: 17384
180.29/181.69 c #Conflicts: 207000 | #Constraints: 18384
180.29/181.69 c INPROCESSING
180.29/181.69 c GARBAGE COLLECT
180.29/181.69 c #Conflicts: 208000 | #Constraints: 10382
180.29/181.69 c #Conflicts: 209000 | #Constraints: 11382
180.29/181.69 c #Conflicts: 210000 | #Constraints: 12382
180.29/181.69 c #Conflicts: 211000 | #Constraints: 13382
180.29/181.69 c #Conflicts: 212000 | #Constraints: 14382
180.29/181.69 c #Conflicts: 213000 | #Constraints: 15382
180.29/181.69 c #Conflicts: 214000 | #Constraints: 16382
180.29/181.69 c #Conflicts: 215000 | #Constraints: 17382
180.29/181.69 c #Conflicts: 216000 | #Constraints: 18382
180.29/181.69 c INPROCESSING
180.29/181.69 c GARBAGE COLLECT
180.29/181.69 c #Conflicts: 217000 | #Constraints: 10186
180.29/181.69 c #Conflicts: 218000 | #Constraints: 11186
180.29/181.69 c #Conflicts: 219000 | #Constraints: 12186
180.29/181.69 c #Conflicts: 220000 | #Constraints: 13186
180.29/181.69 c #Conflicts: 221000 | #Constraints: 14186
180.29/181.69 c #Conflicts: 222000 | #Constraints: 15186
180.29/181.69 c #Conflicts: 223000 | #Constraints: 16186
180.29/181.69 c #Conflicts: 224000 | #Constraints: 17186
180.29/181.69 c #Conflicts: 225000 | #Constraints: 18186
180.29/181.69 c #Conflicts: 226000 | #Constraints: 19186
180.29/181.69 c INPROCESSING
180.29/181.69 c GARBAGE COLLECT
180.29/181.69 c #Conflicts: 227000 | #Constraints: 10785
180.29/181.69 c #Conflicts: 228000 | #Constraints: 11785
180.29/181.69 c #Conflicts: 229000 | #Constraints: 12785
180.29/181.69 c #Conflicts: 230000 | #Constraints: 13785
180.29/181.69 c #Conflicts: 231000 | #Constraints: 14785
180.29/181.69 c #Conflicts: 232000 | #Constraints: 15785
180.29/181.69 c #Conflicts: 233000 | #Constraints: 16785
180.29/181.69 c #Conflicts: 234000 | #Constraints: 17785
180.29/181.69 c #Conflicts: 235000 | #Constraints: 18785
180.29/181.69 c #Conflicts: 236000 | #Constraints: 19785
180.29/181.69 c INPROCESSING
180.29/181.69 c GARBAGE COLLECT
180.29/181.69 c #Conflicts: 237000 | #Constraints: 11184
180.29/181.69 c #Conflicts: 238000 | #Constraints: 12184
180.29/181.69 c #Conflicts: 239000 | #Constraints: 13184
180.29/181.69 c GLOBAL bounds - >= 0 @ 178.591
183.69/185.07 c #Conflicts: 240000 | #Constraints: 14186
183.69/185.07 c #Conflicts: 241000 | #Constraints: 15186
183.69/185.07 c #Conflicts: 242000 | #Constraints: 16186
183.69/185.07 c GLOBAL bounds - >= 0 @ 181.921
232.93/234.41 c #Conflicts: 243000 | #Constraints: 17188
232.93/234.41 c #Conflicts: 244000 | #Constraints: 18188
232.93/234.41 c #Conflicts: 245000 | #Constraints: 19188
232.93/234.41 c #Conflicts: 246000 | #Constraints: 20188
232.93/234.41 c INPROCESSING
232.93/234.41 c GARBAGE COLLECT
232.93/234.41 c #Conflicts: 247000 | #Constraints: 11383
232.93/234.41 c #Conflicts: 248000 | #Constraints: 12383
232.93/234.41 c #Conflicts: 249000 | #Constraints: 13383
232.93/234.41 c #Conflicts: 250000 | #Constraints: 14383
232.93/234.41 c #Conflicts: 251000 | #Constraints: 15383
232.93/234.41 c #Conflicts: 252000 | #Constraints: 16383
232.93/234.41 c #Conflicts: 253000 | #Constraints: 17383
232.93/234.41 c #Conflicts: 254000 | #Constraints: 18383
232.93/234.41 c #Conflicts: 255000 | #Constraints: 19383
232.93/234.41 c #Conflicts: 256000 | #Constraints: 20383
232.93/234.41 c INPROCESSING
232.93/234.41 c GARBAGE COLLECT
232.93/234.41 c #Conflicts: 257000 | #Constraints: 11381
232.93/234.41 c #Conflicts: 258000 | #Constraints: 12381
232.93/234.41 c #Conflicts: 259000 | #Constraints: 13381
232.93/234.41 c #Conflicts: 260000 | #Constraints: 14381
232.93/234.41 c #Conflicts: 261000 | #Constraints: 15381
232.93/234.41 c #Conflicts: 262000 | #Constraints: 16381
232.93/234.41 c #Conflicts: 263000 | #Constraints: 17381
232.93/234.41 c #Conflicts: 264000 | #Constraints: 18381
232.93/234.41 c #Conflicts: 265000 | #Constraints: 19381
232.93/234.41 c #Conflicts: 266000 | #Constraints: 20381
232.93/234.41 c INPROCESSING
232.93/234.41 c GARBAGE COLLECT
232.93/234.41 c #Conflicts: 267000 | #Constraints: 11182
232.93/234.41 c #Conflicts: 268000 | #Constraints: 12182
232.93/234.41 c #Conflicts: 269000 | #Constraints: 13182
232.93/234.41 c #Conflicts: 270000 | #Constraints: 14182
232.93/234.41 c #Conflicts: 271000 | #Constraints: 15182
232.93/234.41 c #Conflicts: 272000 | #Constraints: 16182
232.93/234.41 c #Conflicts: 273000 | #Constraints: 17182
232.93/234.41 c #Conflicts: 274000 | #Constraints: 18182
232.93/234.41 c #Conflicts: 275000 | #Constraints: 19182
232.93/234.41 c #Conflicts: 276000 | #Constraints: 20182
232.93/234.41 c #Conflicts: 277000 | #Constraints: 21182
232.93/234.41 c INPROCESSING
232.93/234.41 c GARBAGE COLLECT
232.93/234.41 c #Conflicts: 278000 | #Constraints: 11778
232.93/234.41 c #Conflicts: 279000 | #Constraints: 12778
232.93/234.41 c GLOBAL bounds - >= 0 @ 230.782
343.88/345.74 c #Conflicts: 280000 | #Constraints: 13780
343.88/345.74 c #Conflicts: 281000 | #Constraints: 14780
343.88/345.74 c #Conflicts: 282000 | #Constraints: 15780
343.88/345.74 c #Conflicts: 283000 | #Constraints: 16780
343.88/345.74 c #Conflicts: 284000 | #Constraints: 17780
343.88/345.74 c #Conflicts: 285000 | #Constraints: 18780
343.88/345.74 c #Conflicts: 286000 | #Constraints: 19780
343.88/345.74 c #Conflicts: 287000 | #Constraints: 20780
343.88/345.74 c #Conflicts: 288000 | #Constraints: 21780
343.88/345.74 c INPROCESSING
343.88/345.74 c GARBAGE COLLECT
343.88/345.74 c #Conflicts: 289000 | #Constraints: 12187
343.88/345.74 c #Conflicts: 290000 | #Constraints: 13187
343.88/345.74 c #Conflicts: 291000 | #Constraints: 14187
343.88/345.74 c #Conflicts: 292000 | #Constraints: 15187
343.88/345.74 c #Conflicts: 293000 | #Constraints: 16187
343.88/345.74 c #Conflicts: 294000 | #Constraints: 17187
343.88/345.74 c #Conflicts: 295000 | #Constraints: 18187
343.88/345.74 c #Conflicts: 296000 | #Constraints: 19187
343.88/345.74 c #Conflicts: 297000 | #Constraints: 20187
343.88/345.74 c #Conflicts: 298000 | #Constraints: 21187
343.88/345.74 c #Conflicts: 299000 | #Constraints: 22187
343.88/345.74 c INPROCESSING
343.88/345.74 c GARBAGE COLLECT
343.88/345.74 c #Conflicts: 300000 | #Constraints: 12388
343.88/345.74 c #Conflicts: 301000 | #Constraints: 13388
343.88/345.74 c #Conflicts: 302000 | #Constraints: 14388
343.88/345.74 c #Conflicts: 303000 | #Constraints: 15388
343.88/345.74 c #Conflicts: 304000 | #Constraints: 16388
343.88/345.74 c #Conflicts: 305000 | #Constraints: 17388
343.88/345.74 c #Conflicts: 306000 | #Constraints: 18388
343.88/345.74 c #Conflicts: 307000 | #Constraints: 19388
343.88/345.74 c #Conflicts: 308000 | #Constraints: 20388
343.88/345.74 c #Conflicts: 309000 | #Constraints: 21388
343.88/345.74 c #Conflicts: 310000 | #Constraints: 22388
343.88/345.74 c INPROCESSING
343.88/345.74 c GARBAGE COLLECT
343.88/345.74 c #Conflicts: 311000 | #Constraints: 12380
343.88/345.74 c #Conflicts: 312000 | #Constraints: 13380
343.88/345.74 c #Conflicts: 313000 | #Constraints: 14380
343.88/345.74 c #Conflicts: 314000 | #Constraints: 15380
343.88/345.74 c #Conflicts: 315000 | #Constraints: 16380
343.88/345.74 c #Conflicts: 316000 | #Constraints: 17380
343.88/345.74 c #Conflicts: 317000 | #Constraints: 18380
343.88/345.74 c #Conflicts: 318000 | #Constraints: 19380
343.88/345.74 c #Conflicts: 319000 | #Constraints: 20380
343.88/345.74 c #Conflicts: 320000 | #Constraints: 21380
343.88/345.74 c #Conflicts: 321000 | #Constraints: 22380
343.88/345.74 c INPROCESSING
343.88/345.74 c GARBAGE COLLECT
343.88/345.74 c #Conflicts: 322000 | #Constraints: 12181
343.88/345.74 c #Conflicts: 323000 | #Constraints: 13181
343.88/345.74 c #Conflicts: 324000 | #Constraints: 14181
343.88/345.74 c #Conflicts: 325000 | #Constraints: 15181
343.88/345.74 c #Conflicts: 326000 | #Constraints: 16181
343.88/345.74 c #Conflicts: 327000 | #Constraints: 17181
343.88/345.74 c #Conflicts: 328000 | #Constraints: 18181
343.88/345.74 c #Conflicts: 329000 | #Constraints: 19181
343.88/345.74 c #Conflicts: 330000 | #Constraints: 20181
343.88/345.74 c #Conflicts: 331000 | #Constraints: 21181
343.88/345.74 c #Conflicts: 332000 | #Constraints: 22181
343.88/345.74 c #Conflicts: 333000 | #Constraints: 23181
343.88/345.74 c INPROCESSING
343.88/345.74 c GARBAGE COLLECT
343.88/345.74 c #Conflicts: 334000 | #Constraints: 12789
343.88/345.74 c #Conflicts: 335000 | #Constraints: 13789
343.88/345.74 c #Conflicts: 336000 | #Constraints: 14789
343.88/345.74 c #Conflicts: 337000 | #Constraints: 15789
343.88/345.74 c #Conflicts: 338000 | #Constraints: 16789
343.88/345.74 c #Conflicts: 339000 | #Constraints: 17789
343.88/345.74 c #Conflicts: 340000 | #Constraints: 18789
343.88/345.74 c #Conflicts: 341000 | #Constraints: 19789
343.88/345.74 c #Conflicts: 342000 | #Constraints: 20789
343.88/345.74 c #Conflicts: 343000 | #Constraints: 21789
343.88/345.74 c #Conflicts: 344000 | #Constraints: 22789
343.88/345.74 c #Conflicts: 345000 | #Constraints: 23789
343.88/345.74 c INPROCESSING
343.88/345.74 c GARBAGE COLLECT
343.88/345.74 c #Conflicts: 346000 | #Constraints: 13187
343.88/345.74 c #Conflicts: 347000 | #Constraints: 14187
343.88/345.74 c #Conflicts: 348000 | #Constraints: 15187
343.88/345.74 c #Conflicts: 349000 | #Constraints: 16187
343.88/345.74 c #Conflicts: 350000 | #Constraints: 17187
343.88/345.74 c #Conflicts: 351000 | #Constraints: 18187
343.88/345.74 c #Conflicts: 352000 | #Constraints: 19187
343.88/345.74 c #Conflicts: 353000 | #Constraints: 20187
343.88/345.74 c #Conflicts: 354000 | #Constraints: 21187
467.90/470.17 c #Conflicts: 355000 | #Constraints: 22187
467.90/470.17 c #Conflicts: 356000 | #Constraints: 23187
467.90/470.17 c #Conflicts: 357000 | #Constraints: 24187
467.90/470.17 c INPROCESSING
467.90/470.17 c GARBAGE COLLECT
467.90/470.17 c #Conflicts: 358000 | #Constraints: 13388
467.90/470.17 c #Conflicts: 359000 | #Constraints: 14388
467.90/470.17 c #Conflicts: 360000 | #Constraints: 15388
467.90/470.17 c #Conflicts: 361000 | #Constraints: 16388
467.90/470.17 c #Conflicts: 362000 | #Constraints: 17388
467.90/470.17 c #Conflicts: 363000 | #Constraints: 18388
467.90/470.17 c #Conflicts: 364000 | #Constraints: 19388
467.90/470.17 c #Conflicts: 365000 | #Constraints: 20388
467.90/470.17 c #Conflicts: 366000 | #Constraints: 21388
467.90/470.17 c #Conflicts: 367000 | #Constraints: 22388
467.90/470.17 c #Conflicts: 368000 | #Constraints: 23388
467.90/470.17 c #Conflicts: 369000 | #Constraints: 24388
467.90/470.17 c INPROCESSING
467.90/470.17 c GARBAGE COLLECT
467.90/470.17 c #Conflicts: 370000 | #Constraints: 13392
467.90/470.17 c #Conflicts: 371000 | #Constraints: 14392
467.90/470.17 c #Conflicts: 372000 | #Constraints: 15392
467.90/470.17 c #Conflicts: 373000 | #Constraints: 16392
467.90/470.17 c #Conflicts: 374000 | #Constraints: 17392
467.90/470.17 c #Conflicts: 375000 | #Constraints: 18392
467.90/470.17 c #Conflicts: 376000 | #Constraints: 19392
467.90/470.17 c #Conflicts: 377000 | #Constraints: 20392
467.90/470.17 c #Conflicts: 378000 | #Constraints: 21392
467.90/470.17 c #Conflicts: 379000 | #Constraints: 22392
467.90/470.17 c #Conflicts: 380000 | #Constraints: 23392
467.90/470.17 c #Conflicts: 381000 | #Constraints: 24392
467.90/470.17 c INPROCESSING
467.90/470.17 c GARBAGE COLLECT
467.90/470.17 c #Conflicts: 382000 | #Constraints: 13189
467.90/470.17 c #Conflicts: 383000 | #Constraints: 14189
467.90/470.17 c #Conflicts: 384000 | #Constraints: 15189
467.90/470.17 c #Conflicts: 385000 | #Constraints: 16189
467.90/470.17 c #Conflicts: 386000 | #Constraints: 17189
467.90/470.17 c #Conflicts: 387000 | #Constraints: 18189
467.90/470.17 c #Conflicts: 388000 | #Constraints: 19189
467.90/470.17 c #Conflicts: 389000 | #Constraints: 20189
467.90/470.17 c #Conflicts: 390000 | #Constraints: 21189
467.90/470.17 c #Conflicts: 391000 | #Constraints: 22189
467.90/470.17 c #Conflicts: 392000 | #Constraints: 23189
467.90/470.17 c #Conflicts: 393000 | #Constraints: 24189
467.90/470.17 c #Conflicts: 394000 | #Constraints: 25189
467.90/470.17 c INPROCESSING
467.90/470.17 c GARBAGE COLLECT
467.90/470.17 c #Conflicts: 395000 | #Constraints: 13789
467.90/470.17 c #Conflicts: 396000 | #Constraints: 14789
467.90/470.17 c #Conflicts: 397000 | #Constraints: 15789
467.90/470.17 c #Conflicts: 398000 | #Constraints: 16789
467.90/470.17 c #Conflicts: 399000 | #Constraints: 17789
467.90/470.17 c #Conflicts: 400000 | #Constraints: 18789
467.90/470.17 c #Conflicts: 401000 | #Constraints: 19789
467.90/470.17 c #Conflicts: 402000 | #Constraints: 20789
467.90/470.17 c #Conflicts: 403000 | #Constraints: 21789
467.90/470.17 c #Conflicts: 404000 | #Constraints: 22789
467.90/470.17 c #Conflicts: 405000 | #Constraints: 23789
467.90/470.17 c #Conflicts: 406000 | #Constraints: 24789
467.90/470.17 c #Conflicts: 407000 | #Constraints: 25789
467.90/470.17 c INPROCESSING
467.90/470.17 c GARBAGE COLLECT
467.90/470.17 c #Conflicts: 408000 | #Constraints: 14188
467.90/470.17 c #Conflicts: 409000 | #Constraints: 15188
467.90/470.17 c #Conflicts: 410000 | #Constraints: 16188
467.90/470.17 c #Conflicts: 411000 | #Constraints: 17188
467.90/470.17 c #Conflicts: 412000 | #Constraints: 18188
467.90/470.17 c #Conflicts: 413000 | #Constraints: 19188
467.90/470.17 c #Conflicts: 414000 | #Constraints: 20188
467.90/470.17 c #Conflicts: 415000 | #Constraints: 21188
467.90/470.17 c #Conflicts: 416000 | #Constraints: 22188
467.90/470.17 c #Conflicts: 417000 | #Constraints: 23188
467.90/470.17 c #Conflicts: 418000 | #Constraints: 24188
467.90/470.17 c #Conflicts: 419000 | #Constraints: 25188
467.90/470.17 c #Conflicts: 420000 | #Constraints: 26188
467.90/470.17 c INPROCESSING
467.90/470.17 c GARBAGE COLLECT
467.90/470.17 c #Conflicts: 421000 | #Constraints: 14390
467.90/470.17 c #Conflicts: 422000 | #Constraints: 15390
467.90/470.17 c #Conflicts: 423000 | #Constraints: 16390
467.90/470.17 c #Conflicts: 424000 | #Constraints: 17390
467.90/470.17 c #Conflicts: 425000 | #Constraints: 18390
467.90/470.17 c #Conflicts: 426000 | #Constraints: 19390
467.90/470.17 c #Conflicts: 427000 | #Constraints: 20390
467.90/470.17 c #Conflicts: 428000 | #Constraints: 21390
467.90/470.17 c #Conflicts: 429000 | #Constraints: 22390
580.16/582.79 c #Conflicts: 430000 | #Constraints: 23390
580.16/582.79 c #Conflicts: 431000 | #Constraints: 24390
580.16/582.79 c #Conflicts: 432000 | #Constraints: 25390
580.16/582.79 c #Conflicts: 433000 | #Constraints: 26390
580.16/582.79 c INPROCESSING
580.16/582.79 c GARBAGE COLLECT
580.16/582.79 c #Conflicts: 434000 | #Constraints: 14384
580.16/582.79 c #Conflicts: 435000 | #Constraints: 15384
580.16/582.79 c #Conflicts: 436000 | #Constraints: 16384
580.16/582.79 c #Conflicts: 437000 | #Constraints: 17384
580.16/582.79 c #Conflicts: 438000 | #Constraints: 18384
580.16/582.79 c #Conflicts: 439000 | #Constraints: 19384
580.16/582.79 c #Conflicts: 440000 | #Constraints: 20384
580.16/582.79 c #Conflicts: 441000 | #Constraints: 21384
580.16/582.79 c #Conflicts: 442000 | #Constraints: 22384
580.16/582.79 c #Conflicts: 443000 | #Constraints: 23384
580.16/582.79 c #Conflicts: 444000 | #Constraints: 24384
580.16/582.79 c #Conflicts: 445000 | #Constraints: 25384
580.16/582.79 c #Conflicts: 446000 | #Constraints: 26384
580.16/582.79 c INPROCESSING
580.16/582.79 c GARBAGE COLLECT
580.16/582.79 c #Conflicts: 447000 | #Constraints: 14192
580.16/582.79 c #Conflicts: 448000 | #Constraints: 15192
580.16/582.79 c #Conflicts: 449000 | #Constraints: 16192
580.16/582.79 c #Conflicts: 450000 | #Constraints: 17192
580.16/582.79 c #Conflicts: 451000 | #Constraints: 18192
580.16/582.79 c #Conflicts: 452000 | #Constraints: 19192
580.16/582.79 c #Conflicts: 453000 | #Constraints: 20192
580.16/582.79 c #Conflicts: 454000 | #Constraints: 21192
580.16/582.79 c #Conflicts: 455000 | #Constraints: 22192
580.16/582.79 c #Conflicts: 456000 | #Constraints: 23192
580.16/582.79 c #Conflicts: 457000 | #Constraints: 24192
580.16/582.79 c #Conflicts: 458000 | #Constraints: 25192
580.16/582.79 c #Conflicts: 459000 | #Constraints: 26192
580.16/582.79 c #Conflicts: 460000 | #Constraints: 27192
580.16/582.79 c INPROCESSING
580.16/582.79 c GARBAGE COLLECT
580.16/582.79 c #Conflicts: 461000 | #Constraints: 14792
580.16/582.79 c #Conflicts: 462000 | #Constraints: 15792
580.16/582.79 c #Conflicts: 463000 | #Constraints: 16792
580.16/582.79 c #Conflicts: 464000 | #Constraints: 17792
580.16/582.79 c #Conflicts: 465000 | #Constraints: 18792
580.16/582.79 c #Conflicts: 466000 | #Constraints: 19792
580.16/582.79 c #Conflicts: 467000 | #Constraints: 20792
580.16/582.79 c #Conflicts: 468000 | #Constraints: 21792
580.16/582.79 c #Conflicts: 469000 | #Constraints: 22792
580.16/582.79 c #Conflicts: 470000 | #Constraints: 23792
580.16/582.79 c #Conflicts: 471000 | #Constraints: 24792
580.16/582.79 c #Conflicts: 472000 | #Constraints: 25792
580.16/582.79 c #Conflicts: 473000 | #Constraints: 26792
580.16/582.79 c #Conflicts: 474000 | #Constraints: 27792
580.16/582.79 c INPROCESSING
580.16/582.79 c GARBAGE COLLECT
580.16/582.79 c #Conflicts: 475000 | #Constraints: 15198
580.16/582.79 c #Conflicts: 476000 | #Constraints: 16198
580.16/582.79 c #Conflicts: 477000 | #Constraints: 17198
580.16/582.79 c #Conflicts: 478000 | #Constraints: 18198
580.16/582.79 c #Conflicts: 479000 | #Constraints: 19198
580.16/582.79 c #Conflicts: 480000 | #Constraints: 20198
580.16/582.79 c #Conflicts: 481000 | #Constraints: 21198
580.16/582.79 c #Conflicts: 482000 | #Constraints: 22198
580.16/582.79 c #Conflicts: 483000 | #Constraints: 23198
580.16/582.79 c #Conflicts: 484000 | #Constraints: 24198
580.16/582.79 c #Conflicts: 485000 | #Constraints: 25198
580.16/582.79 c #Conflicts: 486000 | #Constraints: 26198
580.16/582.79 c #Conflicts: 487000 | #Constraints: 27198
580.16/582.79 c #Conflicts: 488000 | #Constraints: 28198
580.16/582.79 c INPROCESSING
580.16/582.79 c GARBAGE COLLECT
580.16/582.79 c #Conflicts: 489000 | #Constraints: 15397
580.16/582.79 c #Conflicts: 490000 | #Constraints: 16397
580.16/582.79 c #Conflicts: 491000 | #Constraints: 17397
580.16/582.79 c #Conflicts: 492000 | #Constraints: 18397
580.16/582.79 c #Conflicts: 493000 | #Constraints: 19397
580.16/582.79 c #Conflicts: 494000 | #Constraints: 20397
580.16/582.79 c #Conflicts: 495000 | #Constraints: 21397
580.16/582.79 c #Conflicts: 496000 | #Constraints: 22397
580.16/582.79 c #Conflicts: 497000 | #Constraints: 23397
580.16/582.79 c #Conflicts: 498000 | #Constraints: 24397
580.16/582.79 c #Conflicts: 499000 | #Constraints: 25397
580.16/582.79 c #Conflicts: 500000 | #Constraints: 26397
580.16/582.79 c #Conflicts: 501000 | #Constraints: 27397
580.16/582.79 c #Conflicts: 502000 | #Constraints: 28397
580.16/582.79 c INPROCESSING
580.16/582.79 c GARBAGE COLLECT
580.16/582.79 c #Conflicts: 503000 | #Constraints: 15396
580.16/582.79 c #Conflicts: 504000 | #Constraints: 16396
675.31/678.12 c #Conflicts: 505000 | #Constraints: 17396
675.31/678.12 c #Conflicts: 506000 | #Constraints: 18396
675.31/678.12 c #Conflicts: 507000 | #Constraints: 19396
675.31/678.12 c #Conflicts: 508000 | #Constraints: 20396
675.31/678.12 c #Conflicts: 509000 | #Constraints: 21396
675.31/678.12 c #Conflicts: 510000 | #Constraints: 22396
675.31/678.12 c #Conflicts: 511000 | #Constraints: 23396
675.31/678.12 c #Conflicts: 512000 | #Constraints: 24396
675.31/678.12 c #Conflicts: 513000 | #Constraints: 25396
675.31/678.12 c #Conflicts: 514000 | #Constraints: 26396
675.31/678.12 c #Conflicts: 515000 | #Constraints: 27396
675.31/678.12 c #Conflicts: 516000 | #Constraints: 28396
675.31/678.12 c INPROCESSING
675.31/678.12 c GARBAGE COLLECT
675.31/678.12 c #Conflicts: 517000 | #Constraints: 15202
675.31/678.12 c #Conflicts: 518000 | #Constraints: 16202
675.31/678.12 c #Conflicts: 519000 | #Constraints: 17202
675.31/678.12 c #Conflicts: 520000 | #Constraints: 18202
675.31/678.12 c #Conflicts: 521000 | #Constraints: 19202
675.31/678.12 c #Conflicts: 522000 | #Constraints: 20202
675.31/678.12 c #Conflicts: 523000 | #Constraints: 21202
675.31/678.12 c #Conflicts: 524000 | #Constraints: 22202
675.31/678.12 c #Conflicts: 525000 | #Constraints: 23202
675.31/678.12 c #Conflicts: 526000 | #Constraints: 24202
675.31/678.12 c #Conflicts: 527000 | #Constraints: 25202
675.31/678.12 c #Conflicts: 528000 | #Constraints: 26202
675.31/678.12 c #Conflicts: 529000 | #Constraints: 27202
675.31/678.12 c #Conflicts: 530000 | #Constraints: 28202
675.31/678.12 c #Conflicts: 531000 | #Constraints: 29202
675.31/678.12 c INPROCESSING
675.31/678.12 c GARBAGE COLLECT
675.31/678.12 c #Conflicts: 532000 | #Constraints: 15798
675.31/678.12 c #Conflicts: 533000 | #Constraints: 16798
675.31/678.12 c #Conflicts: 534000 | #Constraints: 17798
675.31/678.12 c #Conflicts: 535000 | #Constraints: 18798
675.31/678.12 c #Conflicts: 536000 | #Constraints: 19798
675.31/678.12 c #Conflicts: 537000 | #Constraints: 20798
675.31/678.12 c #Conflicts: 538000 | #Constraints: 21798
675.31/678.12 c #Conflicts: 539000 | #Constraints: 22798
675.31/678.12 c #Conflicts: 540000 | #Constraints: 23798
675.31/678.12 c #Conflicts: 541000 | #Constraints: 24798
675.31/678.12 c #Conflicts: 542000 | #Constraints: 25798
675.31/678.12 c #Conflicts: 543000 | #Constraints: 26798
675.31/678.12 c #Conflicts: 544000 | #Constraints: 27798
675.31/678.12 c #Conflicts: 545000 | #Constraints: 28798
675.31/678.12 c #Conflicts: 546000 | #Constraints: 29798
675.31/678.12 c INPROCESSING
675.31/678.12 c GARBAGE COLLECT
675.31/678.12 c #Conflicts: 547000 | #Constraints: 16197
675.31/678.12 c #Conflicts: 548000 | #Constraints: 17197
675.31/678.12 c #Conflicts: 549000 | #Constraints: 18197
675.31/678.12 c #Conflicts: 550000 | #Constraints: 19197
675.31/678.12 c #Conflicts: 551000 | #Constraints: 20197
675.31/678.12 c #Conflicts: 552000 | #Constraints: 21197
675.31/678.12 c #Conflicts: 553000 | #Constraints: 22197
675.31/678.12 c #Conflicts: 554000 | #Constraints: 23197
675.31/678.12 c #Conflicts: 555000 | #Constraints: 24197
675.31/678.12 c #Conflicts: 556000 | #Constraints: 25197
675.31/678.12 c #Conflicts: 557000 | #Constraints: 26197
675.31/678.12 c #Conflicts: 558000 | #Constraints: 27197
675.31/678.12 c #Conflicts: 559000 | #Constraints: 28197
675.31/678.12 c #Conflicts: 560000 | #Constraints: 29197
675.31/678.12 c #Conflicts: 561000 | #Constraints: 30197
675.31/678.12 c INPROCESSING
675.31/678.12 c GARBAGE COLLECT
675.31/678.12 c #Conflicts: 562000 | #Constraints: 16397
675.31/678.12 c #Conflicts: 563000 | #Constraints: 17397
675.31/678.12 c #Conflicts: 564000 | #Constraints: 18397
675.31/678.12 c #Conflicts: 565000 | #Constraints: 19397
675.31/678.12 c #Conflicts: 566000 | #Constraints: 20397
675.31/678.12 c #Conflicts: 567000 | #Constraints: 21397
675.31/678.12 c GLOBAL bounds - >= 0 @ 670.806
818.83/822.07 c #Conflicts: 568000 | #Constraints: 22399
818.83/822.07 c #Conflicts: 569000 | #Constraints: 23399
818.83/822.07 c #Conflicts: 570000 | #Constraints: 24399
818.83/822.07 c #Conflicts: 571000 | #Constraints: 25399
818.83/822.07 c #Conflicts: 572000 | #Constraints: 26399
818.83/822.07 c #Conflicts: 573000 | #Constraints: 27399
818.83/822.07 c #Conflicts: 574000 | #Constraints: 28399
818.83/822.07 c #Conflicts: 575000 | #Constraints: 29399
818.83/822.07 c #Conflicts: 576000 | #Constraints: 30399
818.83/822.07 c INPROCESSING
818.83/822.07 c GARBAGE COLLECT
818.83/822.07 c #Conflicts: 577000 | #Constraints: 16400
818.83/822.07 c #Conflicts: 578000 | #Constraints: 17400
818.83/822.07 c #Conflicts: 579000 | #Constraints: 18400
818.83/822.07 c #Conflicts: 580000 | #Constraints: 19400
818.83/822.07 c #Conflicts: 581000 | #Constraints: 20400
818.83/822.07 c #Conflicts: 582000 | #Constraints: 21400
818.83/822.07 c #Conflicts: 583000 | #Constraints: 22400
818.83/822.07 c #Conflicts: 584000 | #Constraints: 23400
818.83/822.07 c #Conflicts: 585000 | #Constraints: 24400
818.83/822.07 c #Conflicts: 586000 | #Constraints: 25400
818.83/822.07 c #Conflicts: 587000 | #Constraints: 26400
818.83/822.07 c #Conflicts: 588000 | #Constraints: 27400
818.83/822.07 c #Conflicts: 589000 | #Constraints: 28400
818.83/822.07 c #Conflicts: 590000 | #Constraints: 29400
818.83/822.07 c #Conflicts: 591000 | #Constraints: 30400
818.83/822.07 c INPROCESSING
818.83/822.07 c GARBAGE COLLECT
818.83/822.07 c #Conflicts: 592000 | #Constraints: 16202
818.83/822.07 c #Conflicts: 593000 | #Constraints: 17202
818.83/822.07 c #Conflicts: 594000 | #Constraints: 18202
818.83/822.07 c #Conflicts: 595000 | #Constraints: 19202
818.83/822.07 c #Conflicts: 596000 | #Constraints: 20202
818.83/822.07 c #Conflicts: 597000 | #Constraints: 21202
818.83/822.07 c #Conflicts: 598000 | #Constraints: 22202
818.83/822.07 c #Conflicts: 599000 | #Constraints: 23202
818.83/822.07 c #Conflicts: 600000 | #Constraints: 24202
818.83/822.07 c #Conflicts: 601000 | #Constraints: 25202
818.83/822.07 c #Conflicts: 602000 | #Constraints: 26202
818.83/822.07 c #Conflicts: 603000 | #Constraints: 27202
818.83/822.07 c #Conflicts: 604000 | #Constraints: 28202
818.83/822.07 c #Conflicts: 605000 | #Constraints: 29202
818.83/822.07 c #Conflicts: 606000 | #Constraints: 30202
818.83/822.07 c #Conflicts: 607000 | #Constraints: 31202
818.83/822.07 c INPROCESSING
818.83/822.07 c GARBAGE COLLECT
818.83/822.07 c #Conflicts: 608000 | #Constraints: 16799
818.83/822.07 c #Conflicts: 609000 | #Constraints: 17799
818.83/822.07 c #Conflicts: 610000 | #Constraints: 18799
818.83/822.07 c #Conflicts: 611000 | #Constraints: 19799
818.83/822.07 c #Conflicts: 612000 | #Constraints: 20799
818.83/822.07 c #Conflicts: 613000 | #Constraints: 21799
818.83/822.07 c #Conflicts: 614000 | #Constraints: 22799
818.83/822.07 c #Conflicts: 615000 | #Constraints: 23799
818.83/822.07 c #Conflicts: 616000 | #Constraints: 24799
818.83/822.07 c #Conflicts: 617000 | #Constraints: 25799
818.83/822.07 c #Conflicts: 618000 | #Constraints: 26799
818.83/822.07 c #Conflicts: 619000 | #Constraints: 27799
818.83/822.07 c #Conflicts: 620000 | #Constraints: 28799
818.83/822.07 c #Conflicts: 621000 | #Constraints: 29799
818.83/822.07 c #Conflicts: 622000 | #Constraints: 30799
818.83/822.07 c #Conflicts: 623000 | #Constraints: 31799
818.83/822.07 c INPROCESSING
818.83/822.07 c GARBAGE COLLECT
818.83/822.07 c #Conflicts: 624000 | #Constraints: 17206
818.83/822.07 c #Conflicts: 625000 | #Constraints: 18206
818.83/822.07 c #Conflicts: 626000 | #Constraints: 19206
818.83/822.07 c #Conflicts: 627000 | #Constraints: 20206
818.83/822.07 c #Conflicts: 628000 | #Constraints: 21206
818.83/822.07 c #Conflicts: 629000 | #Constraints: 22206
818.83/822.07 c #Conflicts: 630000 | #Constraints: 23206
818.83/822.07 c #Conflicts: 631000 | #Constraints: 24206
818.83/822.07 c #Conflicts: 632000 | #Constraints: 25206
818.83/822.07 c #Conflicts: 633000 | #Constraints: 26206
818.83/822.07 c #Conflicts: 634000 | #Constraints: 27206
818.83/822.07 c #Conflicts: 635000 | #Constraints: 28206
818.83/822.07 c #Conflicts: 636000 | #Constraints: 29206
818.83/822.07 c #Conflicts: 637000 | #Constraints: 30206
818.83/822.07 c #Conflicts: 638000 | #Constraints: 31206
818.83/822.07 c #Conflicts: 639000 | #Constraints: 32206
818.83/822.07 c INPROCESSING
818.83/822.07 c GARBAGE COLLECT
818.83/822.07 c #Conflicts: 640000 | #Constraints: 17404
818.83/822.07 c #Conflicts: 641000 | #Constraints: 18404
818.83/822.07 c #Conflicts: 642000 | #Constraints: 19404
818.83/822.07 c #Conflicts: 643000 | #Constraints: 20404
994.55/998.26 c #Conflicts: 644000 | #Constraints: 21404
994.55/998.26 c #Conflicts: 645000 | #Constraints: 22404
994.55/998.26 c #Conflicts: 646000 | #Constraints: 23404
994.55/998.26 c #Conflicts: 647000 | #Constraints: 24404
994.55/998.26 c #Conflicts: 648000 | #Constraints: 25404
994.55/998.26 c #Conflicts: 649000 | #Constraints: 26404
994.55/998.26 c #Conflicts: 650000 | #Constraints: 27404
994.55/998.26 c #Conflicts: 651000 | #Constraints: 28404
994.55/998.26 c #Conflicts: 652000 | #Constraints: 29404
994.55/998.26 c #Conflicts: 653000 | #Constraints: 30404
994.55/998.26 c #Conflicts: 654000 | #Constraints: 31404
994.55/998.26 c #Conflicts: 655000 | #Constraints: 32404
994.55/998.26 c INPROCESSING
994.55/998.26 c GARBAGE COLLECT
994.55/998.26 c #Conflicts: 656000 | #Constraints: 17402
994.55/998.26 c #Conflicts: 657000 | #Constraints: 18402
994.55/998.26 c #Conflicts: 658000 | #Constraints: 19402
994.55/998.26 c #Conflicts: 659000 | #Constraints: 20402
994.55/998.26 c #Conflicts: 660000 | #Constraints: 21402
994.55/998.26 c #Conflicts: 661000 | #Constraints: 22402
994.55/998.26 c #Conflicts: 662000 | #Constraints: 23402
994.55/998.26 c #Conflicts: 663000 | #Constraints: 24402
994.55/998.26 c #Conflicts: 664000 | #Constraints: 25402
994.55/998.26 c #Conflicts: 665000 | #Constraints: 26402
994.55/998.26 c #Conflicts: 666000 | #Constraints: 27402
994.55/998.26 c #Conflicts: 667000 | #Constraints: 28402
994.55/998.26 c #Conflicts: 668000 | #Constraints: 29402
994.55/998.26 c #Conflicts: 669000 | #Constraints: 30402
994.55/998.26 c #Conflicts: 670000 | #Constraints: 31402
994.55/998.26 c #Conflicts: 671000 | #Constraints: 32402
994.55/998.26 c INPROCESSING
994.55/998.26 c GARBAGE COLLECT
994.55/998.26 c #Conflicts: 672000 | #Constraints: 17200
994.55/998.26 c #Conflicts: 673000 | #Constraints: 18200
994.55/998.26 c #Conflicts: 674000 | #Constraints: 19200
994.55/998.26 c #Conflicts: 675000 | #Constraints: 20200
994.55/998.26 c #Conflicts: 676000 | #Constraints: 21200
994.55/998.26 c #Conflicts: 677000 | #Constraints: 22200
994.55/998.26 c #Conflicts: 678000 | #Constraints: 23200
994.55/998.26 c #Conflicts: 679000 | #Constraints: 24200
994.55/998.26 c #Conflicts: 680000 | #Constraints: 25200
994.55/998.26 c #Conflicts: 681000 | #Constraints: 26200
994.55/998.26 c #Conflicts: 682000 | #Constraints: 27200
994.55/998.26 c #Conflicts: 683000 | #Constraints: 28200
994.55/998.26 c #Conflicts: 684000 | #Constraints: 29200
994.55/998.26 c #Conflicts: 685000 | #Constraints: 30200
994.55/998.26 c #Conflicts: 686000 | #Constraints: 31200
994.55/998.26 c #Conflicts: 687000 | #Constraints: 32200
994.55/998.26 c #Conflicts: 688000 | #Constraints: 33200
994.55/998.26 c INPROCESSING
994.55/998.26 c GARBAGE COLLECT
994.55/998.26 c #Conflicts: 689000 | #Constraints: 17802
994.55/998.26 c #Conflicts: 690000 | #Constraints: 18802
994.55/998.26 c #Conflicts: 691000 | #Constraints: 19802
994.55/998.26 c #Conflicts: 692000 | #Constraints: 20802
994.55/998.26 c #Conflicts: 693000 | #Constraints: 21802
994.55/998.26 c #Conflicts: 694000 | #Constraints: 22802
994.55/998.26 c #Conflicts: 695000 | #Constraints: 23802
994.55/998.26 c #Conflicts: 696000 | #Constraints: 24802
994.55/998.26 c #Conflicts: 697000 | #Constraints: 25802
994.55/998.26 c #Conflicts: 698000 | #Constraints: 26802
994.55/998.26 c #Conflicts: 699000 | #Constraints: 27802
994.55/998.26 c #Conflicts: 700000 | #Constraints: 28802
994.55/998.26 c #Conflicts: 701000 | #Constraints: 29802
994.55/998.26 c #Conflicts: 702000 | #Constraints: 30802
994.55/998.26 c #Conflicts: 703000 | #Constraints: 31802
994.55/998.26 c #Conflicts: 704000 | #Constraints: 32802
994.55/998.26 c #Conflicts: 705000 | #Constraints: 33802
994.55/998.26 c INPROCESSING
994.55/998.26 c GARBAGE COLLECT
994.55/998.26 c #Conflicts: 706000 | #Constraints: 18201
994.55/998.26 c #Conflicts: 707000 | #Constraints: 19201
994.55/998.26 c #Conflicts: 708000 | #Constraints: 20201
994.55/998.26 c #Conflicts: 709000 | #Constraints: 21201
994.55/998.26 c #Conflicts: 710000 | #Constraints: 22201
994.55/998.26 c #Conflicts: 711000 | #Constraints: 23201
994.55/998.26 c #Conflicts: 712000 | #Constraints: 24201
994.55/998.26 c #Conflicts: 713000 | #Constraints: 25201
994.55/998.26 c #Conflicts: 714000 | #Constraints: 26201
994.55/998.26 c #Conflicts: 715000 | #Constraints: 27201
994.55/998.26 c #Conflicts: 716000 | #Constraints: 28201
994.55/998.26 c #Conflicts: 717000 | #Constraints: 29201
994.55/998.26 c #Conflicts: 718000 | #Constraints: 30201
994.55/998.26 c #Conflicts: 719000 | #Constraints: 31201
1198.49/1202.76 c #Conflicts: 720000 | #Constraints: 32201
1198.49/1202.76 c #Conflicts: 721000 | #Constraints: 33201
1198.49/1202.76 c #Conflicts: 722000 | #Constraints: 34201
1198.49/1202.76 c INPROCESSING
1198.49/1202.76 c GARBAGE COLLECT
1198.49/1202.76 c #Conflicts: 723000 | #Constraints: 18400
1198.49/1202.76 c #Conflicts: 724000 | #Constraints: 19400
1198.49/1202.76 c #Conflicts: 725000 | #Constraints: 20400
1198.49/1202.76 c #Conflicts: 726000 | #Constraints: 21400
1198.49/1202.76 c #Conflicts: 727000 | #Constraints: 22400
1198.49/1202.76 c #Conflicts: 728000 | #Constraints: 23400
1198.49/1202.76 c #Conflicts: 729000 | #Constraints: 24400
1198.49/1202.76 c #Conflicts: 730000 | #Constraints: 25400
1198.49/1202.76 c #Conflicts: 731000 | #Constraints: 26400
1198.49/1202.76 c #Conflicts: 732000 | #Constraints: 27400
1198.49/1202.76 c #Conflicts: 733000 | #Constraints: 28400
1198.49/1202.76 c #Conflicts: 734000 | #Constraints: 29400
1198.49/1202.76 c #Conflicts: 735000 | #Constraints: 30400
1198.49/1202.76 c #Conflicts: 736000 | #Constraints: 31400
1198.49/1202.76 c #Conflicts: 737000 | #Constraints: 32400
1198.49/1202.76 c #Conflicts: 738000 | #Constraints: 33400
1198.49/1202.76 c #Conflicts: 739000 | #Constraints: 34400
1198.49/1202.76 c INPROCESSING
1198.49/1202.76 c GARBAGE COLLECT
1198.49/1202.76 c #Conflicts: 740000 | #Constraints: 18400
1198.49/1202.76 c #Conflicts: 741000 | #Constraints: 19400
1198.49/1202.76 c #Conflicts: 742000 | #Constraints: 20400
1198.49/1202.76 c #Conflicts: 743000 | #Constraints: 21400
1198.49/1202.76 c #Conflicts: 744000 | #Constraints: 22400
1198.49/1202.76 c #Conflicts: 745000 | #Constraints: 23400
1198.49/1202.76 c #Conflicts: 746000 | #Constraints: 24400
1198.49/1202.76 c #Conflicts: 747000 | #Constraints: 25400
1198.49/1202.76 c #Conflicts: 748000 | #Constraints: 26400
1198.49/1202.76 c #Conflicts: 749000 | #Constraints: 27400
1198.49/1202.76 c #Conflicts: 750000 | #Constraints: 28400
1198.49/1202.76 c #Conflicts: 751000 | #Constraints: 29400
1198.49/1202.76 c #Conflicts: 752000 | #Constraints: 30400
1198.49/1202.76 c #Conflicts: 753000 | #Constraints: 31400
1198.49/1202.76 c #Conflicts: 754000 | #Constraints: 32400
1198.49/1202.76 c #Conflicts: 755000 | #Constraints: 33400
1198.49/1202.76 c #Conflicts: 756000 | #Constraints: 34400
1198.49/1202.76 c INPROCESSING
1198.49/1202.76 c GARBAGE COLLECT
1198.49/1202.76 c #Conflicts: 757000 | #Constraints: 18191
1198.49/1202.76 c #Conflicts: 758000 | #Constraints: 19191
1198.49/1202.76 c #Conflicts: 759000 | #Constraints: 20191
1198.49/1202.76 c #Conflicts: 760000 | #Constraints: 21191
1198.49/1202.76 c #Conflicts: 761000 | #Constraints: 22191
1198.49/1202.76 c #Conflicts: 762000 | #Constraints: 23191
1198.49/1202.76 c #Conflicts: 763000 | #Constraints: 24191
1198.49/1202.76 c #Conflicts: 764000 | #Constraints: 25191
1198.49/1202.76 c #Conflicts: 765000 | #Constraints: 26191
1198.49/1202.76 c #Conflicts: 766000 | #Constraints: 27191
1198.49/1202.76 c #Conflicts: 767000 | #Constraints: 28191
1198.49/1202.76 c #Conflicts: 768000 | #Constraints: 29191
1198.49/1202.76 c #Conflicts: 769000 | #Constraints: 30191
1198.49/1202.76 c #Conflicts: 770000 | #Constraints: 31191
1198.49/1202.76 c #Conflicts: 771000 | #Constraints: 32191
1198.49/1202.76 c #Conflicts: 772000 | #Constraints: 33191
1198.49/1202.76 c #Conflicts: 773000 | #Constraints: 34191
1198.49/1202.76 c #Conflicts: 774000 | #Constraints: 35191
1198.49/1202.76 c INPROCESSING
1198.49/1202.76 c GARBAGE COLLECT
1198.49/1202.76 c #Conflicts: 775000 | #Constraints: 18794
1198.49/1202.76 c #Conflicts: 776000 | #Constraints: 19794
1198.49/1202.76 c #Conflicts: 777000 | #Constraints: 20794
1198.49/1202.76 c #Conflicts: 778000 | #Constraints: 21794
1198.49/1202.76 c #Conflicts: 779000 | #Constraints: 22794
1198.49/1202.76 c #Conflicts: 780000 | #Constraints: 23794
1198.49/1202.76 c #Conflicts: 781000 | #Constraints: 24794
1198.49/1202.76 c #Conflicts: 782000 | #Constraints: 25794
1198.49/1202.76 c #Conflicts: 783000 | #Constraints: 26794
1198.49/1202.76 c #Conflicts: 784000 | #Constraints: 27794
1198.49/1202.76 c #Conflicts: 785000 | #Constraints: 28794
1198.49/1202.76 c #Conflicts: 786000 | #Constraints: 29794
1198.49/1202.76 c #Conflicts: 787000 | #Constraints: 30794
1198.49/1202.76 c #Conflicts: 788000 | #Constraints: 31794
1198.49/1202.76 c #Conflicts: 789000 | #Constraints: 32794
1198.49/1202.76 c #Conflicts: 790000 | #Constraints: 33794
1198.49/1202.76 c #Conflicts: 791000 | #Constraints: 34794
1198.49/1202.76 c #Conflicts: 792000 | #Constraints: 35794
1198.49/1202.76 c INPROCESSING
1198.49/1202.76 c GARBAGE COLLECT
1198.49/1202.76 c #Conflicts: 793000 | #Constraints: 19205
1198.49/1202.76 c #Conflicts: 794000 | #Constraints: 20205
1198.49/1202.76 c #Conflicts: 795000 | #Constraints: 21205
1423.48/1428.32 c #Conflicts: 796000 | #Constraints: 22205
1423.48/1428.32 c #Conflicts: 797000 | #Constraints: 23205
1423.48/1428.32 c #Conflicts: 798000 | #Constraints: 24205
1423.48/1428.32 c #Conflicts: 799000 | #Constraints: 25205
1423.48/1428.32 c #Conflicts: 800000 | #Constraints: 26205
1423.48/1428.32 c #Conflicts: 801000 | #Constraints: 27205
1423.48/1428.32 c #Conflicts: 802000 | #Constraints: 28205
1423.48/1428.32 c #Conflicts: 803000 | #Constraints: 29205
1423.48/1428.32 c #Conflicts: 804000 | #Constraints: 30205
1423.48/1428.32 c #Conflicts: 805000 | #Constraints: 31205
1423.48/1428.32 c #Conflicts: 806000 | #Constraints: 32205
1423.48/1428.32 c #Conflicts: 807000 | #Constraints: 33205
1423.48/1428.32 c #Conflicts: 808000 | #Constraints: 34205
1423.48/1428.32 c #Conflicts: 809000 | #Constraints: 35205
1423.48/1428.32 c #Conflicts: 810000 | #Constraints: 36205
1423.48/1428.32 c INPROCESSING
1423.48/1428.32 c GARBAGE COLLECT
1423.48/1428.32 c #Conflicts: 811000 | #Constraints: 19409
1423.48/1428.32 c #Conflicts: 812000 | #Constraints: 20409
1423.48/1428.32 c #Conflicts: 813000 | #Constraints: 21409
1423.48/1428.32 c #Conflicts: 814000 | #Constraints: 22409
1423.48/1428.32 c #Conflicts: 815000 | #Constraints: 23409
1423.48/1428.32 c #Conflicts: 816000 | #Constraints: 24409
1423.48/1428.32 c #Conflicts: 817000 | #Constraints: 25409
1423.48/1428.32 c #Conflicts: 818000 | #Constraints: 26409
1423.48/1428.32 c #Conflicts: 819000 | #Constraints: 27409
1423.48/1428.32 c #Conflicts: 820000 | #Constraints: 28409
1423.48/1428.32 c #Conflicts: 821000 | #Constraints: 29409
1423.48/1428.32 c #Conflicts: 822000 | #Constraints: 30409
1423.48/1428.32 c #Conflicts: 823000 | #Constraints: 31409
1423.48/1428.32 c #Conflicts: 824000 | #Constraints: 32409
1423.48/1428.32 c #Conflicts: 825000 | #Constraints: 33409
1423.48/1428.32 c #Conflicts: 826000 | #Constraints: 34409
1423.48/1428.32 c #Conflicts: 827000 | #Constraints: 35409
1423.48/1428.32 c #Conflicts: 828000 | #Constraints: 36409
1423.48/1428.32 c INPROCESSING
1423.48/1428.32 c GARBAGE COLLECT
1423.48/1428.32 c #Conflicts: 829000 | #Constraints: 19408
1423.48/1428.32 c #Conflicts: 830000 | #Constraints: 20408
1423.48/1428.32 c #Conflicts: 831000 | #Constraints: 21408
1423.48/1428.32 c #Conflicts: 832000 | #Constraints: 22408
1423.48/1428.32 c #Conflicts: 833000 | #Constraints: 23408
1423.48/1428.32 c #Conflicts: 834000 | #Constraints: 24408
1423.48/1428.32 c #Conflicts: 835000 | #Constraints: 25408
1423.48/1428.32 c #Conflicts: 836000 | #Constraints: 26408
1423.48/1428.32 c #Conflicts: 837000 | #Constraints: 27408
1423.48/1428.32 c #Conflicts: 838000 | #Constraints: 28408
1423.48/1428.32 c #Conflicts: 839000 | #Constraints: 29408
1423.48/1428.32 c #Conflicts: 840000 | #Constraints: 30408
1423.48/1428.32 c #Conflicts: 841000 | #Constraints: 31408
1423.48/1428.32 c #Conflicts: 842000 | #Constraints: 32408
1423.48/1428.32 c #Conflicts: 843000 | #Constraints: 33408
1423.48/1428.32 c #Conflicts: 844000 | #Constraints: 34408
1423.48/1428.32 c #Conflicts: 845000 | #Constraints: 35408
1423.48/1428.32 c #Conflicts: 846000 | #Constraints: 36408
1423.48/1428.32 c INPROCESSING
1423.48/1428.32 c GARBAGE COLLECT
1423.48/1428.32 c #Conflicts: 847000 | #Constraints: 19203
1423.48/1428.32 c #Conflicts: 848000 | #Constraints: 20203
1423.48/1428.32 c #Conflicts: 849000 | #Constraints: 21203
1423.48/1428.32 c #Conflicts: 850000 | #Constraints: 22203
1423.48/1428.32 c #Conflicts: 851000 | #Constraints: 23203
1423.48/1428.32 c #Conflicts: 852000 | #Constraints: 24203
1423.48/1428.32 c #Conflicts: 853000 | #Constraints: 25203
1423.48/1428.32 c #Conflicts: 854000 | #Constraints: 26203
1423.48/1428.32 c #Conflicts: 855000 | #Constraints: 27203
1423.48/1428.32 c #Conflicts: 856000 | #Constraints: 28203
1423.48/1428.32 c #Conflicts: 857000 | #Constraints: 29203
1423.48/1428.32 c #Conflicts: 858000 | #Constraints: 30203
1423.48/1428.32 c #Conflicts: 859000 | #Constraints: 31203
1423.48/1428.32 c #Conflicts: 860000 | #Constraints: 32203
1423.48/1428.32 c #Conflicts: 861000 | #Constraints: 33203
1423.48/1428.32 c #Conflicts: 862000 | #Constraints: 34203
1423.48/1428.32 c #Conflicts: 863000 | #Constraints: 35203
1423.48/1428.32 c #Conflicts: 864000 | #Constraints: 36203
1423.48/1428.32 c #Conflicts: 865000 | #Constraints: 37203
1423.48/1428.32 c INPROCESSING
1423.48/1428.32 c GARBAGE COLLECT
1423.48/1428.32 c #Conflicts: 866000 | #Constraints: 19795
1423.48/1428.32 c #Conflicts: 867000 | #Constraints: 20795
1423.48/1428.32 c #Conflicts: 868000 | #Constraints: 21795
1423.48/1428.32 c #Conflicts: 869000 | #Constraints: 22795
1423.48/1428.32 c #Conflicts: 870000 | #Constraints: 23795
1423.48/1428.32 c #Conflicts: 871000 | #Constraints: 24795
1653.64/1659.17 c #Conflicts: 872000 | #Constraints: 25795
1653.64/1659.17 c #Conflicts: 873000 | #Constraints: 26795
1653.64/1659.17 c #Conflicts: 874000 | #Constraints: 27795
1653.64/1659.17 c #Conflicts: 875000 | #Constraints: 28795
1653.64/1659.17 c #Conflicts: 876000 | #Constraints: 29795
1653.64/1659.17 c #Conflicts: 877000 | #Constraints: 30795
1653.64/1659.17 c #Conflicts: 878000 | #Constraints: 31795
1653.64/1659.17 c #Conflicts: 879000 | #Constraints: 32795
1653.64/1659.17 c #Conflicts: 880000 | #Constraints: 33795
1653.64/1659.17 c #Conflicts: 881000 | #Constraints: 34795
1653.64/1659.17 c #Conflicts: 882000 | #Constraints: 35795
1653.64/1659.17 c #Conflicts: 883000 | #Constraints: 36795
1653.64/1659.17 c #Conflicts: 884000 | #Constraints: 37795
1653.64/1659.17 c INPROCESSING
1653.64/1659.17 c GARBAGE COLLECT
1653.64/1659.17 c #Conflicts: 885000 | #Constraints: 20197
1653.64/1659.17 c #Conflicts: 886000 | #Constraints: 21197
1653.64/1659.17 c #Conflicts: 887000 | #Constraints: 22197
1653.64/1659.17 c #Conflicts: 888000 | #Constraints: 23197
1653.64/1659.17 c #Conflicts: 889000 | #Constraints: 24197
1653.64/1659.17 c #Conflicts: 890000 | #Constraints: 25197
1653.64/1659.17 c #Conflicts: 891000 | #Constraints: 26197
1653.64/1659.17 c #Conflicts: 892000 | #Constraints: 27197
1653.64/1659.17 c #Conflicts: 893000 | #Constraints: 28197
1653.64/1659.17 c #Conflicts: 894000 | #Constraints: 29197
1653.64/1659.17 c #Conflicts: 895000 | #Constraints: 30197
1653.64/1659.17 c #Conflicts: 896000 | #Constraints: 31197
1653.64/1659.17 c #Conflicts: 897000 | #Constraints: 32197
1653.64/1659.17 c #Conflicts: 898000 | #Constraints: 33197
1653.64/1659.17 c #Conflicts: 899000 | #Constraints: 34197
1653.64/1659.17 c #Conflicts: 900000 | #Constraints: 35197
1653.64/1659.17 c #Conflicts: 901000 | #Constraints: 36197
1653.64/1659.17 c #Conflicts: 902000 | #Constraints: 37197
1653.64/1659.17 c #Conflicts: 903000 | #Constraints: 38197
1653.64/1659.17 c INPROCESSING
1653.64/1659.17 c GARBAGE COLLECT
1653.64/1659.17 c #Conflicts: 904000 | #Constraints: 20399
1653.64/1659.17 c #Conflicts: 905000 | #Constraints: 21399
1653.64/1659.17 c #Conflicts: 906000 | #Constraints: 22399
1653.64/1659.17 c #Conflicts: 907000 | #Constraints: 23399
1653.64/1659.17 c #Conflicts: 908000 | #Constraints: 24399
1653.64/1659.17 c #Conflicts: 909000 | #Constraints: 25399
1653.64/1659.17 c #Conflicts: 910000 | #Constraints: 26399
1653.64/1659.17 c #Conflicts: 911000 | #Constraints: 27399
1653.64/1659.17 c #Conflicts: 912000 | #Constraints: 28399
1653.64/1659.17 c #Conflicts: 913000 | #Constraints: 29399
1653.64/1659.17 c #Conflicts: 914000 | #Constraints: 30399
1653.64/1659.17 c #Conflicts: 915000 | #Constraints: 31399
1653.64/1659.17 c #Conflicts: 916000 | #Constraints: 32399
1653.64/1659.17 c #Conflicts: 917000 | #Constraints: 33399
1653.64/1659.17 c #Conflicts: 918000 | #Constraints: 34399
1653.64/1659.17 c #Conflicts: 919000 | #Constraints: 35399
1653.64/1659.17 c #Conflicts: 920000 | #Constraints: 36399
1653.64/1659.17 c #Conflicts: 921000 | #Constraints: 37399
1653.64/1659.17 c #Conflicts: 922000 | #Constraints: 38399
1653.64/1659.17 c INPROCESSING
1653.64/1659.17 c GARBAGE COLLECT
1653.64/1659.17 c #Conflicts: 923000 | #Constraints: 20403
1653.64/1659.17 c #Conflicts: 924000 | #Constraints: 21403
1653.64/1659.17 c #Conflicts: 925000 | #Constraints: 22403
1653.64/1659.17 c #Conflicts: 926000 | #Constraints: 23403
1653.64/1659.17 c #Conflicts: 927000 | #Constraints: 24403
1653.64/1659.17 c #Conflicts: 928000 | #Constraints: 25403
1653.64/1659.17 c #Conflicts: 929000 | #Constraints: 26403
1653.64/1659.17 c #Conflicts: 930000 | #Constraints: 27403
1653.64/1659.17 c #Conflicts: 931000 | #Constraints: 28403
1653.64/1659.17 c #Conflicts: 932000 | #Constraints: 29403
1653.64/1659.17 c #Conflicts: 933000 | #Constraints: 30403
1653.64/1659.17 c #Conflicts: 934000 | #Constraints: 31403
1653.64/1659.17 c #Conflicts: 935000 | #Constraints: 32403
1653.64/1659.17 c #Conflicts: 936000 | #Constraints: 33403
1653.64/1659.17 c #Conflicts: 937000 | #Constraints: 34403
1653.64/1659.17 c #Conflicts: 938000 | #Constraints: 35403
1653.64/1659.17 c #Conflicts: 939000 | #Constraints: 36403
1653.64/1659.17 c #Conflicts: 940000 | #Constraints: 37403
1653.64/1659.17 c #Conflicts: 941000 | #Constraints: 38403
1653.64/1659.17 c INPROCESSING
1653.64/1659.17 c GARBAGE COLLECT
1653.64/1659.17 c #Conflicts: 942000 | #Constraints: 20201
1653.64/1659.17 c #Conflicts: 943000 | #Constraints: 21201
1653.64/1659.17 c #Conflicts: 944000 | #Constraints: 22201
1653.64/1659.17 c #Conflicts: 945000 | #Constraints: 23201
1653.64/1659.17 c #Conflicts: 946000 | #Constraints: 24201
1653.64/1659.17 c #Conflicts: 947000 | #Constraints: 25201
1861.07/1867.10 c #Conflicts: 948000 | #Constraints: 26201
1861.07/1867.10 c #Conflicts: 949000 | #Constraints: 27201
1861.07/1867.10 c #Conflicts: 950000 | #Constraints: 28201
1861.07/1867.10 c #Conflicts: 951000 | #Constraints: 29201
1861.07/1867.10 c #Conflicts: 952000 | #Constraints: 30201
1861.07/1867.10 c #Conflicts: 953000 | #Constraints: 31201
1861.07/1867.10 c #Conflicts: 954000 | #Constraints: 32201
1861.07/1867.10 c #Conflicts: 955000 | #Constraints: 33201
1861.07/1867.10 c #Conflicts: 956000 | #Constraints: 34201
1861.07/1867.10 c #Conflicts: 957000 | #Constraints: 35201
1861.07/1867.10 c #Conflicts: 958000 | #Constraints: 36201
1861.07/1867.10 c #Conflicts: 959000 | #Constraints: 37201
1861.07/1867.10 c #Conflicts: 960000 | #Constraints: 38201
1861.07/1867.10 c #Conflicts: 961000 | #Constraints: 39201
1861.07/1867.10 c INPROCESSING
1861.07/1867.10 c GARBAGE COLLECT
1861.07/1867.10 c #Conflicts: 962000 | #Constraints: 20796
1861.07/1867.10 c #Conflicts: 963000 | #Constraints: 21796
1861.07/1867.10 c #Conflicts: 964000 | #Constraints: 22796
1861.07/1867.10 c #Conflicts: 965000 | #Constraints: 23796
1861.07/1867.10 c #Conflicts: 966000 | #Constraints: 24796
1861.07/1867.10 c #Conflicts: 967000 | #Constraints: 25796
1861.07/1867.10 c #Conflicts: 968000 | #Constraints: 26796
1861.07/1867.10 c #Conflicts: 969000 | #Constraints: 27796
1861.07/1867.10 c #Conflicts: 970000 | #Constraints: 28796
1861.07/1867.10 c #Conflicts: 971000 | #Constraints: 29796
1861.07/1867.10 c #Conflicts: 972000 | #Constraints: 30796
1861.07/1867.10 c #Conflicts: 973000 | #Constraints: 31796
1861.07/1867.10 c #Conflicts: 974000 | #Constraints: 32796
1861.07/1867.10 c #Conflicts: 975000 | #Constraints: 33796
1861.07/1867.10 c #Conflicts: 976000 | #Constraints: 34796
1861.07/1867.10 c #Conflicts: 977000 | #Constraints: 35796
1861.07/1867.10 c #Conflicts: 978000 | #Constraints: 36796
1861.07/1867.10 c #Conflicts: 979000 | #Constraints: 37796
1861.07/1867.10 c #Conflicts: 980000 | #Constraints: 38796
1861.07/1867.10 c #Conflicts: 981000 | #Constraints: 39796
1861.07/1867.10 c INPROCESSING
1861.07/1867.10 c GARBAGE COLLECT
1861.07/1867.10 c #Conflicts: 982000 | #Constraints: 21197
1861.07/1867.10 c #Conflicts: 983000 | #Constraints: 22197
1861.07/1867.10 c #Conflicts: 984000 | #Constraints: 23197
1861.07/1867.10 c #Conflicts: 985000 | #Constraints: 24197
1861.07/1867.10 c #Conflicts: 986000 | #Constraints: 25197
1861.07/1867.10 c #Conflicts: 987000 | #Constraints: 26197
1861.07/1867.10 c #Conflicts: 988000 | #Constraints: 27197
1861.07/1867.10 c #Conflicts: 989000 | #Constraints: 28197
1861.07/1867.10 c #Conflicts: 990000 | #Constraints: 29197
1861.07/1867.10 c #Conflicts: 991000 | #Constraints: 30197
1861.07/1867.10 c #Conflicts: 992000 | #Constraints: 31197
1861.07/1867.10 c #Conflicts: 993000 | #Constraints: 32197
1861.07/1867.10 c #Conflicts: 994000 | #Constraints: 33197
1861.07/1867.10 c #Conflicts: 995000 | #Constraints: 34197
1861.07/1867.10 c #Conflicts: 996000 | #Constraints: 35197
1861.07/1867.10 c #Conflicts: 997000 | #Constraints: 36197
1861.07/1867.10 c #Conflicts: 998000 | #Constraints: 37197
1861.07/1867.10 c #Conflicts: 999000 | #Constraints: 38197
1861.07/1867.10 c #Conflicts: 1000000 | #Constraints: 39197
1861.07/1867.10 c #Conflicts: 1001000 | #Constraints: 40197
1861.07/1867.10 c INPROCESSING
1861.07/1867.10 c GARBAGE COLLECT
1861.07/1867.10 c #Conflicts: 1002000 | #Constraints: 21405
1861.07/1867.10 c #Conflicts: 1003000 | #Constraints: 22405
1861.07/1867.10 c #Conflicts: 1004000 | #Constraints: 23405
1861.07/1867.10 c #Conflicts: 1005000 | #Constraints: 24405
1861.07/1867.10 c #Conflicts: 1006000 | #Constraints: 25405
1861.07/1867.10 c #Conflicts: 1007000 | #Constraints: 26405
1861.07/1867.10 c #Conflicts: 1008000 | #Constraints: 27405
1861.07/1867.10 c #Conflicts: 1009000 | #Constraints: 28405
1861.07/1867.10 c #Conflicts: 1010000 | #Constraints: 29405
1861.07/1867.10 c #Conflicts: 1011000 | #Constraints: 30405
1861.07/1867.10 c #Conflicts: 1012000 | #Constraints: 31405
1861.07/1867.10 c #Conflicts: 1013000 | #Constraints: 32405
1861.07/1867.10 c #Conflicts: 1014000 | #Constraints: 33405
1861.07/1867.10 c #Conflicts: 1015000 | #Constraints: 34405
1861.07/1867.10 c #Conflicts: 1016000 | #Constraints: 35405
1861.07/1867.10 c #Conflicts: 1017000 | #Constraints: 36405
1861.07/1867.10 c #Conflicts: 1018000 | #Constraints: 37405
1861.07/1867.10 c #Conflicts: 1019000 | #Constraints: 38405
1861.07/1867.10 c #Conflicts: 1020000 | #Constraints: 39405
1861.07/1867.10 c #Conflicts: 1021000 | #Constraints: 40405
1861.07/1867.10 c INPROCESSING
1861.07/1867.10 c GARBAGE COLLECT
1861.07/1867.10 c #Conflicts: 1022000 | #Constraints: 21409
1861.07/1867.10 c #Conflicts: 1023000 | #Constraints: 22409
1861.07/1867.10 c #Conflicts: 1024000 | #Constraints: 23409
2097.91/2104.66 c #Conflicts: 1025000 | #Constraints: 24409
2097.91/2104.66 c #Conflicts: 1026000 | #Constraints: 25409
2097.91/2104.66 c #Conflicts: 1027000 | #Constraints: 26409
2097.91/2104.66 c #Conflicts: 1028000 | #Constraints: 27409
2097.91/2104.66 c #Conflicts: 1029000 | #Constraints: 28409
2097.91/2104.66 c #Conflicts: 1030000 | #Constraints: 29409
2097.91/2104.66 c #Conflicts: 1031000 | #Constraints: 30409
2097.91/2104.66 c #Conflicts: 1032000 | #Constraints: 31409
2097.91/2104.66 c #Conflicts: 1033000 | #Constraints: 32409
2097.91/2104.66 c #Conflicts: 1034000 | #Constraints: 33409
2097.91/2104.66 c #Conflicts: 1035000 | #Constraints: 34409
2097.91/2104.66 c #Conflicts: 1036000 | #Constraints: 35409
2097.91/2104.66 c #Conflicts: 1037000 | #Constraints: 36409
2097.91/2104.66 c #Conflicts: 1038000 | #Constraints: 37409
2097.91/2104.66 c #Conflicts: 1039000 | #Constraints: 38409
2097.91/2104.66 c #Conflicts: 1040000 | #Constraints: 39409
2097.91/2104.66 c #Conflicts: 1041000 | #Constraints: 40409
2097.91/2104.66 c INPROCESSING
2097.91/2104.66 c GARBAGE COLLECT
2097.91/2104.66 c #Conflicts: 1042000 | #Constraints: 21205
2097.91/2104.66 c #Conflicts: 1043000 | #Constraints: 22205
2097.91/2104.66 c #Conflicts: 1044000 | #Constraints: 23205
2097.91/2104.66 c #Conflicts: 1045000 | #Constraints: 24205
2097.91/2104.66 c #Conflicts: 1046000 | #Constraints: 25205
2097.91/2104.66 c #Conflicts: 1047000 | #Constraints: 26205
2097.91/2104.66 c #Conflicts: 1048000 | #Constraints: 27205
2097.91/2104.66 c #Conflicts: 1049000 | #Constraints: 28205
2097.91/2104.66 c #Conflicts: 1050000 | #Constraints: 29205
2097.91/2104.66 c #Conflicts: 1051000 | #Constraints: 30205
2097.91/2104.66 c #Conflicts: 1052000 | #Constraints: 31205
2097.91/2104.66 c #Conflicts: 1053000 | #Constraints: 32205
2097.91/2104.66 c #Conflicts: 1054000 | #Constraints: 33205
2097.91/2104.66 c #Conflicts: 1055000 | #Constraints: 34205
2097.91/2104.66 c #Conflicts: 1056000 | #Constraints: 35205
2097.91/2104.66 c #Conflicts: 1057000 | #Constraints: 36205
2097.91/2104.66 c #Conflicts: 1058000 | #Constraints: 37205
2097.91/2104.66 c #Conflicts: 1059000 | #Constraints: 38205
2097.91/2104.66 c #Conflicts: 1060000 | #Constraints: 39205
2097.91/2104.66 c #Conflicts: 1061000 | #Constraints: 40205
2097.91/2104.66 c #Conflicts: 1062000 | #Constraints: 41205
2097.91/2104.66 c INPROCESSING
2097.91/2104.66 c GARBAGE COLLECT
2097.91/2104.66 c #Conflicts: 1063000 | #Constraints: 21806
2097.91/2104.66 c #Conflicts: 1064000 | #Constraints: 22806
2097.91/2104.66 c #Conflicts: 1065000 | #Constraints: 23806
2097.91/2104.66 c #Conflicts: 1066000 | #Constraints: 24806
2097.91/2104.66 c #Conflicts: 1067000 | #Constraints: 25806
2097.91/2104.66 c #Conflicts: 1068000 | #Constraints: 26806
2097.91/2104.66 c #Conflicts: 1069000 | #Constraints: 27806
2097.91/2104.66 c #Conflicts: 1070000 | #Constraints: 28806
2097.91/2104.66 c #Conflicts: 1071000 | #Constraints: 29806
2097.91/2104.66 c #Conflicts: 1072000 | #Constraints: 30806
2097.91/2104.66 c #Conflicts: 1073000 | #Constraints: 31806
2097.91/2104.66 c #Conflicts: 1074000 | #Constraints: 32806
2097.91/2104.66 c #Conflicts: 1075000 | #Constraints: 33806
2097.91/2104.66 c #Conflicts: 1076000 | #Constraints: 34806
2097.91/2104.66 c #Conflicts: 1077000 | #Constraints: 35806
2097.91/2104.66 c #Conflicts: 1078000 | #Constraints: 36806
2097.91/2104.66 c #Conflicts: 1079000 | #Constraints: 37806
2097.91/2104.66 c #Conflicts: 1080000 | #Constraints: 38806
2097.91/2104.66 c #Conflicts: 1081000 | #Constraints: 39806
2097.91/2104.66 c #Conflicts: 1082000 | #Constraints: 40806
2097.91/2104.66 c #Conflicts: 1083000 | #Constraints: 41806
2097.91/2104.66 c INPROCESSING
2097.91/2104.66 c GARBAGE COLLECT
2097.91/2104.66 c #Conflicts: 1084000 | #Constraints: 22206
2097.91/2104.66 c #Conflicts: 1085000 | #Constraints: 23206
2097.91/2104.66 c #Conflicts: 1086000 | #Constraints: 24206
2097.91/2104.66 c #Conflicts: 1087000 | #Constraints: 25206
2097.91/2104.66 c #Conflicts: 1088000 | #Constraints: 26206
2097.91/2104.66 c #Conflicts: 1089000 | #Constraints: 27206
2097.91/2104.66 c #Conflicts: 1090000 | #Constraints: 28206
2097.91/2104.66 c #Conflicts: 1091000 | #Constraints: 29206
2097.91/2104.66 c #Conflicts: 1092000 | #Constraints: 30206
2097.91/2104.66 c #Conflicts: 1093000 | #Constraints: 31206
2097.91/2104.66 c #Conflicts: 1094000 | #Constraints: 32206
2097.91/2104.66 c #Conflicts: 1095000 | #Constraints: 33206
2097.91/2104.66 c #Conflicts: 1096000 | #Constraints: 34206
2097.91/2104.66 c #Conflicts: 1097000 | #Constraints: 35206
2097.91/2104.66 c #Conflicts: 1098000 | #Constraints: 36206
2097.91/2104.66 c #Conflicts: 1099000 | #Constraints: 37206
2097.91/2104.66 c #Conflicts: 1100000 | #Constraints: 38206
2377.06/2384.57 c #Conflicts: 1101000 | #Constraints: 39206
2377.06/2384.57 c #Conflicts: 1102000 | #Constraints: 40206
2377.06/2384.57 c #Conflicts: 1103000 | #Constraints: 41206
2377.06/2384.57 c #Conflicts: 1104000 | #Constraints: 42206
2377.06/2384.57 c INPROCESSING
2377.06/2384.57 c GARBAGE COLLECT
2377.06/2384.57 c #Conflicts: 1105000 | #Constraints: 22394
2377.06/2384.57 c #Conflicts: 1106000 | #Constraints: 23394
2377.06/2384.57 c #Conflicts: 1107000 | #Constraints: 24394
2377.06/2384.57 c #Conflicts: 1108000 | #Constraints: 25394
2377.06/2384.57 c #Conflicts: 1109000 | #Constraints: 26394
2377.06/2384.57 c #Conflicts: 1110000 | #Constraints: 27394
2377.06/2384.57 c #Conflicts: 1111000 | #Constraints: 28394
2377.06/2384.57 c #Conflicts: 1112000 | #Constraints: 29394
2377.06/2384.57 c #Conflicts: 1113000 | #Constraints: 30394
2377.06/2384.57 c #Conflicts: 1114000 | #Constraints: 31394
2377.06/2384.57 c #Conflicts: 1115000 | #Constraints: 32394
2377.06/2384.57 c #Conflicts: 1116000 | #Constraints: 33394
2377.06/2384.57 c #Conflicts: 1117000 | #Constraints: 34394
2377.06/2384.57 c #Conflicts: 1118000 | #Constraints: 35394
2377.06/2384.57 c #Conflicts: 1119000 | #Constraints: 36394
2377.06/2384.57 c #Conflicts: 1120000 | #Constraints: 37394
2377.06/2384.57 c #Conflicts: 1121000 | #Constraints: 38394
2377.06/2384.57 c #Conflicts: 1122000 | #Constraints: 39394
2377.06/2384.57 c #Conflicts: 1123000 | #Constraints: 40394
2377.06/2384.57 c #Conflicts: 1124000 | #Constraints: 41394
2377.06/2384.57 c #Conflicts: 1125000 | #Constraints: 42394
2377.06/2384.57 c INPROCESSING
2377.06/2384.57 c GARBAGE COLLECT
2377.06/2384.57 c #Conflicts: 1126000 | #Constraints: 22397
2377.06/2384.57 c #Conflicts: 1127000 | #Constraints: 23397
2377.06/2384.57 c #Conflicts: 1128000 | #Constraints: 24397
2377.06/2384.57 c #Conflicts: 1129000 | #Constraints: 25397
2377.06/2384.57 c #Conflicts: 1130000 | #Constraints: 26397
2377.06/2384.57 c #Conflicts: 1131000 | #Constraints: 27397
2377.06/2384.57 c #Conflicts: 1132000 | #Constraints: 28397
2377.06/2384.57 c #Conflicts: 1133000 | #Constraints: 29397
2377.06/2384.57 c #Conflicts: 1134000 | #Constraints: 30397
2377.06/2384.57 c #Conflicts: 1135000 | #Constraints: 31397
2377.06/2384.57 c #Conflicts: 1136000 | #Constraints: 32397
2377.06/2384.57 c #Conflicts: 1137000 | #Constraints: 33397
2377.06/2384.57 c #Conflicts: 1138000 | #Constraints: 34397
2377.06/2384.57 c #Conflicts: 1139000 | #Constraints: 35397
2377.06/2384.57 c #Conflicts: 1140000 | #Constraints: 36397
2377.06/2384.57 c #Conflicts: 1141000 | #Constraints: 37397
2377.06/2384.57 c #Conflicts: 1142000 | #Constraints: 38397
2377.06/2384.57 c #Conflicts: 1143000 | #Constraints: 39397
2377.06/2384.57 c #Conflicts: 1144000 | #Constraints: 40397
2377.06/2384.57 c #Conflicts: 1145000 | #Constraints: 41397
2377.06/2384.57 c #Conflicts: 1146000 | #Constraints: 42397
2377.06/2384.57 c INPROCESSING
2377.06/2384.57 c GARBAGE COLLECT
2377.06/2384.57 c #Conflicts: 1147000 | #Constraints: 22200
2377.06/2384.57 c #Conflicts: 1148000 | #Constraints: 23200
2377.06/2384.57 c #Conflicts: 1149000 | #Constraints: 24200
2377.06/2384.57 c #Conflicts: 1150000 | #Constraints: 25200
2377.06/2384.57 c #Conflicts: 1151000 | #Constraints: 26200
2377.06/2384.57 c #Conflicts: 1152000 | #Constraints: 27200
2377.06/2384.57 c #Conflicts: 1153000 | #Constraints: 28200
2377.06/2384.57 c #Conflicts: 1154000 | #Constraints: 29200
2377.06/2384.57 c #Conflicts: 1155000 | #Constraints: 30200
2377.06/2384.57 c #Conflicts: 1156000 | #Constraints: 31200
2377.06/2384.57 c #Conflicts: 1157000 | #Constraints: 32200
2377.06/2384.57 c #Conflicts: 1158000 | #Constraints: 33200
2377.06/2384.57 c #Conflicts: 1159000 | #Constraints: 34200
2377.06/2384.57 c #Conflicts: 1160000 | #Constraints: 35200
2377.06/2384.57 c #Conflicts: 1161000 | #Constraints: 36200
2377.06/2384.57 c #Conflicts: 1162000 | #Constraints: 37200
2377.06/2384.57 c #Conflicts: 1163000 | #Constraints: 38200
2377.06/2384.57 c #Conflicts: 1164000 | #Constraints: 39200
2377.06/2384.57 c #Conflicts: 1165000 | #Constraints: 40200
2377.06/2384.57 c #Conflicts: 1166000 | #Constraints: 41200
2377.06/2384.57 c #Conflicts: 1167000 | #Constraints: 42200
2377.06/2384.57 c #Conflicts: 1168000 | #Constraints: 43200
2377.06/2384.57 c INPROCESSING
2377.06/2384.57 c GARBAGE COLLECT
2377.06/2384.57 c #Conflicts: 1169000 | #Constraints: 22809
2377.06/2384.57 c #Conflicts: 1170000 | #Constraints: 23809
2377.06/2384.57 c #Conflicts: 1171000 | #Constraints: 24809
2377.06/2384.57 c #Conflicts: 1172000 | #Constraints: 25809
2377.06/2384.57 c #Conflicts: 1173000 | #Constraints: 26809
2377.06/2384.57 c #Conflicts: 1174000 | #Constraints: 27809
2377.06/2384.57 c #Conflicts: 1175000 | #Constraints: 28809
2377.06/2384.57 c #Conflicts: 1176000 | #Constraints: 29809
2377.06/2384.57 c #Conflicts: 1177000 | #Constraints: 30809
2633.56/2641.71 c #Conflicts: 1178000 | #Constraints: 31809
2633.56/2641.71 c #Conflicts: 1179000 | #Constraints: 32809
2633.56/2641.71 c #Conflicts: 1180000 | #Constraints: 33809
2633.56/2641.71 c #Conflicts: 1181000 | #Constraints: 34809
2633.56/2641.71 c #Conflicts: 1182000 | #Constraints: 35809
2633.56/2641.71 c #Conflicts: 1183000 | #Constraints: 36809
2633.56/2641.71 c #Conflicts: 1184000 | #Constraints: 37809
2633.56/2641.71 c #Conflicts: 1185000 | #Constraints: 38809
2633.56/2641.71 c #Conflicts: 1186000 | #Constraints: 39809
2633.56/2641.71 c #Conflicts: 1187000 | #Constraints: 40809
2633.56/2641.71 c #Conflicts: 1188000 | #Constraints: 41809
2633.56/2641.71 c #Conflicts: 1189000 | #Constraints: 42809
2633.56/2641.71 c #Conflicts: 1190000 | #Constraints: 43809
2633.56/2641.71 c INPROCESSING
2633.56/2641.71 c GARBAGE COLLECT
2633.56/2641.71 c #Conflicts: 1191000 | #Constraints: 23210
2633.56/2641.71 c #Conflicts: 1192000 | #Constraints: 24210
2633.56/2641.71 c #Conflicts: 1193000 | #Constraints: 25210
2633.56/2641.71 c #Conflicts: 1194000 | #Constraints: 26210
2633.56/2641.71 c #Conflicts: 1195000 | #Constraints: 27210
2633.56/2641.71 c #Conflicts: 1196000 | #Constraints: 28210
2633.56/2641.71 c #Conflicts: 1197000 | #Constraints: 29210
2633.56/2641.71 c #Conflicts: 1198000 | #Constraints: 30210
2633.56/2641.71 c #Conflicts: 1199000 | #Constraints: 31210
2633.56/2641.71 c #Conflicts: 1200000 | #Constraints: 32210
2633.56/2641.71 c #Conflicts: 1201000 | #Constraints: 33210
2633.56/2641.71 c #Conflicts: 1202000 | #Constraints: 34210
2633.56/2641.71 c #Conflicts: 1203000 | #Constraints: 35210
2633.56/2641.71 c #Conflicts: 1204000 | #Constraints: 36210
2633.56/2641.71 c #Conflicts: 1205000 | #Constraints: 37210
2633.56/2641.71 c #Conflicts: 1206000 | #Constraints: 38210
2633.56/2641.71 c #Conflicts: 1207000 | #Constraints: 39210
2633.56/2641.71 c #Conflicts: 1208000 | #Constraints: 40210
2633.56/2641.71 c #Conflicts: 1209000 | #Constraints: 41210
2633.56/2641.71 c #Conflicts: 1210000 | #Constraints: 42210
2633.56/2641.71 c #Conflicts: 1211000 | #Constraints: 43210
2633.56/2641.71 c #Conflicts: 1212000 | #Constraints: 44210
2633.56/2641.71 c INPROCESSING
2633.56/2641.71 c GARBAGE COLLECT
2633.56/2641.71 c #Conflicts: 1213000 | #Constraints: 23411
2633.56/2641.71 c #Conflicts: 1214000 | #Constraints: 24411
2633.56/2641.71 c #Conflicts: 1215000 | #Constraints: 25411
2633.56/2641.71 c #Conflicts: 1216000 | #Constraints: 26411
2633.56/2641.71 c #Conflicts: 1217000 | #Constraints: 27411
2633.56/2641.71 c #Conflicts: 1218000 | #Constraints: 28411
2633.56/2641.71 c #Conflicts: 1219000 | #Constraints: 29411
2633.56/2641.71 c #Conflicts: 1220000 | #Constraints: 30411
2633.56/2641.71 c #Conflicts: 1221000 | #Constraints: 31411
2633.56/2641.71 c #Conflicts: 1222000 | #Constraints: 32411
2633.56/2641.71 c #Conflicts: 1223000 | #Constraints: 33411
2633.56/2641.71 c #Conflicts: 1224000 | #Constraints: 34411
2633.56/2641.71 c #Conflicts: 1225000 | #Constraints: 35411
2633.56/2641.71 c #Conflicts: 1226000 | #Constraints: 36411
2633.56/2641.71 c #Conflicts: 1227000 | #Constraints: 37411
2633.56/2641.71 c #Conflicts: 1228000 | #Constraints: 38411
2633.56/2641.71 c #Conflicts: 1229000 | #Constraints: 39411
2633.56/2641.71 c #Conflicts: 1230000 | #Constraints: 40411
2633.56/2641.71 c #Conflicts: 1231000 | #Constraints: 41411
2633.56/2641.71 c #Conflicts: 1232000 | #Constraints: 42411
2633.56/2641.71 c #Conflicts: 1233000 | #Constraints: 43411
2633.56/2641.71 c #Conflicts: 1234000 | #Constraints: 44411
2633.56/2641.71 c INPROCESSING
2633.56/2641.71 c GARBAGE COLLECT
2633.56/2641.71 c #Conflicts: 1235000 | #Constraints: 23407
2633.56/2641.71 c #Conflicts: 1236000 | #Constraints: 24407
2633.56/2641.71 c #Conflicts: 1237000 | #Constraints: 25407
2633.56/2641.71 c #Conflicts: 1238000 | #Constraints: 26407
2633.56/2641.71 c #Conflicts: 1239000 | #Constraints: 27407
2633.56/2641.71 c #Conflicts: 1240000 | #Constraints: 28407
2633.56/2641.71 c #Conflicts: 1241000 | #Constraints: 29407
2633.56/2641.71 c #Conflicts: 1242000 | #Constraints: 30407
2633.56/2641.71 c #Conflicts: 1243000 | #Constraints: 31407
2633.56/2641.71 c GLOBAL bounds - >= 0 @ 2622.7
2975.46/2984.52 c #Conflicts: 1244000 | #Constraints: 32409
2975.46/2984.52 c #Conflicts: 1245000 | #Constraints: 33409
2975.46/2984.52 c #Conflicts: 1246000 | #Constraints: 34409
2975.46/2984.52 c #Conflicts: 1247000 | #Constraints: 35409
2975.46/2984.52 c #Conflicts: 1248000 | #Constraints: 36409
2975.46/2984.52 c #Conflicts: 1249000 | #Constraints: 37409
2975.46/2984.52 c #Conflicts: 1250000 | #Constraints: 38409
2975.46/2984.52 c #Conflicts: 1251000 | #Constraints: 39409
2975.46/2984.52 c #Conflicts: 1252000 | #Constraints: 40409
2975.46/2984.52 c #Conflicts: 1253000 | #Constraints: 41409
2975.46/2984.52 c #Conflicts: 1254000 | #Constraints: 42409
2975.46/2984.52 c #Conflicts: 1255000 | #Constraints: 43409
2975.46/2984.52 c #Conflicts: 1256000 | #Constraints: 44409
2975.46/2984.52 c INPROCESSING
2975.46/2984.52 c GARBAGE COLLECT
2975.46/2984.52 c #Conflicts: 1257000 | #Constraints: 23204
2975.46/2984.52 c #Conflicts: 1258000 | #Constraints: 24204
2975.46/2984.52 c #Conflicts: 1259000 | #Constraints: 25204
2975.46/2984.52 c #Conflicts: 1260000 | #Constraints: 26204
2975.46/2984.52 c #Conflicts: 1261000 | #Constraints: 27204
2975.46/2984.52 c #Conflicts: 1262000 | #Constraints: 28204
2975.46/2984.52 c #Conflicts: 1263000 | #Constraints: 29204
2975.46/2984.52 c #Conflicts: 1264000 | #Constraints: 30204
2975.46/2984.52 c #Conflicts: 1265000 | #Constraints: 31204
2975.46/2984.52 c #Conflicts: 1266000 | #Constraints: 32204
2975.46/2984.52 c #Conflicts: 1267000 | #Constraints: 33204
2975.46/2984.52 c #Conflicts: 1268000 | #Constraints: 34204
2975.46/2984.52 c #Conflicts: 1269000 | #Constraints: 35204
2975.46/2984.52 c #Conflicts: 1270000 | #Constraints: 36204
2975.46/2984.52 c #Conflicts: 1271000 | #Constraints: 37204
2975.46/2984.52 c #Conflicts: 1272000 | #Constraints: 38204
2975.46/2984.52 c #Conflicts: 1273000 | #Constraints: 39204
2975.46/2984.52 c #Conflicts: 1274000 | #Constraints: 40204
2975.46/2984.52 c #Conflicts: 1275000 | #Constraints: 41204
2975.46/2984.52 c #Conflicts: 1276000 | #Constraints: 42204
2975.46/2984.52 c #Conflicts: 1277000 | #Constraints: 43204
2975.46/2984.52 c #Conflicts: 1278000 | #Constraints: 44204
2975.46/2984.52 c #Conflicts: 1279000 | #Constraints: 45204
2975.46/2984.52 c INPROCESSING
2975.46/2984.52 c GARBAGE COLLECT
2975.46/2984.52 c #Conflicts: 1280000 | #Constraints: 23796
2975.46/2984.52 c #Conflicts: 1281000 | #Constraints: 24796
2975.46/2984.52 c #Conflicts: 1282000 | #Constraints: 25796
2975.46/2984.52 c #Conflicts: 1283000 | #Constraints: 26796
2975.46/2984.52 c #Conflicts: 1284000 | #Constraints: 27796
2975.46/2984.52 c #Conflicts: 1285000 | #Constraints: 28796
2975.46/2984.52 c #Conflicts: 1286000 | #Constraints: 29796
2975.46/2984.52 c #Conflicts: 1287000 | #Constraints: 30796
2975.46/2984.52 c #Conflicts: 1288000 | #Constraints: 31796
2975.46/2984.52 c #Conflicts: 1289000 | #Constraints: 32796
2975.46/2984.52 c #Conflicts: 1290000 | #Constraints: 33796
2975.46/2984.52 c #Conflicts: 1291000 | #Constraints: 34796
2975.46/2984.52 c #Conflicts: 1292000 | #Constraints: 35796
2975.46/2984.52 c #Conflicts: 1293000 | #Constraints: 36796
2975.46/2984.52 c #Conflicts: 1294000 | #Constraints: 37796
2975.46/2984.52 c #Conflicts: 1295000 | #Constraints: 38796
2975.46/2984.52 c #Conflicts: 1296000 | #Constraints: 39796
2975.46/2984.52 c #Conflicts: 1297000 | #Constraints: 40796
2975.46/2984.52 c #Conflicts: 1298000 | #Constraints: 41796
2975.46/2984.52 c #Conflicts: 1299000 | #Constraints: 42796
2975.46/2984.52 c #Conflicts: 1300000 | #Constraints: 43796
2975.46/2984.52 c #Conflicts: 1301000 | #Constraints: 44796
2975.46/2984.52 c #Conflicts: 1302000 | #Constraints: 45796
2975.46/2984.52 c INPROCESSING
2975.46/2984.52 c GARBAGE COLLECT
2975.46/2984.52 c #Conflicts: 1303000 | #Constraints: 24197
2975.46/2984.52 c #Conflicts: 1304000 | #Constraints: 25197
2975.46/2984.52 c #Conflicts: 1305000 | #Constraints: 26197
2975.46/2984.52 c #Conflicts: 1306000 | #Constraints: 27197
2975.46/2984.52 c #Conflicts: 1307000 | #Constraints: 28197
2975.46/2984.52 c #Conflicts: 1308000 | #Constraints: 29197
2975.46/2984.52 c #Conflicts: 1309000 | #Constraints: 30197
2975.46/2984.52 c #Conflicts: 1310000 | #Constraints: 31197
2975.46/2984.52 c #Conflicts: 1311000 | #Constraints: 32197
2975.46/2984.52 c #Conflicts: 1312000 | #Constraints: 33197
2975.46/2984.52 c #Conflicts: 1313000 | #Constraints: 34197
2975.46/2984.52 c #Conflicts: 1314000 | #Constraints: 35197
2975.46/2984.52 c #Conflicts: 1315000 | #Constraints: 36197
2975.46/2984.52 c #Conflicts: 1316000 | #Constraints: 37197
2975.46/2984.52 c #Conflicts: 1317000 | #Constraints: 38197
2975.46/2984.52 c #Conflicts: 1318000 | #Constraints: 39197
2975.46/2984.52 c #Conflicts: 1319000 | #Constraints: 40197
2975.46/2984.52 c #Conflicts: 1320000 | #Constraints: 41197
3345.18/3355.20 c #Conflicts: 1321000 | #Constraints: 42197
3345.18/3355.20 c #Conflicts: 1322000 | #Constraints: 43197
3345.18/3355.20 c #Conflicts: 1323000 | #Constraints: 44197
3345.18/3355.20 c #Conflicts: 1324000 | #Constraints: 45197
3345.18/3355.20 c #Conflicts: 1325000 | #Constraints: 46197
3345.18/3355.20 c INPROCESSING
3345.18/3355.20 c GARBAGE COLLECT
3345.18/3355.20 c #Conflicts: 1326000 | #Constraints: 24398
3345.18/3355.20 c #Conflicts: 1327000 | #Constraints: 25398
3345.18/3355.20 c #Conflicts: 1328000 | #Constraints: 26398
3345.18/3355.20 c #Conflicts: 1329000 | #Constraints: 27398
3345.18/3355.20 c #Conflicts: 1330000 | #Constraints: 28398
3345.18/3355.20 c #Conflicts: 1331000 | #Constraints: 29398
3345.18/3355.20 c #Conflicts: 1332000 | #Constraints: 30398
3345.18/3355.20 c #Conflicts: 1333000 | #Constraints: 31398
3345.18/3355.20 c #Conflicts: 1334000 | #Constraints: 32398
3345.18/3355.20 c #Conflicts: 1335000 | #Constraints: 33398
3345.18/3355.20 c #Conflicts: 1336000 | #Constraints: 34398
3345.18/3355.20 c #Conflicts: 1337000 | #Constraints: 35398
3345.18/3355.20 c #Conflicts: 1338000 | #Constraints: 36398
3345.18/3355.20 c #Conflicts: 1339000 | #Constraints: 37398
3345.18/3355.20 c #Conflicts: 1340000 | #Constraints: 38398
3345.18/3355.20 c #Conflicts: 1341000 | #Constraints: 39398
3345.18/3355.20 c #Conflicts: 1342000 | #Constraints: 40398
3345.18/3355.20 c #Conflicts: 1343000 | #Constraints: 41398
3345.18/3355.20 c #Conflicts: 1344000 | #Constraints: 42398
3345.18/3355.20 c #Conflicts: 1345000 | #Constraints: 43398
3345.18/3355.20 c #Conflicts: 1346000 | #Constraints: 44398
3345.18/3355.20 c #Conflicts: 1347000 | #Constraints: 45398
3345.18/3355.20 c #Conflicts: 1348000 | #Constraints: 46398
3345.18/3355.20 c INPROCESSING
3345.18/3355.20 c GARBAGE COLLECT
3345.18/3355.20 c #Conflicts: 1349000 | #Constraints: 24403
3345.18/3355.20 c #Conflicts: 1350000 | #Constraints: 25403
3345.18/3355.20 c #Conflicts: 1351000 | #Constraints: 26403
3345.18/3355.20 c #Conflicts: 1352000 | #Constraints: 27403
3345.18/3355.20 c #Conflicts: 1353000 | #Constraints: 28403
3345.18/3355.20 c #Conflicts: 1354000 | #Constraints: 29403
3345.18/3355.20 c #Conflicts: 1355000 | #Constraints: 30403
3345.18/3355.20 c #Conflicts: 1356000 | #Constraints: 31403
3345.18/3355.20 c #Conflicts: 1357000 | #Constraints: 32403
3345.18/3355.20 c #Conflicts: 1358000 | #Constraints: 33403
3345.18/3355.20 c #Conflicts: 1359000 | #Constraints: 34403
3345.18/3355.20 c #Conflicts: 1360000 | #Constraints: 35403
3345.18/3355.20 c #Conflicts: 1361000 | #Constraints: 36403
3345.18/3355.20 c #Conflicts: 1362000 | #Constraints: 37403
3345.18/3355.20 c #Conflicts: 1363000 | #Constraints: 38403
3345.18/3355.20 c #Conflicts: 1364000 | #Constraints: 39403
3345.18/3355.20 c #Conflicts: 1365000 | #Constraints: 40403
3345.18/3355.20 c #Conflicts: 1366000 | #Constraints: 41403
3345.18/3355.20 c #Conflicts: 1367000 | #Constraints: 42403
3345.18/3355.20 c #Conflicts: 1368000 | #Constraints: 43403
3345.18/3355.20 c #Conflicts: 1369000 | #Constraints: 44403
3345.18/3355.20 c #Conflicts: 1370000 | #Constraints: 45403
3345.18/3355.20 c #Conflicts: 1371000 | #Constraints: 46403
3345.18/3355.20 c INPROCESSING
3345.18/3355.20 c GARBAGE COLLECT
3345.18/3355.20 c #Conflicts: 1372000 | #Constraints: 24199
3345.18/3355.20 c #Conflicts: 1373000 | #Constraints: 25199
3345.18/3355.20 c #Conflicts: 1374000 | #Constraints: 26199
3345.18/3355.20 c #Conflicts: 1375000 | #Constraints: 27199
3345.18/3355.20 c #Conflicts: 1376000 | #Constraints: 28199
3345.18/3355.20 c #Conflicts: 1377000 | #Constraints: 29199
3345.18/3355.20 c #Conflicts: 1378000 | #Constraints: 30199
3345.18/3355.20 c #Conflicts: 1379000 | #Constraints: 31199
3345.18/3355.20 c #Conflicts: 1380000 | #Constraints: 32199
3345.18/3355.20 c #Conflicts: 1381000 | #Constraints: 33199
3345.18/3355.20 c #Conflicts: 1382000 | #Constraints: 34199
3345.18/3355.20 c #Conflicts: 1383000 | #Constraints: 35199
3345.18/3355.20 c #Conflicts: 1384000 | #Constraints: 36199
3345.18/3355.20 c #Conflicts: 1385000 | #Constraints: 37199
3345.18/3355.20 c #Conflicts: 1386000 | #Constraints: 38199
3345.18/3355.20 c #Conflicts: 1387000 | #Constraints: 39199
3345.18/3355.20 c #Conflicts: 1388000 | #Constraints: 40199
3345.18/3355.20 c #Conflicts: 1389000 | #Constraints: 41199
3345.18/3355.20 c #Conflicts: 1390000 | #Constraints: 42199
3345.18/3355.20 c #Conflicts: 1391000 | #Constraints: 43199
3345.18/3355.20 c #Conflicts: 1392000 | #Constraints: 44199
3345.18/3355.20 c #Conflicts: 1393000 | #Constraints: 45199
3345.18/3355.20 c #Conflicts: 1394000 | #Constraints: 46199
3345.18/3355.20 c #Conflicts: 1395000 | #Constraints: 47199
3345.18/3355.20 c INPROCESSING
3345.18/3355.20 c GARBAGE COLLECT
3345.18/3355.20 c #Conflicts: 1396000 | #Constraints: 24794
3345.18/3355.20 c #Conflicts: 1397000 | #Constraints: 25794
3600.01/3610.70 c #Conflicts: 1398000 | #Constraints: 26794
3600.01/3610.70 c #Conflicts: 1399000 | #Constraints: 27794
3600.01/3610.70 c #Conflicts: 1400000 | #Constraints: 28794
3600.01/3610.70 c #Conflicts: 1401000 | #Constraints: 29794
3600.01/3610.70 c #Conflicts: 1402000 | #Constraints: 30794
3600.01/3610.70 c #Conflicts: 1403000 | #Constraints: 31794
3600.01/3610.70 c #Conflicts: 1404000 | #Constraints: 32794
3600.01/3610.70 c #Conflicts: 1405000 | #Constraints: 33794
3600.01/3610.70 c #Conflicts: 1406000 | #Constraints: 34794
3600.01/3610.70 c #Conflicts: 1407000 | #Constraints: 35794
3600.01/3610.70 c #Conflicts: 1408000 | #Constraints: 36794
3600.01/3610.70 c #Conflicts: 1409000 | #Constraints: 37794
3600.01/3610.70 c #Conflicts: 1410000 | #Constraints: 38794
3600.01/3610.70 c #Conflicts: 1411000 | #Constraints: 39794
3600.01/3610.70 c #Conflicts: 1412000 | #Constraints: 40794
3600.01/3610.70 c #Conflicts: 1413000 | #Constraints: 41794
3600.01/3610.70 c #Conflicts: 1414000 | #Constraints: 42794
3600.01/3610.70 c #Conflicts: 1415000 | #Constraints: 43794
3600.01/3610.70 c #Conflicts: 1416000 | #Constraints: 44794
3600.01/3610.70 c #Conflicts: 1417000 | #Constraints: 45794
3600.01/3610.70 c #Conflicts: 1418000 | #Constraints: 46794
3600.01/3610.70 c #Conflicts: 1419000 | #Constraints: 47794
3600.01/3610.70 c INPROCESSING
3600.01/3610.70 c GARBAGE COLLECT
3600.01/3610.70 c #Conflicts: 1420000 | #Constraints: 25202
3600.01/3610.70 c #Conflicts: 1421000 | #Constraints: 26202
3600.01/3610.70 c #Conflicts: 1422000 | #Constraints: 27202
3600.01/3610.70 c #Conflicts: 1423000 | #Constraints: 28202
3600.01/3610.70 c #Conflicts: 1424000 | #Constraints: 29202
3600.01/3610.70 c #Conflicts: 1425000 | #Constraints: 30202
3600.01/3610.70 c #Conflicts: 1426000 | #Constraints: 31202
3600.01/3610.70 c #Conflicts: 1427000 | #Constraints: 32202
3600.01/3610.70 c #Conflicts: 1428000 | #Constraints: 33202
3600.01/3610.70 c #Conflicts: 1429000 | #Constraints: 34202
3600.01/3610.70 c #Conflicts: 1430000 | #Constraints: 35202
3600.01/3610.70 c #Conflicts: 1431000 | #Constraints: 36202
3600.01/3610.70 c #Conflicts: 1432000 | #Constraints: 37202
3600.01/3610.70 c #Conflicts: 1433000 | #Constraints: 38202
3600.01/3610.70 c #Conflicts: 1434000 | #Constraints: 39202
3600.01/3610.70 c #Conflicts: 1435000 | #Constraints: 40202
3600.01/3610.70 c #Conflicts: 1436000 | #Constraints: 41202
3600.01/3610.70 c #Conflicts: 1437000 | #Constraints: 42202
3600.01/3610.70 c #Conflicts: 1438000 | #Constraints: 43202
3600.01/3610.70 c #Conflicts: 1439000 | #Constraints: 44202
3600.01/3610.70 c #Conflicts: 1440000 | #Constraints: 45202
3600.01/3610.70 c #Conflicts: 1441000 | #Constraints: 46202
3600.01/3610.70 c #Conflicts: 1442000 | #Constraints: 47202
3600.01/3610.70 c #Conflicts: 1443000 | #Constraints: 48202
3600.01/3610.70 c INPROCESSING
3600.01/3610.70 c GARBAGE COLLECT
3600.01/3610.70 c #Conflicts: 1444000 | #Constraints: 25400
3600.01/3610.70 c #Conflicts: 1445000 | #Constraints: 26400
3600.01/3610.70 c #Conflicts: 1446000 | #Constraints: 27400
3600.01/3610.70 c cpu time 3586.95 s
3600.01/3610.70 c deterministic time 1 1.00e+00
3600.01/3610.70 c optimization time 3586.94 s
3600.01/3610.70 c total solve time 0 s
3600.01/3610.70 c core-guided solve time 0 s
3600.01/3610.70 c propagation time 0.000199 s
3600.01/3610.70 c conflict analysis time 0 s
3600.01/3610.70 c propagations 0
3600.01/3610.70 c resolve steps 0
3600.01/3610.70 c decisions 0
3600.01/3610.70 c conflicts 0
3600.01/3610.70 c restarts 0
3600.01/3610.70 c inprocessing phases 0
3600.01/3610.70 c garbage collections 0 ,( -nan )
3600.01/3610.70 c input clauses 0 ,( 0.00 )
3600.01/3610.70 c input cardinalities 0 ,( 0.00 )
3600.01/3610.70 c input general constraints 479 ,( 100.00 )
3600.01/3610.70 c input average constraint length 8.99
3600.01/3610.70 c input average constraint degree 28.90
3600.01/3610.70 c learned clauses 0 ,( 0.00 )
3600.01/3610.70 c learned cardinalities 0 ,( 0.00 )
3600.01/3610.70 c learned general constraints 0 ,( 0.00 )
3600.01/3610.70 c learned average constraint length 0.00
3600.01/3610.70 c learned average constraint degree 0.00
3600.01/3610.70 c watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
3600.01/3610.70 c counting CF 32, 64, 128, Arb: 474 , 0 , 0 , 0
3600.01/3610.70 c watched constraints 6 ,( 1.25 )
3600.01/3610.70 c counting constraints 473 ,( 98.75 )
3600.01/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3610.70 c gcd simplifications 0
3600.01/3610.70 c detected cardinalities 0
3600.01/3610.70 c weakened non-implied lits 0
3600.01/3610.70 c weakened non-implying lits 0
3600.01/3610.70 c original variables 479
3600.01/3610.70 c clausal propagations 0
3600.01/3610.70 c cardinality propagations 0
3600.01/3610.70 c watched propagations 0
3600.01/3610.70 c counting propagations 0
3600.01/3610.70 c watch lookups 0
3600.01/3610.70 c watch backjump lookups 0
3600.01/3610.70 c watch checks 0
3600.01/3610.70 c propagation checks 0
3600.01/3610.70 c constraint additions 0
3600.01/3610.70 c trail pops 0
3600.01/3610.70 c formula constraints 479
3600.01/3610.70 c learned constraints 0
3600.01/3610.70 c bound constraints 0
3600.01/3610.70 c core-guided constraints 0
3600.01/3610.70 c encountered formula constraints 0
3600.01/3610.70 c encountered learned constraints 0
3600.01/3610.70 c encountered bound constraints 0
3600.01/3610.70 c encountered core-guided constraints 0
3600.01/3610.70 c LP total time 0 s
3600.01/3610.70 c LP solve time 0 s
3600.01/3610.70 c LP constraints added 0
3600.01/3610.70 c LP constraints removed 0
3600.01/3610.70 c LP pivots internal 0
3600.01/3610.70 c LP pivots root 0
3600.01/3610.70 c LP calls 0
3600.01/3610.70 c LP optimalities 0
3600.01/3610.70 c LP no pivot count 0
3600.01/3610.70 c LP infeasibilities 0
3600.01/3610.70 c LP valid Farkas constraints 0
3600.01/3610.70 c LP learned Farkas constraints 0
3600.01/3610.70 c LP basis resets 0
3600.01/3610.70 c LP cycling count 0
3600.01/3610.70 c LP singular count 0
3600.01/3610.70 c LP no primal count 0
3600.01/3610.70 c LP no farkas count 0
3600.01/3610.70 c LP other issue count 0
3600.01/3610.70 c LP Gomory cuts 0
3600.01/3610.70 c LP learned cuts 0
3600.01/3610.70 c LP deleted cuts 0
3600.01/3610.70 c LP encountered Gomory constraints 0
3600.01/3610.70 c LP encountered Farkas constraints 0
3600.01/3610.70 c LP encountered learned Farkas constraints 0
3600.01/3610.70 c CG auxiliary variables introduced 0
3600.01/3610.70 c CG solutions found 0
3600.01/3610.70 c CG cores constructed 0
3600.01/3610.70 c CG core cardinality constraints returned 0
3600.01/3610.70 c CG unit cores 0
3600.01/3610.70 c CG single cores 0
3600.01/3610.70 c CG blocks removed during cardinality reduction 0
3600.01/3610.70 c CG first core best 0
3600.01/3610.70 c CG decision core best 0
3600.01/3610.70 c CG core reduction tie 0
3600.01/3610.70 c CG core degree average 0.00
3600.01/3610.70 c CG core slack average 0.00
3600.01/3610.70 c CG core upper bound improvements 0
3600.01/3610.70 c STR number of successful calls 0
3600.01/3610.70 c STR number of unsuccessful calls 0
3600.01/3610.70 c STR number of inconclusive calls 0
3600.01/3610.70 c STR number of successful attempts 0
3600.01/3610.70 c STR number of unsuccessful attempts 0
3600.01/3610.70 c STR number of inconclusive attempts 0
3600.01/3610.70 c STR average degree increase per successful call inf
3600.01/3610.70 c STR average degree increase per successful attempt inf
3600.01/3610.70 c STR total number of conflicts for successful attempts 0
3600.01/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.70 c STR average number of conflicts per successful attempt inf
3600.01/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.70 c AVG.sumWPerc 72.50
3600.01/3610.70 c bigint constraints 0
3600.01/3610.70 s UNKNOWN
3600.01/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (59037 MiB free)
memory of node 1: 64507 MiB (57264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489139-1751355501/watcher-4489139-1751355501 -o /tmp/evaluation-result-4489139-1751355501/solver-4489139-1751355501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45608 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489139-1751355501.opb PROOFDIR/proof-4489139-1751355501
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el
solver pid=46363, runsolver pid=46360
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.13 4.14 4.10 2/255 46365
/proc/meminfo: memFree=120818720/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/46365/stat : 46365 (roundingsat) D 46363 46363 45597 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 51229718 52015104 1856 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.205149 s]*
/proc/loadavg: 4.13 4.14 4.10 1/256 46369
/proc/meminfo: memFree=121727852/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/46365/stat : 46365 (roundingsat) D 46363 46363 45597 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 51229718 52015104 1856 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.304973 s]*
/proc/loadavg: 4.13 4.14 4.10 2/256 46373
/proc/meminfo: memFree=121727584/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/46365/stat : 46365 (roundingsat) D 46363 46363 45597 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 51229718 52015104 1856 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.700216 s]
/proc/loadavg: 4.12 4.13 4.10 2/261 46385
/proc/meminfo: memFree=123626216/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/46365/stat : 46365 (roundingsat) D 46363 46363 45597 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 51229718 52015104 1856 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.13 4.10 4/268 46406
/proc/meminfo: memFree=130021484/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=79064 memory=30352 CPUtime=0.71 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 4986 0 0 0 69 2 0 0 20 0 1 0 51229718 80961536 7588 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 19766 7588 2368 1147 0 7193 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 83256 KiB
Current children cumulated memory: 33168 KiB
[startup+3.10537 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129873820/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=97856 memory=46488 CPUtime=2.31 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 8515 0 0 0 226 5 0 0 20 0 1 0 51229718 100204544 11622 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 24464 11622 2368 1147 0 11891 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 102048 KiB
Current children cumulated memory: 49304 KiB
heavy processes:
[startup+6.30015 s]
/proc/loadavg: 4.11 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129783024/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=107148 memory=51736 CPUtime=5.5 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 9833 0 0 0 537 13 0 0 20 0 1 0 51229718 109719552 12934 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 26787 12934 2368 1147 0 14214 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 111340 KiB
Current children cumulated memory: 54552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 46425
/proc/meminfo: memFree=129629816/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=108428 memory=57068 CPUtime=11.89 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 10673 0 0 0 1165 24 0 0 20 0 1 0 51229718 111030272 14267 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 27107 14267 2368 1147 0 14534 0
Current children cumulated CPU time: 11.89 s
Current children cumulated vsize: 112620 KiB
Current children cumulated memory: 59884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/273 46427
/proc/meminfo: memFree=129363424/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=130384 memory=74296 CPUtime=24.65 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 14459 0 0 0 2424 41 0 0 20 0 1 0 51229718 133513216 18574 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 32596 18574 2368 1147 0 20023 0
Current children cumulated CPU time: 24.65 s
Current children cumulated vsize: 134576 KiB
Current children cumulated memory: 77112 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.13 4.09 5/273 46427
/proc/meminfo: memFree=128993332/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=148880 memory=91192 CPUtime=50.19 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 17625 0 0 0 4948 71 0 0 20 0 1 0 51229718 152453120 22798 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 37220 22798 2368 1147 0 24647 0
Current children cumulated CPU time: 50.19 s
Current children cumulated vsize: 153072 KiB
Current children cumulated memory: 94008 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 46429
/proc/meminfo: memFree=128367136/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=187336 memory=133964 CPUtime=101.24 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 23222 0 0 0 10008 116 0 0 20 0 1 0 51229718 191832064 33491 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 46834 33491 2368 1147 0 34261 0
Current children cumulated CPU time: 101.24 s
Current children cumulated vsize: 191528 KiB
Current children cumulated memory: 136780 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/272 46431
/proc/meminfo: memFree=127815644/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=217744 memory=147452 CPUtime=161.06 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 25568 0 0 0 15944 162 0 0 20 0 1 0 51229718 222969856 36863 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 54436 36863 2368 1147 0 41863 0
Current children cumulated CPU time: 161.06 s
Current children cumulated vsize: 221936 KiB
Current children cumulated memory: 150268 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 46434
/proc/meminfo: memFree=127259200/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=301652 memory=218768 CPUtime=220.87 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 43236 0 0 0 21879 208 0 0 20 0 1 0 51229718 308891648 54692 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
################
# More data... #
################
/proc/46365/statm: 134791 107965 2368 1147 0 122218 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 543356 KiB
Current children cumulated memory: 434676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/271 46601
/proc/meminfo: memFree=115117552/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=539164 memory=431988 CPUtime=3152.79 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 86746 0 0 0 314060 1219 0 0 20 0 1 0 51229718 552103936 107997 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 134791 107997 2368 1147 0 122218 0
Current children cumulated CPU time: 3152.79 s
Current children cumulated vsize: 543356 KiB
Current children cumulated memory: 434804 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 46605
/proc/meminfo: memFree=114933220/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=544248 memory=433308 CPUtime=3212.63 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 87892 0 0 0 320033 1230 0 0 20 0 1 0 51229718 557309952 108327 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 136062 108327 2368 1147 0 123489 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 548440 KiB
Current children cumulated memory: 436124 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 46610
/proc/meminfo: memFree=114777904/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=546724 memory=434520 CPUtime=3272.47 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 88664 0 0 0 326002 1245 0 0 20 0 1 0 51229718 559845376 108630 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 136681 108630 2368 1147 0 124108 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 550916 KiB
Current children cumulated memory: 437336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 46612
/proc/meminfo: memFree=114621752/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=553716 memory=435840 CPUtime=3332.31 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 90450 0 0 0 331976 1255 0 0 20 0 1 0 51229718 567005184 108960 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 138429 108960 2368 1147 0 125856 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 557908 KiB
Current children cumulated memory: 438656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/272 46614
/proc/meminfo: memFree=114463248/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=557860 memory=437000 CPUtime=3392.16 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 91620 0 0 0 337945 1271 0 0 20 0 1 0 51229718 571248640 109250 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 139465 109250 2368 1147 0 126892 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 562052 KiB
Current children cumulated memory: 439816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/272 46616
/proc/meminfo: memFree=114287240/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=560012 memory=437464 CPUtime=3452 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 92271 0 0 0 343919 1281 0 0 20 0 1 0 51229718 573452288 109366 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 140003 109366 2368 1147 0 127430 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 564204 KiB
Current children cumulated memory: 440280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/272 46622
/proc/meminfo: memFree=114152000/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=561324 memory=438416 CPUtime=3511.84 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 92649 0 0 0 349892 1292 0 0 20 0 1 0 51229718 574795776 109604 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 140331 109604 2368 1147 0 127758 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 565516 KiB
Current children cumulated memory: 441232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/271 46624
/proc/meminfo: memFree=113998668/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=561840 memory=438448 CPUtime=3571.69 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 92802 0 0 0 355868 1301 0 0 20 0 1 0 51229718 575324160 109612 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 140460 109612 2368 1147 0 127887 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 566032 KiB
Current children cumulated memory: 441264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.16 4.17 4.12 5/272 46626
/proc/meminfo: memFree=113921556/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=563684 memory=441624 CPUtime=3600.01 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 93255 0 0 0 358694 1307 0 0 20 0 1 0 51229718 577212416 110406 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 140921 110406 2368 1147 0 128348 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 567876 KiB
Current children cumulated memory: 444440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 46363 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.002392 s
[startup+3610.73 s]
# the end of solver process 46365 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.95 s, system=13.0914 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.16 4.17 4.12 5/272 46626
/proc/meminfo: memFree=113921556/131249996 swapFree=33010416/33010684
[pid=46363] ppid=46360 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/46363/stat : 46363 (run-opt-log.sh) S 46360 46363 45597 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51229718 4292608 704 18446744073709551615 94365984276480 94365985171013 140728901734976 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94365985410064 94365985457808 94366007062528 140728901736737 140728901736932 140728901736932 140728901742534 0
/proc/46363/statm: 1048 704 672 219 0 110 0
[pid=46365] ppid=46363 vsize=563684 memory=441624 CPUtime=3600.01 cores=4,6
/proc/46365/stat : 46365 (roundingsat) R 46363 46363 45597 0 -1 4194304 93255 0 0 0 358694 1307 0 0 20 0 1 0 51229718 577212416 110406 18446744073709551615 4227072 8923433 140733627344672 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13115392 140733627349330 140733627349544 140733627349544 140733627355114 0
/proc/46365/statm: 140921 110406 2368 1147 0 128348 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 567876 KiB
Current children cumulated memory: 444440 KiB
Child status: 2
Real time (s): 3610.73
CPU time (s): 3600.04
CPU user time (s): 3586.95
CPU system time (s): 13.0914
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 567876
Max. memory (cumulated for all children) (KiB): 444440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.95
system time used= 13.0914
maximum resident set size= 442008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5998648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 593
involuntary context switches= 4991
# summary of solver processes directly reported to runsolver:
# pid: 46363,46365
# total CPU time (s): 3600.04
# total CPU user time (s): 3586.95
# total CPU system time (s): 13.0914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.019 second user time and 18.0066 second system time
The end
Begin job on nodeC030 at 2025-07-01 09:38:21
IDJOB=4489139
IDBENCH=147541
IDSOLVER=3351
FILE ID=nodeC030/4489139-1751355501
RUNJOBID= nodeC030-1751348277-45608
SLURM_JOB_ID= 9598121
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.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-4489139-1751355501/watcher-4489139-1751355501 -o /tmp/evaluation-result-4489139-1751355501/solver-4489139-1751355501 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45608 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489139-1751355501.opb PROOFDIR/proof-4489139-1751355501
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=347128419
nodeC030 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 : 3601.403
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 : 7000.62
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 : 3700.000
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.453
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 : 7000.62
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 : 1200.118
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 : 7000.62
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 : 3600.292
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 : 7000.62
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 : 1199.777
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 : 7000.62
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 : 3598.698
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 : 7000.62
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 : 3700.000
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 118907768 kB
MemAvailable: 129809296 kB
Buffers: 2564 kB
Cached: 11690980 kB
SwapCached: 16 kB
Active: 480908 kB
Inactive: 11273088 kB
Active(anon): 73952 kB
Inactive(anon): 4548 kB
Active(file): 406956 kB
Inactive(file): 11268540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7300 kB
Writeback: 4 kB
AnonPages: 63480 kB
Mapped: 103212 kB
Shmem: 18048 kB
KReclaimable: 130144 kB
Slab: 218200 kB
SReclaimable: 130144 kB
SUnreclaim: 88056 kB
KernelStack: 4096 kB
PageTables: 2736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 10:38:32