0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 479 #constraints 479
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 474 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.001993
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.002403
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003991
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.049738
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.060703
0.07/0.14 c GLOBAL bounds - >= 0 @ 0.098162
0.07/0.16 c GLOBAL bounds - >= 0 @ 0.113978
0.07/0.19 c GLOBAL bounds - >= 0 @ 0.146687
0.17/0.28 c #Conflicts: 1000 | #Constraints: 1491
0.17/0.28 c GLOBAL bounds - >= 0 @ 0.227337
0.27/0.38 c GLOBAL bounds - >= 0 @ 0.329874
0.37/0.44 c #Conflicts: 2000 | #Constraints: 2495
0.37/0.44 c INPROCESSING
0.37/0.44 c GARBAGE COLLECT
0.37/0.44 c GLOBAL bounds - >= 0 @ 0.37901
0.37/0.49 c GLOBAL bounds - >= 0 @ 0.427944
0.46/0.56 c GLOBAL bounds - >= 0 @ 0.495855
0.56/0.66 c #Conflicts: 3000 | #Constraints: 2511
0.56/0.66 c GLOBAL bounds - >= 0 @ 0.599697
0.56/0.69 c GLOBAL bounds - >= 0 @ 0.621205
0.65/0.71 c GLOBAL bounds - >= 0 @ 0.642002
0.65/0.73 c GLOBAL bounds - >= 0 @ 0.661693
0.96/1.10 c #Conflicts: 4000 | #Constraints: 3519
0.96/1.10 c INPROCESSING
0.96/1.10 c GARBAGE COLLECT
0.96/1.10 c GLOBAL bounds - >= 0 @ 1.01524
1.36/1.41 c #Conflicts: 5000 | #Constraints: 2930
1.36/1.41 c GLOBAL bounds - >= 0 @ 1.31984
2.15/2.22 c #Conflicts: 6000 | #Constraints: 3932
2.15/2.22 c INPROCESSING
2.15/2.22 c GARBAGE COLLECT
2.15/2.22 c #Conflicts: 7000 | #Constraints: 2939
2.15/2.22 c #Conflicts: 8000 | #Constraints: 3939
2.15/2.22 c GLOBAL bounds - >= 0 @ 2.11274
2.15/2.29 c GLOBAL bounds - >= 0 @ 2.18223
2.45/2.54 c #Conflicts: 9000 | #Constraints: 4943
2.45/2.54 c INPROCESSING
2.45/2.54 c GARBAGE COLLECT
2.45/2.54 c GLOBAL bounds - >= 0 @ 2.42623
2.45/2.55 c GLOBAL bounds - >= 0 @ 2.4391
2.55/2.68 c #Conflicts: 10000 | #Constraints: 3647
2.55/2.68 c GLOBAL bounds - >= 0 @ 2.56637
2.65/2.77 c GLOBAL bounds - >= 0 @ 2.65989
6.14/6.23 c #Conflicts: 11000 | #Constraints: 4651
6.14/6.23 c #Conflicts: 12000 | #Constraints: 5651
6.14/6.23 c INPROCESSING
6.14/6.23 c GARBAGE COLLECT
6.14/6.23 c #Conflicts: 13000 | #Constraints: 4101
6.14/6.23 c #Conflicts: 14000 | #Constraints: 5101
6.14/6.23 c #Conflicts: 15000 | #Constraints: 6101
6.14/6.23 c INPROCESSING
6.14/6.23 c GARBAGE COLLECT
6.14/6.23 c #Conflicts: 16000 | #Constraints: 4328
6.14/6.23 c #Conflicts: 17000 | #Constraints: 5328
6.14/6.23 c #Conflicts: 18000 | #Constraints: 6328
6.14/6.23 c INPROCESSING
6.14/6.23 c GARBAGE COLLECT
6.14/6.23 c #Conflicts: 19000 | #Constraints: 4345
6.14/6.23 c GLOBAL bounds - >= 0 @ 6.07358
7.64/7.77 c #Conflicts: 20000 | #Constraints: 5347
7.64/7.77 c #Conflicts: 21000 | #Constraints: 6347
7.64/7.77 c INPROCESSING
7.64/7.77 c GARBAGE COLLECT
7.64/7.77 c #Conflicts: 22000 | #Constraints: 4158
7.64/7.77 c #Conflicts: 23000 | #Constraints: 5158
7.64/7.77 c GLOBAL bounds - >= 0 @ 7.58077
21.70/21.82 c #Conflicts: 24000 | #Constraints: 6160
21.70/21.82 c #Conflicts: 25000 | #Constraints: 7160
21.70/21.82 c INPROCESSING
21.70/21.82 c GARBAGE COLLECT
21.70/21.82 c #Conflicts: 26000 | #Constraints: 4765
21.70/21.82 c #Conflicts: 27000 | #Constraints: 5765
21.70/21.82 c #Conflicts: 28000 | #Constraints: 6765
21.70/21.82 c #Conflicts: 29000 | #Constraints: 7765
21.70/21.82 c INPROCESSING
21.70/21.82 c GARBAGE COLLECT
21.70/21.82 c #Conflicts: 30000 | #Constraints: 5164
21.70/21.82 c #Conflicts: 31000 | #Constraints: 6164
21.70/21.82 c #Conflicts: 32000 | #Constraints: 7164
21.70/21.82 c #Conflicts: 33000 | #Constraints: 8164
21.70/21.82 c INPROCESSING
21.70/21.82 c GARBAGE COLLECT
21.70/21.82 c #Conflicts: 34000 | #Constraints: 5368
21.70/21.82 c #Conflicts: 35000 | #Constraints: 6368
21.70/21.82 c #Conflicts: 36000 | #Constraints: 7368
21.70/21.82 c #Conflicts: 37000 | #Constraints: 8368
21.70/21.82 c INPROCESSING
21.70/21.82 c GARBAGE COLLECT
21.70/21.82 c #Conflicts: 38000 | #Constraints: 5368
21.70/21.82 c #Conflicts: 39000 | #Constraints: 6368
21.70/21.82 c #Conflicts: 40000 | #Constraints: 7368
21.70/21.82 c #Conflicts: 41000 | #Constraints: 8368
21.70/21.82 c INPROCESSING
21.70/21.82 c GARBAGE COLLECT
21.70/21.82 c #Conflicts: 42000 | #Constraints: 5169
21.70/21.82 c #Conflicts: 43000 | #Constraints: 6169
21.70/21.82 c #Conflicts: 44000 | #Constraints: 7169
21.70/21.82 c #Conflicts: 45000 | #Constraints: 8169
21.70/21.82 c #Conflicts: 46000 | #Constraints: 9169
21.70/21.82 c INPROCESSING
21.70/21.82 c GARBAGE COLLECT
21.70/21.82 c #Conflicts: 47000 | #Constraints: 5765
21.70/21.82 c #Conflicts: 48000 | #Constraints: 6765
21.70/21.82 c #Conflicts: 49000 | #Constraints: 7765
21.70/21.82 c #Conflicts: 50000 | #Constraints: 8765
21.70/21.82 c #Conflicts: 51000 | #Constraints: 9765
21.70/21.82 c INPROCESSING
21.70/21.82 c GARBAGE COLLECT
21.70/21.82 c #Conflicts: 52000 | #Constraints: 6174
21.70/21.82 c #Conflicts: 53000 | #Constraints: 7174
21.70/21.82 c GLOBAL bounds - >= 0 @ 21.397
24.19/24.35 c #Conflicts: 54000 | #Constraints: 8176
24.19/24.35 c #Conflicts: 55000 | #Constraints: 9176
24.19/24.35 c #Conflicts: 56000 | #Constraints: 10176
24.19/24.35 c INPROCESSING
24.19/24.35 c GARBAGE COLLECT
24.19/24.35 c #Conflicts: 57000 | #Constraints: 6376
24.19/24.35 c GLOBAL bounds - >= 0 @ 23.8881
30.88/31.05 c #Conflicts: 58000 | #Constraints: 7378
30.88/31.05 c #Conflicts: 59000 | #Constraints: 8378
30.88/31.05 c #Conflicts: 60000 | #Constraints: 9378
30.88/31.05 c #Conflicts: 61000 | #Constraints: 10378
30.88/31.05 c INPROCESSING
30.88/31.05 c GARBAGE COLLECT
30.88/31.05 c #Conflicts: 62000 | #Constraints: 6380
30.88/31.05 c #Conflicts: 63000 | #Constraints: 7380
30.88/31.05 c #Conflicts: 64000 | #Constraints: 8380
30.88/31.05 c #Conflicts: 65000 | #Constraints: 9380
30.88/31.05 c #Conflicts: 66000 | #Constraints: 10380
30.88/31.05 c INPROCESSING
30.88/31.05 c GARBAGE COLLECT
30.88/31.05 c #Conflicts: 67000 | #Constraints: 6178
30.88/31.05 c #Conflicts: 68000 | #Constraints: 7178
30.88/31.05 c GLOBAL bounds - >= 0 @ 30.4927
56.40/56.62 c #Conflicts: 69000 | #Constraints: 8180
56.40/56.62 c #Conflicts: 70000 | #Constraints: 9180
56.40/56.62 c #Conflicts: 71000 | #Constraints: 10180
56.40/56.62 c #Conflicts: 72000 | #Constraints: 11180
56.40/56.62 c INPROCESSING
56.40/56.62 c GARBAGE COLLECT
56.40/56.62 c #Conflicts: 73000 | #Constraints: 6781
56.40/56.62 c #Conflicts: 74000 | #Constraints: 7781
56.40/56.62 c #Conflicts: 75000 | #Constraints: 8781
56.40/56.62 c #Conflicts: 76000 | #Constraints: 9781
56.40/56.62 c #Conflicts: 77000 | #Constraints: 10781
56.40/56.62 c #Conflicts: 78000 | #Constraints: 11781
56.40/56.62 c INPROCESSING
56.40/56.62 c GARBAGE COLLECT
56.40/56.62 c #Conflicts: 79000 | #Constraints: 7179
56.40/56.62 c #Conflicts: 80000 | #Constraints: 8179
56.40/56.62 c #Conflicts: 81000 | #Constraints: 9179
56.40/56.62 c #Conflicts: 82000 | #Constraints: 10179
56.40/56.62 c #Conflicts: 83000 | #Constraints: 11179
56.40/56.62 c #Conflicts: 84000 | #Constraints: 12179
56.40/56.62 c INPROCESSING
56.40/56.62 c GARBAGE COLLECT
56.40/56.62 c #Conflicts: 85000 | #Constraints: 7374
56.40/56.62 c #Conflicts: 86000 | #Constraints: 8374
56.40/56.62 c #Conflicts: 87000 | #Constraints: 9374
56.40/56.62 c #Conflicts: 88000 | #Constraints: 10374
56.40/56.62 c #Conflicts: 89000 | #Constraints: 11374
56.40/56.62 c #Conflicts: 90000 | #Constraints: 12374
56.40/56.62 c INPROCESSING
56.40/56.62 c GARBAGE COLLECT
56.40/56.62 c #Conflicts: 91000 | #Constraints: 7374
56.40/56.62 c #Conflicts: 92000 | #Constraints: 8374
56.40/56.62 c #Conflicts: 93000 | #Constraints: 9374
56.40/56.62 c #Conflicts: 94000 | #Constraints: 10374
56.40/56.62 c #Conflicts: 95000 | #Constraints: 11374
56.40/56.62 c #Conflicts: 96000 | #Constraints: 12374
56.40/56.62 c INPROCESSING
56.40/56.62 c GARBAGE COLLECT
56.40/56.62 c #Conflicts: 97000 | #Constraints: 7176
56.40/56.62 c #Conflicts: 98000 | #Constraints: 8176
56.40/56.62 c #Conflicts: 99000 | #Constraints: 9176
56.40/56.62 c #Conflicts: 100000 | #Constraints: 10176
56.40/56.62 c #Conflicts: 101000 | #Constraints: 11176
56.40/56.62 c #Conflicts: 102000 | #Constraints: 12176
56.40/56.62 c #Conflicts: 103000 | #Constraints: 13176
56.40/56.62 c INPROCESSING
56.40/56.62 c GARBAGE COLLECT
56.40/56.62 c #Conflicts: 104000 | #Constraints: 7782
56.40/56.62 c #Conflicts: 105000 | #Constraints: 8782
56.40/56.62 c #Conflicts: 106000 | #Constraints: 9782
56.40/56.62 c #Conflicts: 107000 | #Constraints: 10782
56.40/56.62 c GLOBAL bounds - >= 0 @ 55.7714
70.56/70.89 c #Conflicts: 108000 | #Constraints: 11784
70.56/70.89 c #Conflicts: 109000 | #Constraints: 12784
70.56/70.89 c #Conflicts: 110000 | #Constraints: 13784
70.56/70.89 c INPROCESSING
70.56/70.89 c GARBAGE COLLECT
70.56/70.89 c #Conflicts: 111000 | #Constraints: 8181
70.56/70.89 c #Conflicts: 112000 | #Constraints: 9181
70.56/70.89 c #Conflicts: 113000 | #Constraints: 10181
70.56/70.89 c #Conflicts: 114000 | #Constraints: 11181
70.56/70.89 c #Conflicts: 115000 | #Constraints: 12181
70.56/70.89 c #Conflicts: 116000 | #Constraints: 13181
70.56/70.89 c #Conflicts: 117000 | #Constraints: 14181
70.56/70.89 c INPROCESSING
70.56/70.89 c GARBAGE COLLECT
70.56/70.89 c #Conflicts: 118000 | #Constraints: 8382
70.56/70.89 c #Conflicts: 119000 | #Constraints: 9382
70.56/70.89 c #Conflicts: 120000 | #Constraints: 10382
70.56/70.89 c #Conflicts: 121000 | #Constraints: 11382
70.56/70.89 c #Conflicts: 122000 | #Constraints: 12382
70.56/70.89 c #Conflicts: 123000 | #Constraints: 13382
70.56/70.89 c #Conflicts: 124000 | #Constraints: 14382
70.56/70.89 c INPROCESSING
70.56/70.89 c GARBAGE COLLECT
70.56/70.89 c #Conflicts: 125000 | #Constraints: 8381
70.56/70.89 c #Conflicts: 126000 | #Constraints: 9381
70.56/70.89 c #Conflicts: 127000 | #Constraints: 10381
70.56/70.89 c #Conflicts: 128000 | #Constraints: 11381
70.56/70.89 c #Conflicts: 129000 | #Constraints: 12381
70.56/70.89 c #Conflicts: 130000 | #Constraints: 13381
70.56/70.89 c GLOBAL bounds - >= 0 @ 69.8788
133.51/133.90 c #Conflicts: 131000 | #Constraints: 14383
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 132000 | #Constraints: 8176
133.51/133.90 c #Conflicts: 133000 | #Constraints: 9176
133.51/133.90 c #Conflicts: 134000 | #Constraints: 10176
133.51/133.90 c #Conflicts: 135000 | #Constraints: 11176
133.51/133.90 c #Conflicts: 136000 | #Constraints: 12176
133.51/133.90 c #Conflicts: 137000 | #Constraints: 13176
133.51/133.90 c #Conflicts: 138000 | #Constraints: 14176
133.51/133.90 c #Conflicts: 139000 | #Constraints: 15176
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 140000 | #Constraints: 8783
133.51/133.90 c #Conflicts: 141000 | #Constraints: 9783
133.51/133.90 c #Conflicts: 142000 | #Constraints: 10783
133.51/133.90 c #Conflicts: 143000 | #Constraints: 11783
133.51/133.90 c #Conflicts: 144000 | #Constraints: 12783
133.51/133.90 c #Conflicts: 145000 | #Constraints: 13783
133.51/133.90 c #Conflicts: 146000 | #Constraints: 14783
133.51/133.90 c #Conflicts: 147000 | #Constraints: 15783
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 148000 | #Constraints: 9183
133.51/133.90 c #Conflicts: 149000 | #Constraints: 10183
133.51/133.90 c #Conflicts: 150000 | #Constraints: 11183
133.51/133.90 c #Conflicts: 151000 | #Constraints: 12183
133.51/133.90 c #Conflicts: 152000 | #Constraints: 13183
133.51/133.90 c #Conflicts: 153000 | #Constraints: 14183
133.51/133.90 c #Conflicts: 154000 | #Constraints: 15183
133.51/133.90 c #Conflicts: 155000 | #Constraints: 16183
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 156000 | #Constraints: 9378
133.51/133.90 c #Conflicts: 157000 | #Constraints: 10378
133.51/133.90 c #Conflicts: 158000 | #Constraints: 11378
133.51/133.90 c #Conflicts: 159000 | #Constraints: 12378
133.51/133.90 c #Conflicts: 160000 | #Constraints: 13378
133.51/133.90 c #Conflicts: 161000 | #Constraints: 14378
133.51/133.90 c #Conflicts: 162000 | #Constraints: 15378
133.51/133.90 c #Conflicts: 163000 | #Constraints: 16378
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 164000 | #Constraints: 9378
133.51/133.90 c #Conflicts: 165000 | #Constraints: 10378
133.51/133.90 c #Conflicts: 166000 | #Constraints: 11378
133.51/133.90 c #Conflicts: 167000 | #Constraints: 12378
133.51/133.90 c #Conflicts: 168000 | #Constraints: 13378
133.51/133.90 c #Conflicts: 169000 | #Constraints: 14378
133.51/133.90 c #Conflicts: 170000 | #Constraints: 15378
133.51/133.90 c #Conflicts: 171000 | #Constraints: 16378
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 172000 | #Constraints: 9181
133.51/133.90 c #Conflicts: 173000 | #Constraints: 10181
133.51/133.90 c #Conflicts: 174000 | #Constraints: 11181
133.51/133.90 c #Conflicts: 175000 | #Constraints: 12181
133.51/133.90 c #Conflicts: 176000 | #Constraints: 13181
133.51/133.90 c #Conflicts: 177000 | #Constraints: 14181
133.51/133.90 c #Conflicts: 178000 | #Constraints: 15181
133.51/133.90 c #Conflicts: 179000 | #Constraints: 16181
133.51/133.90 c #Conflicts: 180000 | #Constraints: 17181
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 181000 | #Constraints: 9779
133.51/133.90 c #Conflicts: 182000 | #Constraints: 10779
133.51/133.90 c #Conflicts: 183000 | #Constraints: 11779
133.51/133.90 c #Conflicts: 184000 | #Constraints: 12779
133.51/133.90 c #Conflicts: 185000 | #Constraints: 13779
133.51/133.90 c #Conflicts: 186000 | #Constraints: 14779
133.51/133.90 c #Conflicts: 187000 | #Constraints: 15779
133.51/133.90 c #Conflicts: 188000 | #Constraints: 16779
133.51/133.90 c #Conflicts: 189000 | #Constraints: 17779
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 190000 | #Constraints: 10181
133.51/133.90 c #Conflicts: 191000 | #Constraints: 11181
133.51/133.90 c #Conflicts: 192000 | #Constraints: 12181
133.51/133.90 c #Conflicts: 193000 | #Constraints: 13181
133.51/133.90 c #Conflicts: 194000 | #Constraints: 14181
133.51/133.90 c #Conflicts: 195000 | #Constraints: 15181
133.51/133.90 c #Conflicts: 196000 | #Constraints: 16181
133.51/133.90 c #Conflicts: 197000 | #Constraints: 17181
133.51/133.90 c #Conflicts: 198000 | #Constraints: 18181
133.51/133.90 c INPROCESSING
133.51/133.90 c GARBAGE COLLECT
133.51/133.90 c #Conflicts: 199000 | #Constraints: 10382
133.51/133.90 c #Conflicts: 200000 | #Constraints: 11382
133.51/133.90 c #Conflicts: 201000 | #Constraints: 12382
133.51/133.90 c #Conflicts: 202000 | #Constraints: 13382
133.51/133.90 c #Conflicts: 203000 | #Constraints: 14382
133.51/133.90 c GLOBAL bounds - >= 0 @ 132.337
168.82/169.35 c #Conflicts: 204000 | #Constraints: 15384
168.82/169.35 c #Conflicts: 205000 | #Constraints: 16384
168.82/169.35 c #Conflicts: 206000 | #Constraints: 17384
168.82/169.35 c #Conflicts: 207000 | #Constraints: 18384
168.82/169.35 c INPROCESSING
168.82/169.35 c GARBAGE COLLECT
168.82/169.35 c #Conflicts: 208000 | #Constraints: 10382
168.82/169.35 c #Conflicts: 209000 | #Constraints: 11382
168.82/169.35 c #Conflicts: 210000 | #Constraints: 12382
168.82/169.35 c #Conflicts: 211000 | #Constraints: 13382
168.82/169.35 c #Conflicts: 212000 | #Constraints: 14382
168.82/169.35 c #Conflicts: 213000 | #Constraints: 15382
168.82/169.35 c #Conflicts: 214000 | #Constraints: 16382
168.82/169.35 c #Conflicts: 215000 | #Constraints: 17382
168.82/169.35 c #Conflicts: 216000 | #Constraints: 18382
168.82/169.35 c INPROCESSING
168.82/169.35 c GARBAGE COLLECT
168.82/169.35 c #Conflicts: 217000 | #Constraints: 10186
168.82/169.35 c #Conflicts: 218000 | #Constraints: 11186
168.82/169.35 c #Conflicts: 219000 | #Constraints: 12186
168.82/169.35 c #Conflicts: 220000 | #Constraints: 13186
168.82/169.35 c #Conflicts: 221000 | #Constraints: 14186
168.82/169.35 c #Conflicts: 222000 | #Constraints: 15186
168.82/169.35 c #Conflicts: 223000 | #Constraints: 16186
168.82/169.35 c #Conflicts: 224000 | #Constraints: 17186
168.82/169.35 c #Conflicts: 225000 | #Constraints: 18186
168.82/169.35 c #Conflicts: 226000 | #Constraints: 19186
168.82/169.35 c INPROCESSING
168.82/169.35 c GARBAGE COLLECT
168.82/169.35 c #Conflicts: 227000 | #Constraints: 10785
168.82/169.35 c #Conflicts: 228000 | #Constraints: 11785
168.82/169.35 c #Conflicts: 229000 | #Constraints: 12785
168.82/169.35 c #Conflicts: 230000 | #Constraints: 13785
168.82/169.35 c #Conflicts: 231000 | #Constraints: 14785
168.82/169.35 c #Conflicts: 232000 | #Constraints: 15785
168.82/169.35 c #Conflicts: 233000 | #Constraints: 16785
168.82/169.35 c #Conflicts: 234000 | #Constraints: 17785
168.82/169.35 c #Conflicts: 235000 | #Constraints: 18785
168.82/169.35 c #Conflicts: 236000 | #Constraints: 19785
168.82/169.35 c INPROCESSING
168.82/169.35 c GARBAGE COLLECT
168.82/169.35 c #Conflicts: 237000 | #Constraints: 11184
168.82/169.35 c #Conflicts: 238000 | #Constraints: 12184
168.82/169.35 c #Conflicts: 239000 | #Constraints: 13184
168.82/169.35 c GLOBAL bounds - >= 0 @ 167.468
172.11/172.60 c #Conflicts: 240000 | #Constraints: 14186
172.11/172.60 c #Conflicts: 241000 | #Constraints: 15186
172.11/172.60 c #Conflicts: 242000 | #Constraints: 16186
172.11/172.60 c GLOBAL bounds - >= 0 @ 170.681
219.68/220.30 c #Conflicts: 243000 | #Constraints: 17188
219.68/220.30 c #Conflicts: 244000 | #Constraints: 18188
219.68/220.30 c #Conflicts: 245000 | #Constraints: 19188
219.68/220.30 c #Conflicts: 246000 | #Constraints: 20188
219.68/220.30 c INPROCESSING
219.68/220.30 c GARBAGE COLLECT
219.68/220.30 c #Conflicts: 247000 | #Constraints: 11383
219.68/220.30 c #Conflicts: 248000 | #Constraints: 12383
219.68/220.30 c #Conflicts: 249000 | #Constraints: 13383
219.68/220.30 c #Conflicts: 250000 | #Constraints: 14383
219.68/220.30 c #Conflicts: 251000 | #Constraints: 15383
219.68/220.30 c #Conflicts: 252000 | #Constraints: 16383
219.68/220.30 c #Conflicts: 253000 | #Constraints: 17383
219.68/220.30 c #Conflicts: 254000 | #Constraints: 18383
219.68/220.30 c #Conflicts: 255000 | #Constraints: 19383
219.68/220.30 c #Conflicts: 256000 | #Constraints: 20383
219.68/220.30 c INPROCESSING
219.68/220.30 c GARBAGE COLLECT
219.68/220.30 c #Conflicts: 257000 | #Constraints: 11381
219.68/220.30 c #Conflicts: 258000 | #Constraints: 12381
219.68/220.30 c #Conflicts: 259000 | #Constraints: 13381
219.68/220.30 c #Conflicts: 260000 | #Constraints: 14381
219.68/220.30 c #Conflicts: 261000 | #Constraints: 15381
219.68/220.30 c #Conflicts: 262000 | #Constraints: 16381
219.68/220.30 c #Conflicts: 263000 | #Constraints: 17381
219.68/220.30 c #Conflicts: 264000 | #Constraints: 18381
219.68/220.30 c #Conflicts: 265000 | #Constraints: 19381
219.68/220.30 c #Conflicts: 266000 | #Constraints: 20381
219.68/220.30 c INPROCESSING
219.68/220.30 c GARBAGE COLLECT
219.68/220.30 c #Conflicts: 267000 | #Constraints: 11182
219.68/220.30 c #Conflicts: 268000 | #Constraints: 12182
219.68/220.30 c #Conflicts: 269000 | #Constraints: 13182
219.68/220.30 c #Conflicts: 270000 | #Constraints: 14182
219.68/220.30 c #Conflicts: 271000 | #Constraints: 15182
219.68/220.30 c #Conflicts: 272000 | #Constraints: 16182
219.68/220.30 c #Conflicts: 273000 | #Constraints: 17182
219.68/220.30 c #Conflicts: 274000 | #Constraints: 18182
219.68/220.30 c #Conflicts: 275000 | #Constraints: 19182
219.68/220.30 c #Conflicts: 276000 | #Constraints: 20182
219.68/220.30 c #Conflicts: 277000 | #Constraints: 21182
219.68/220.30 c INPROCESSING
219.68/220.30 c GARBAGE COLLECT
219.68/220.30 c #Conflicts: 278000 | #Constraints: 11778
219.68/220.30 c #Conflicts: 279000 | #Constraints: 12778
219.68/220.30 c GLOBAL bounds - >= 0 @ 217.976
327.05/328.10 c #Conflicts: 280000 | #Constraints: 13780
327.05/328.10 c #Conflicts: 281000 | #Constraints: 14780
327.05/328.10 c #Conflicts: 282000 | #Constraints: 15780
327.05/328.10 c #Conflicts: 283000 | #Constraints: 16780
327.05/328.10 c #Conflicts: 284000 | #Constraints: 17780
327.05/328.10 c #Conflicts: 285000 | #Constraints: 18780
327.05/328.10 c #Conflicts: 286000 | #Constraints: 19780
327.05/328.10 c #Conflicts: 287000 | #Constraints: 20780
327.05/328.10 c #Conflicts: 288000 | #Constraints: 21780
327.05/328.10 c INPROCESSING
327.05/328.10 c GARBAGE COLLECT
327.05/328.10 c #Conflicts: 289000 | #Constraints: 12187
327.05/328.10 c #Conflicts: 290000 | #Constraints: 13187
327.05/328.10 c #Conflicts: 291000 | #Constraints: 14187
327.05/328.10 c #Conflicts: 292000 | #Constraints: 15187
327.05/328.10 c #Conflicts: 293000 | #Constraints: 16187
327.05/328.10 c #Conflicts: 294000 | #Constraints: 17187
327.05/328.10 c #Conflicts: 295000 | #Constraints: 18187
327.05/328.10 c #Conflicts: 296000 | #Constraints: 19187
327.05/328.10 c #Conflicts: 297000 | #Constraints: 20187
327.05/328.10 c #Conflicts: 298000 | #Constraints: 21187
327.05/328.10 c #Conflicts: 299000 | #Constraints: 22187
327.05/328.10 c INPROCESSING
327.05/328.10 c GARBAGE COLLECT
327.05/328.10 c #Conflicts: 300000 | #Constraints: 12388
327.05/328.10 c #Conflicts: 301000 | #Constraints: 13388
327.05/328.10 c #Conflicts: 302000 | #Constraints: 14388
327.05/328.10 c #Conflicts: 303000 | #Constraints: 15388
327.05/328.10 c #Conflicts: 304000 | #Constraints: 16388
327.05/328.10 c #Conflicts: 305000 | #Constraints: 17388
327.05/328.10 c #Conflicts: 306000 | #Constraints: 18388
327.05/328.10 c #Conflicts: 307000 | #Constraints: 19388
327.05/328.10 c #Conflicts: 308000 | #Constraints: 20388
327.05/328.10 c #Conflicts: 309000 | #Constraints: 21388
327.05/328.10 c #Conflicts: 310000 | #Constraints: 22388
327.05/328.10 c INPROCESSING
327.05/328.10 c GARBAGE COLLECT
327.05/328.10 c #Conflicts: 311000 | #Constraints: 12380
327.05/328.10 c #Conflicts: 312000 | #Constraints: 13380
327.05/328.10 c #Conflicts: 313000 | #Constraints: 14380
327.05/328.10 c #Conflicts: 314000 | #Constraints: 15380
327.05/328.10 c #Conflicts: 315000 | #Constraints: 16380
327.05/328.10 c #Conflicts: 316000 | #Constraints: 17380
327.05/328.10 c #Conflicts: 317000 | #Constraints: 18380
327.05/328.10 c #Conflicts: 318000 | #Constraints: 19380
327.05/328.10 c #Conflicts: 319000 | #Constraints: 20380
327.05/328.10 c #Conflicts: 320000 | #Constraints: 21380
327.05/328.10 c #Conflicts: 321000 | #Constraints: 22380
327.05/328.10 c INPROCESSING
327.05/328.10 c GARBAGE COLLECT
327.05/328.10 c #Conflicts: 322000 | #Constraints: 12181
327.05/328.10 c #Conflicts: 323000 | #Constraints: 13181
327.05/328.10 c #Conflicts: 324000 | #Constraints: 14181
327.05/328.10 c #Conflicts: 325000 | #Constraints: 15181
327.05/328.10 c #Conflicts: 326000 | #Constraints: 16181
327.05/328.10 c #Conflicts: 327000 | #Constraints: 17181
327.05/328.10 c #Conflicts: 328000 | #Constraints: 18181
327.05/328.10 c #Conflicts: 329000 | #Constraints: 19181
327.05/328.10 c #Conflicts: 330000 | #Constraints: 20181
327.05/328.10 c #Conflicts: 331000 | #Constraints: 21181
327.05/328.10 c #Conflicts: 332000 | #Constraints: 22181
327.05/328.10 c #Conflicts: 333000 | #Constraints: 23181
327.05/328.10 c INPROCESSING
327.05/328.10 c GARBAGE COLLECT
327.05/328.10 c #Conflicts: 334000 | #Constraints: 12789
327.05/328.10 c #Conflicts: 335000 | #Constraints: 13789
327.05/328.10 c #Conflicts: 336000 | #Constraints: 14789
327.05/328.10 c #Conflicts: 337000 | #Constraints: 15789
327.05/328.10 c #Conflicts: 338000 | #Constraints: 16789
327.05/328.10 c #Conflicts: 339000 | #Constraints: 17789
327.05/328.10 c #Conflicts: 340000 | #Constraints: 18789
327.05/328.10 c #Conflicts: 341000 | #Constraints: 19789
327.05/328.10 c #Conflicts: 342000 | #Constraints: 20789
327.05/328.10 c #Conflicts: 343000 | #Constraints: 21789
327.05/328.10 c #Conflicts: 344000 | #Constraints: 22789
327.05/328.10 c #Conflicts: 345000 | #Constraints: 23789
327.05/328.10 c INPROCESSING
327.05/328.10 c GARBAGE COLLECT
327.05/328.10 c #Conflicts: 346000 | #Constraints: 13187
327.05/328.10 c #Conflicts: 347000 | #Constraints: 14187
327.05/328.10 c #Conflicts: 348000 | #Constraints: 15187
327.05/328.10 c #Conflicts: 349000 | #Constraints: 16187
327.05/328.10 c #Conflicts: 350000 | #Constraints: 17187
327.05/328.10 c #Conflicts: 351000 | #Constraints: 18187
327.05/328.10 c #Conflicts: 352000 | #Constraints: 19187
327.05/328.10 c #Conflicts: 353000 | #Constraints: 20187
327.05/328.10 c #Conflicts: 354000 | #Constraints: 21187
447.29/448.68 c #Conflicts: 355000 | #Constraints: 22187
447.29/448.68 c #Conflicts: 356000 | #Constraints: 23187
447.29/448.68 c #Conflicts: 357000 | #Constraints: 24187
447.29/448.68 c INPROCESSING
447.29/448.68 c GARBAGE COLLECT
447.29/448.68 c #Conflicts: 358000 | #Constraints: 13388
447.29/448.68 c #Conflicts: 359000 | #Constraints: 14388
447.29/448.68 c #Conflicts: 360000 | #Constraints: 15388
447.29/448.68 c #Conflicts: 361000 | #Constraints: 16388
447.29/448.68 c #Conflicts: 362000 | #Constraints: 17388
447.29/448.68 c #Conflicts: 363000 | #Constraints: 18388
447.29/448.68 c #Conflicts: 364000 | #Constraints: 19388
447.29/448.68 c #Conflicts: 365000 | #Constraints: 20388
447.29/448.68 c #Conflicts: 366000 | #Constraints: 21388
447.29/448.68 c #Conflicts: 367000 | #Constraints: 22388
447.29/448.68 c #Conflicts: 368000 | #Constraints: 23388
447.29/448.68 c #Conflicts: 369000 | #Constraints: 24388
447.29/448.68 c INPROCESSING
447.29/448.68 c GARBAGE COLLECT
447.29/448.68 c #Conflicts: 370000 | #Constraints: 13392
447.29/448.68 c #Conflicts: 371000 | #Constraints: 14392
447.29/448.68 c #Conflicts: 372000 | #Constraints: 15392
447.29/448.68 c #Conflicts: 373000 | #Constraints: 16392
447.29/448.68 c #Conflicts: 374000 | #Constraints: 17392
447.29/448.68 c #Conflicts: 375000 | #Constraints: 18392
447.29/448.68 c #Conflicts: 376000 | #Constraints: 19392
447.29/448.68 c #Conflicts: 377000 | #Constraints: 20392
447.29/448.68 c #Conflicts: 378000 | #Constraints: 21392
447.29/448.68 c #Conflicts: 379000 | #Constraints: 22392
447.29/448.68 c #Conflicts: 380000 | #Constraints: 23392
447.29/448.68 c #Conflicts: 381000 | #Constraints: 24392
447.29/448.68 c INPROCESSING
447.29/448.68 c GARBAGE COLLECT
447.29/448.68 c #Conflicts: 382000 | #Constraints: 13189
447.29/448.68 c #Conflicts: 383000 | #Constraints: 14189
447.29/448.68 c #Conflicts: 384000 | #Constraints: 15189
447.29/448.68 c #Conflicts: 385000 | #Constraints: 16189
447.29/448.68 c #Conflicts: 386000 | #Constraints: 17189
447.29/448.68 c #Conflicts: 387000 | #Constraints: 18189
447.29/448.68 c #Conflicts: 388000 | #Constraints: 19189
447.29/448.68 c #Conflicts: 389000 | #Constraints: 20189
447.29/448.68 c #Conflicts: 390000 | #Constraints: 21189
447.29/448.68 c #Conflicts: 391000 | #Constraints: 22189
447.29/448.68 c #Conflicts: 392000 | #Constraints: 23189
447.29/448.68 c #Conflicts: 393000 | #Constraints: 24189
447.29/448.68 c #Conflicts: 394000 | #Constraints: 25189
447.29/448.68 c INPROCESSING
447.29/448.68 c GARBAGE COLLECT
447.29/448.68 c #Conflicts: 395000 | #Constraints: 13789
447.29/448.68 c #Conflicts: 396000 | #Constraints: 14789
447.29/448.68 c #Conflicts: 397000 | #Constraints: 15789
447.29/448.68 c #Conflicts: 398000 | #Constraints: 16789
447.29/448.68 c #Conflicts: 399000 | #Constraints: 17789
447.29/448.68 c #Conflicts: 400000 | #Constraints: 18789
447.29/448.68 c #Conflicts: 401000 | #Constraints: 19789
447.29/448.68 c #Conflicts: 402000 | #Constraints: 20789
447.29/448.68 c #Conflicts: 403000 | #Constraints: 21789
447.29/448.68 c #Conflicts: 404000 | #Constraints: 22789
447.29/448.68 c #Conflicts: 405000 | #Constraints: 23789
447.29/448.68 c #Conflicts: 406000 | #Constraints: 24789
447.29/448.68 c #Conflicts: 407000 | #Constraints: 25789
447.29/448.68 c INPROCESSING
447.29/448.68 c GARBAGE COLLECT
447.29/448.68 c #Conflicts: 408000 | #Constraints: 14188
447.29/448.68 c #Conflicts: 409000 | #Constraints: 15188
447.29/448.68 c #Conflicts: 410000 | #Constraints: 16188
447.29/448.68 c #Conflicts: 411000 | #Constraints: 17188
447.29/448.68 c #Conflicts: 412000 | #Constraints: 18188
447.29/448.68 c #Conflicts: 413000 | #Constraints: 19188
447.29/448.68 c #Conflicts: 414000 | #Constraints: 20188
447.29/448.68 c #Conflicts: 415000 | #Constraints: 21188
447.29/448.68 c #Conflicts: 416000 | #Constraints: 22188
447.29/448.68 c #Conflicts: 417000 | #Constraints: 23188
447.29/448.68 c #Conflicts: 418000 | #Constraints: 24188
447.29/448.68 c #Conflicts: 419000 | #Constraints: 25188
447.29/448.68 c #Conflicts: 420000 | #Constraints: 26188
447.29/448.68 c INPROCESSING
447.29/448.68 c GARBAGE COLLECT
447.29/448.68 c #Conflicts: 421000 | #Constraints: 14390
447.29/448.68 c #Conflicts: 422000 | #Constraints: 15390
447.29/448.68 c #Conflicts: 423000 | #Constraints: 16390
447.29/448.68 c #Conflicts: 424000 | #Constraints: 17390
447.29/448.68 c #Conflicts: 425000 | #Constraints: 18390
447.29/448.68 c #Conflicts: 426000 | #Constraints: 19390
447.29/448.68 c #Conflicts: 427000 | #Constraints: 20390
447.29/448.68 c #Conflicts: 428000 | #Constraints: 21390
447.29/448.68 c #Conflicts: 429000 | #Constraints: 22390
559.05/560.71 c #Conflicts: 430000 | #Constraints: 23390
559.05/560.71 c #Conflicts: 431000 | #Constraints: 24390
559.05/560.71 c #Conflicts: 432000 | #Constraints: 25390
559.05/560.71 c #Conflicts: 433000 | #Constraints: 26390
559.05/560.71 c INPROCESSING
559.05/560.71 c GARBAGE COLLECT
559.05/560.71 c #Conflicts: 434000 | #Constraints: 14384
559.05/560.71 c #Conflicts: 435000 | #Constraints: 15384
559.05/560.71 c #Conflicts: 436000 | #Constraints: 16384
559.05/560.71 c #Conflicts: 437000 | #Constraints: 17384
559.05/560.71 c #Conflicts: 438000 | #Constraints: 18384
559.05/560.71 c #Conflicts: 439000 | #Constraints: 19384
559.05/560.71 c #Conflicts: 440000 | #Constraints: 20384
559.05/560.71 c #Conflicts: 441000 | #Constraints: 21384
559.05/560.71 c #Conflicts: 442000 | #Constraints: 22384
559.05/560.71 c #Conflicts: 443000 | #Constraints: 23384
559.05/560.71 c #Conflicts: 444000 | #Constraints: 24384
559.05/560.71 c #Conflicts: 445000 | #Constraints: 25384
559.05/560.71 c #Conflicts: 446000 | #Constraints: 26384
559.05/560.71 c INPROCESSING
559.05/560.71 c GARBAGE COLLECT
559.05/560.71 c #Conflicts: 447000 | #Constraints: 14192
559.05/560.71 c #Conflicts: 448000 | #Constraints: 15192
559.05/560.71 c #Conflicts: 449000 | #Constraints: 16192
559.05/560.71 c #Conflicts: 450000 | #Constraints: 17192
559.05/560.71 c #Conflicts: 451000 | #Constraints: 18192
559.05/560.71 c #Conflicts: 452000 | #Constraints: 19192
559.05/560.71 c #Conflicts: 453000 | #Constraints: 20192
559.05/560.71 c #Conflicts: 454000 | #Constraints: 21192
559.05/560.71 c #Conflicts: 455000 | #Constraints: 22192
559.05/560.71 c #Conflicts: 456000 | #Constraints: 23192
559.05/560.71 c #Conflicts: 457000 | #Constraints: 24192
559.05/560.71 c #Conflicts: 458000 | #Constraints: 25192
559.05/560.71 c #Conflicts: 459000 | #Constraints: 26192
559.05/560.71 c #Conflicts: 460000 | #Constraints: 27192
559.05/560.71 c INPROCESSING
559.05/560.71 c GARBAGE COLLECT
559.05/560.71 c #Conflicts: 461000 | #Constraints: 14792
559.05/560.71 c #Conflicts: 462000 | #Constraints: 15792
559.05/560.71 c #Conflicts: 463000 | #Constraints: 16792
559.05/560.71 c #Conflicts: 464000 | #Constraints: 17792
559.05/560.71 c #Conflicts: 465000 | #Constraints: 18792
559.05/560.71 c #Conflicts: 466000 | #Constraints: 19792
559.05/560.71 c #Conflicts: 467000 | #Constraints: 20792
559.05/560.71 c #Conflicts: 468000 | #Constraints: 21792
559.05/560.71 c #Conflicts: 469000 | #Constraints: 22792
559.05/560.71 c #Conflicts: 470000 | #Constraints: 23792
559.05/560.71 c #Conflicts: 471000 | #Constraints: 24792
559.05/560.71 c #Conflicts: 472000 | #Constraints: 25792
559.05/560.71 c #Conflicts: 473000 | #Constraints: 26792
559.05/560.71 c #Conflicts: 474000 | #Constraints: 27792
559.05/560.71 c INPROCESSING
559.05/560.71 c GARBAGE COLLECT
559.05/560.71 c #Conflicts: 475000 | #Constraints: 15198
559.05/560.71 c #Conflicts: 476000 | #Constraints: 16198
559.05/560.71 c #Conflicts: 477000 | #Constraints: 17198
559.05/560.71 c #Conflicts: 478000 | #Constraints: 18198
559.05/560.71 c #Conflicts: 479000 | #Constraints: 19198
559.05/560.71 c #Conflicts: 480000 | #Constraints: 20198
559.05/560.71 c #Conflicts: 481000 | #Constraints: 21198
559.05/560.71 c #Conflicts: 482000 | #Constraints: 22198
559.05/560.71 c #Conflicts: 483000 | #Constraints: 23198
559.05/560.71 c #Conflicts: 484000 | #Constraints: 24198
559.05/560.71 c #Conflicts: 485000 | #Constraints: 25198
559.05/560.71 c #Conflicts: 486000 | #Constraints: 26198
559.05/560.71 c #Conflicts: 487000 | #Constraints: 27198
559.05/560.71 c #Conflicts: 488000 | #Constraints: 28198
559.05/560.71 c INPROCESSING
559.05/560.71 c GARBAGE COLLECT
559.05/560.71 c #Conflicts: 489000 | #Constraints: 15397
559.05/560.71 c #Conflicts: 490000 | #Constraints: 16397
559.05/560.71 c #Conflicts: 491000 | #Constraints: 17397
559.05/560.71 c #Conflicts: 492000 | #Constraints: 18397
559.05/560.71 c #Conflicts: 493000 | #Constraints: 19397
559.05/560.71 c #Conflicts: 494000 | #Constraints: 20397
559.05/560.71 c #Conflicts: 495000 | #Constraints: 21397
559.05/560.71 c #Conflicts: 496000 | #Constraints: 22397
559.05/560.71 c #Conflicts: 497000 | #Constraints: 23397
559.05/560.71 c #Conflicts: 498000 | #Constraints: 24397
559.05/560.71 c #Conflicts: 499000 | #Constraints: 25397
559.05/560.71 c #Conflicts: 500000 | #Constraints: 26397
559.05/560.71 c #Conflicts: 501000 | #Constraints: 27397
559.05/560.71 c #Conflicts: 502000 | #Constraints: 28397
559.05/560.71 c INPROCESSING
559.05/560.71 c GARBAGE COLLECT
559.05/560.71 c #Conflicts: 503000 | #Constraints: 15396
559.05/560.71 c #Conflicts: 504000 | #Constraints: 16396
652.02/653.93 c #Conflicts: 505000 | #Constraints: 17396
652.02/653.93 c #Conflicts: 506000 | #Constraints: 18396
652.02/653.93 c #Conflicts: 507000 | #Constraints: 19396
652.02/653.93 c #Conflicts: 508000 | #Constraints: 20396
652.02/653.93 c #Conflicts: 509000 | #Constraints: 21396
652.02/653.93 c #Conflicts: 510000 | #Constraints: 22396
652.02/653.93 c #Conflicts: 511000 | #Constraints: 23396
652.02/653.93 c #Conflicts: 512000 | #Constraints: 24396
652.02/653.93 c #Conflicts: 513000 | #Constraints: 25396
652.02/653.93 c #Conflicts: 514000 | #Constraints: 26396
652.02/653.93 c #Conflicts: 515000 | #Constraints: 27396
652.02/653.93 c #Conflicts: 516000 | #Constraints: 28396
652.02/653.93 c INPROCESSING
652.02/653.93 c GARBAGE COLLECT
652.02/653.93 c #Conflicts: 517000 | #Constraints: 15202
652.02/653.93 c #Conflicts: 518000 | #Constraints: 16202
652.02/653.93 c #Conflicts: 519000 | #Constraints: 17202
652.02/653.93 c #Conflicts: 520000 | #Constraints: 18202
652.02/653.93 c #Conflicts: 521000 | #Constraints: 19202
652.02/653.93 c #Conflicts: 522000 | #Constraints: 20202
652.02/653.93 c #Conflicts: 523000 | #Constraints: 21202
652.02/653.93 c #Conflicts: 524000 | #Constraints: 22202
652.02/653.93 c #Conflicts: 525000 | #Constraints: 23202
652.02/653.93 c #Conflicts: 526000 | #Constraints: 24202
652.02/653.93 c #Conflicts: 527000 | #Constraints: 25202
652.02/653.93 c #Conflicts: 528000 | #Constraints: 26202
652.02/653.93 c #Conflicts: 529000 | #Constraints: 27202
652.02/653.93 c #Conflicts: 530000 | #Constraints: 28202
652.02/653.93 c #Conflicts: 531000 | #Constraints: 29202
652.02/653.93 c INPROCESSING
652.02/653.93 c GARBAGE COLLECT
652.02/653.93 c #Conflicts: 532000 | #Constraints: 15798
652.02/653.93 c #Conflicts: 533000 | #Constraints: 16798
652.02/653.93 c #Conflicts: 534000 | #Constraints: 17798
652.02/653.93 c #Conflicts: 535000 | #Constraints: 18798
652.02/653.93 c #Conflicts: 536000 | #Constraints: 19798
652.02/653.93 c #Conflicts: 537000 | #Constraints: 20798
652.02/653.93 c #Conflicts: 538000 | #Constraints: 21798
652.02/653.93 c #Conflicts: 539000 | #Constraints: 22798
652.02/653.93 c #Conflicts: 540000 | #Constraints: 23798
652.02/653.93 c #Conflicts: 541000 | #Constraints: 24798
652.02/653.93 c #Conflicts: 542000 | #Constraints: 25798
652.02/653.93 c #Conflicts: 543000 | #Constraints: 26798
652.02/653.93 c #Conflicts: 544000 | #Constraints: 27798
652.02/653.93 c #Conflicts: 545000 | #Constraints: 28798
652.02/653.93 c #Conflicts: 546000 | #Constraints: 29798
652.02/653.93 c INPROCESSING
652.02/653.93 c GARBAGE COLLECT
652.02/653.93 c #Conflicts: 547000 | #Constraints: 16197
652.02/653.93 c #Conflicts: 548000 | #Constraints: 17197
652.02/653.93 c #Conflicts: 549000 | #Constraints: 18197
652.02/653.93 c #Conflicts: 550000 | #Constraints: 19197
652.02/653.93 c #Conflicts: 551000 | #Constraints: 20197
652.02/653.93 c #Conflicts: 552000 | #Constraints: 21197
652.02/653.93 c #Conflicts: 553000 | #Constraints: 22197
652.02/653.93 c #Conflicts: 554000 | #Constraints: 23197
652.02/653.93 c #Conflicts: 555000 | #Constraints: 24197
652.02/653.93 c #Conflicts: 556000 | #Constraints: 25197
652.02/653.93 c #Conflicts: 557000 | #Constraints: 26197
652.02/653.93 c #Conflicts: 558000 | #Constraints: 27197
652.02/653.93 c #Conflicts: 559000 | #Constraints: 28197
652.02/653.93 c #Conflicts: 560000 | #Constraints: 29197
652.02/653.93 c #Conflicts: 561000 | #Constraints: 30197
652.02/653.93 c INPROCESSING
652.02/653.93 c GARBAGE COLLECT
652.02/653.93 c #Conflicts: 562000 | #Constraints: 16397
652.02/653.93 c #Conflicts: 563000 | #Constraints: 17397
652.02/653.93 c #Conflicts: 564000 | #Constraints: 18397
652.02/653.93 c #Conflicts: 565000 | #Constraints: 19397
652.02/653.93 c #Conflicts: 566000 | #Constraints: 20397
652.02/653.93 c #Conflicts: 567000 | #Constraints: 21397
652.02/653.93 c GLOBAL bounds - >= 0 @ 648.682
791.54/793.83 c #Conflicts: 568000 | #Constraints: 22399
791.54/793.83 c #Conflicts: 569000 | #Constraints: 23399
791.54/793.83 c #Conflicts: 570000 | #Constraints: 24399
791.54/793.83 c #Conflicts: 571000 | #Constraints: 25399
791.54/793.83 c #Conflicts: 572000 | #Constraints: 26399
791.54/793.83 c #Conflicts: 573000 | #Constraints: 27399
791.54/793.83 c #Conflicts: 574000 | #Constraints: 28399
791.54/793.83 c #Conflicts: 575000 | #Constraints: 29399
791.54/793.83 c #Conflicts: 576000 | #Constraints: 30399
791.54/793.83 c INPROCESSING
791.54/793.83 c GARBAGE COLLECT
791.54/793.83 c #Conflicts: 577000 | #Constraints: 16400
791.54/793.83 c #Conflicts: 578000 | #Constraints: 17400
791.54/793.83 c #Conflicts: 579000 | #Constraints: 18400
791.54/793.83 c #Conflicts: 580000 | #Constraints: 19400
791.54/793.83 c #Conflicts: 581000 | #Constraints: 20400
791.54/793.83 c #Conflicts: 582000 | #Constraints: 21400
791.54/793.83 c #Conflicts: 583000 | #Constraints: 22400
791.54/793.83 c #Conflicts: 584000 | #Constraints: 23400
791.54/793.83 c #Conflicts: 585000 | #Constraints: 24400
791.54/793.83 c #Conflicts: 586000 | #Constraints: 25400
791.54/793.83 c #Conflicts: 587000 | #Constraints: 26400
791.54/793.83 c #Conflicts: 588000 | #Constraints: 27400
791.54/793.83 c #Conflicts: 589000 | #Constraints: 28400
791.54/793.83 c #Conflicts: 590000 | #Constraints: 29400
791.54/793.83 c #Conflicts: 591000 | #Constraints: 30400
791.54/793.83 c INPROCESSING
791.54/793.83 c GARBAGE COLLECT
791.54/793.83 c #Conflicts: 592000 | #Constraints: 16202
791.54/793.83 c #Conflicts: 593000 | #Constraints: 17202
791.54/793.83 c #Conflicts: 594000 | #Constraints: 18202
791.54/793.83 c #Conflicts: 595000 | #Constraints: 19202
791.54/793.83 c #Conflicts: 596000 | #Constraints: 20202
791.54/793.83 c #Conflicts: 597000 | #Constraints: 21202
791.54/793.83 c #Conflicts: 598000 | #Constraints: 22202
791.54/793.83 c #Conflicts: 599000 | #Constraints: 23202
791.54/793.83 c #Conflicts: 600000 | #Constraints: 24202
791.54/793.83 c #Conflicts: 601000 | #Constraints: 25202
791.54/793.83 c #Conflicts: 602000 | #Constraints: 26202
791.54/793.83 c #Conflicts: 603000 | #Constraints: 27202
791.54/793.83 c #Conflicts: 604000 | #Constraints: 28202
791.54/793.83 c #Conflicts: 605000 | #Constraints: 29202
791.54/793.83 c #Conflicts: 606000 | #Constraints: 30202
791.54/793.83 c #Conflicts: 607000 | #Constraints: 31202
791.54/793.83 c INPROCESSING
791.54/793.83 c GARBAGE COLLECT
791.54/793.83 c #Conflicts: 608000 | #Constraints: 16799
791.54/793.83 c #Conflicts: 609000 | #Constraints: 17799
791.54/793.83 c #Conflicts: 610000 | #Constraints: 18799
791.54/793.83 c #Conflicts: 611000 | #Constraints: 19799
791.54/793.83 c #Conflicts: 612000 | #Constraints: 20799
791.54/793.83 c #Conflicts: 613000 | #Constraints: 21799
791.54/793.83 c #Conflicts: 614000 | #Constraints: 22799
791.54/793.83 c #Conflicts: 615000 | #Constraints: 23799
791.54/793.83 c #Conflicts: 616000 | #Constraints: 24799
791.54/793.83 c #Conflicts: 617000 | #Constraints: 25799
791.54/793.83 c #Conflicts: 618000 | #Constraints: 26799
791.54/793.83 c #Conflicts: 619000 | #Constraints: 27799
791.54/793.83 c #Conflicts: 620000 | #Constraints: 28799
791.54/793.83 c #Conflicts: 621000 | #Constraints: 29799
791.54/793.83 c #Conflicts: 622000 | #Constraints: 30799
791.54/793.83 c #Conflicts: 623000 | #Constraints: 31799
791.54/793.83 c INPROCESSING
791.54/793.83 c GARBAGE COLLECT
791.54/793.83 c #Conflicts: 624000 | #Constraints: 17206
791.54/793.83 c #Conflicts: 625000 | #Constraints: 18206
791.54/793.83 c #Conflicts: 626000 | #Constraints: 19206
791.54/793.83 c #Conflicts: 627000 | #Constraints: 20206
791.54/793.83 c #Conflicts: 628000 | #Constraints: 21206
791.54/793.83 c #Conflicts: 629000 | #Constraints: 22206
791.54/793.83 c #Conflicts: 630000 | #Constraints: 23206
791.54/793.83 c #Conflicts: 631000 | #Constraints: 24206
791.54/793.83 c #Conflicts: 632000 | #Constraints: 25206
791.54/793.83 c #Conflicts: 633000 | #Constraints: 26206
791.54/793.83 c #Conflicts: 634000 | #Constraints: 27206
791.54/793.83 c #Conflicts: 635000 | #Constraints: 28206
791.54/793.83 c #Conflicts: 636000 | #Constraints: 29206
791.54/793.83 c #Conflicts: 637000 | #Constraints: 30206
791.54/793.83 c #Conflicts: 638000 | #Constraints: 31206
791.54/793.83 c #Conflicts: 639000 | #Constraints: 32206
791.54/793.83 c INPROCESSING
791.54/793.83 c GARBAGE COLLECT
791.54/793.83 c #Conflicts: 640000 | #Constraints: 17404
791.54/793.83 c #Conflicts: 641000 | #Constraints: 18404
791.54/793.83 c #Conflicts: 642000 | #Constraints: 19404
791.54/793.83 c #Conflicts: 643000 | #Constraints: 20404
961.75/964.58 c #Conflicts: 644000 | #Constraints: 21404
961.75/964.58 c #Conflicts: 645000 | #Constraints: 22404
961.75/964.58 c #Conflicts: 646000 | #Constraints: 23404
961.75/964.58 c #Conflicts: 647000 | #Constraints: 24404
961.75/964.58 c #Conflicts: 648000 | #Constraints: 25404
961.75/964.58 c #Conflicts: 649000 | #Constraints: 26404
961.75/964.58 c #Conflicts: 650000 | #Constraints: 27404
961.75/964.58 c #Conflicts: 651000 | #Constraints: 28404
961.75/964.58 c #Conflicts: 652000 | #Constraints: 29404
961.75/964.58 c #Conflicts: 653000 | #Constraints: 30404
961.75/964.58 c #Conflicts: 654000 | #Constraints: 31404
961.75/964.58 c #Conflicts: 655000 | #Constraints: 32404
961.75/964.58 c INPROCESSING
961.75/964.58 c GARBAGE COLLECT
961.75/964.58 c #Conflicts: 656000 | #Constraints: 17402
961.75/964.58 c #Conflicts: 657000 | #Constraints: 18402
961.75/964.58 c #Conflicts: 658000 | #Constraints: 19402
961.75/964.58 c #Conflicts: 659000 | #Constraints: 20402
961.75/964.58 c #Conflicts: 660000 | #Constraints: 21402
961.75/964.58 c #Conflicts: 661000 | #Constraints: 22402
961.75/964.58 c #Conflicts: 662000 | #Constraints: 23402
961.75/964.58 c #Conflicts: 663000 | #Constraints: 24402
961.75/964.58 c #Conflicts: 664000 | #Constraints: 25402
961.75/964.58 c #Conflicts: 665000 | #Constraints: 26402
961.75/964.58 c #Conflicts: 666000 | #Constraints: 27402
961.75/964.58 c #Conflicts: 667000 | #Constraints: 28402
961.75/964.58 c #Conflicts: 668000 | #Constraints: 29402
961.75/964.58 c #Conflicts: 669000 | #Constraints: 30402
961.75/964.58 c #Conflicts: 670000 | #Constraints: 31402
961.75/964.58 c #Conflicts: 671000 | #Constraints: 32402
961.75/964.58 c INPROCESSING
961.75/964.58 c GARBAGE COLLECT
961.75/964.58 c #Conflicts: 672000 | #Constraints: 17200
961.75/964.58 c #Conflicts: 673000 | #Constraints: 18200
961.75/964.58 c #Conflicts: 674000 | #Constraints: 19200
961.75/964.58 c #Conflicts: 675000 | #Constraints: 20200
961.75/964.58 c #Conflicts: 676000 | #Constraints: 21200
961.75/964.58 c #Conflicts: 677000 | #Constraints: 22200
961.75/964.58 c #Conflicts: 678000 | #Constraints: 23200
961.75/964.58 c #Conflicts: 679000 | #Constraints: 24200
961.75/964.58 c #Conflicts: 680000 | #Constraints: 25200
961.75/964.58 c #Conflicts: 681000 | #Constraints: 26200
961.75/964.58 c #Conflicts: 682000 | #Constraints: 27200
961.75/964.58 c #Conflicts: 683000 | #Constraints: 28200
961.75/964.58 c #Conflicts: 684000 | #Constraints: 29200
961.75/964.58 c #Conflicts: 685000 | #Constraints: 30200
961.75/964.58 c #Conflicts: 686000 | #Constraints: 31200
961.75/964.58 c #Conflicts: 687000 | #Constraints: 32200
961.75/964.58 c #Conflicts: 688000 | #Constraints: 33200
961.75/964.58 c INPROCESSING
961.75/964.58 c GARBAGE COLLECT
961.75/964.58 c #Conflicts: 689000 | #Constraints: 17802
961.75/964.58 c #Conflicts: 690000 | #Constraints: 18802
961.75/964.58 c #Conflicts: 691000 | #Constraints: 19802
961.75/964.58 c #Conflicts: 692000 | #Constraints: 20802
961.75/964.58 c #Conflicts: 693000 | #Constraints: 21802
961.75/964.58 c #Conflicts: 694000 | #Constraints: 22802
961.75/964.58 c #Conflicts: 695000 | #Constraints: 23802
961.75/964.58 c #Conflicts: 696000 | #Constraints: 24802
961.75/964.58 c #Conflicts: 697000 | #Constraints: 25802
961.75/964.58 c #Conflicts: 698000 | #Constraints: 26802
961.75/964.58 c #Conflicts: 699000 | #Constraints: 27802
961.75/964.58 c #Conflicts: 700000 | #Constraints: 28802
961.75/964.58 c #Conflicts: 701000 | #Constraints: 29802
961.75/964.58 c #Conflicts: 702000 | #Constraints: 30802
961.75/964.58 c #Conflicts: 703000 | #Constraints: 31802
961.75/964.58 c #Conflicts: 704000 | #Constraints: 32802
961.75/964.58 c #Conflicts: 705000 | #Constraints: 33802
961.75/964.58 c INPROCESSING
961.75/964.58 c GARBAGE COLLECT
961.75/964.58 c #Conflicts: 706000 | #Constraints: 18201
961.75/964.58 c #Conflicts: 707000 | #Constraints: 19201
961.75/964.58 c #Conflicts: 708000 | #Constraints: 20201
961.75/964.58 c #Conflicts: 709000 | #Constraints: 21201
961.75/964.58 c #Conflicts: 710000 | #Constraints: 22201
961.75/964.58 c #Conflicts: 711000 | #Constraints: 23201
961.75/964.58 c #Conflicts: 712000 | #Constraints: 24201
961.75/964.58 c #Conflicts: 713000 | #Constraints: 25201
961.75/964.58 c #Conflicts: 714000 | #Constraints: 26201
961.75/964.58 c #Conflicts: 715000 | #Constraints: 27201
961.75/964.58 c #Conflicts: 716000 | #Constraints: 28201
961.75/964.58 c #Conflicts: 717000 | #Constraints: 29201
961.75/964.58 c #Conflicts: 718000 | #Constraints: 30201
961.75/964.58 c #Conflicts: 719000 | #Constraints: 31201
1161.37/1164.71 c #Conflicts: 720000 | #Constraints: 32201
1161.37/1164.71 c #Conflicts: 721000 | #Constraints: 33201
1161.37/1164.71 c #Conflicts: 722000 | #Constraints: 34201
1161.37/1164.71 c INPROCESSING
1161.37/1164.71 c GARBAGE COLLECT
1161.37/1164.71 c #Conflicts: 723000 | #Constraints: 18400
1161.37/1164.71 c #Conflicts: 724000 | #Constraints: 19400
1161.37/1164.71 c #Conflicts: 725000 | #Constraints: 20400
1161.37/1164.71 c #Conflicts: 726000 | #Constraints: 21400
1161.37/1164.71 c #Conflicts: 727000 | #Constraints: 22400
1161.37/1164.71 c #Conflicts: 728000 | #Constraints: 23400
1161.37/1164.71 c #Conflicts: 729000 | #Constraints: 24400
1161.37/1164.71 c #Conflicts: 730000 | #Constraints: 25400
1161.37/1164.71 c #Conflicts: 731000 | #Constraints: 26400
1161.37/1164.71 c #Conflicts: 732000 | #Constraints: 27400
1161.37/1164.71 c #Conflicts: 733000 | #Constraints: 28400
1161.37/1164.71 c #Conflicts: 734000 | #Constraints: 29400
1161.37/1164.71 c #Conflicts: 735000 | #Constraints: 30400
1161.37/1164.71 c #Conflicts: 736000 | #Constraints: 31400
1161.37/1164.71 c #Conflicts: 737000 | #Constraints: 32400
1161.37/1164.71 c #Conflicts: 738000 | #Constraints: 33400
1161.37/1164.71 c #Conflicts: 739000 | #Constraints: 34400
1161.37/1164.71 c INPROCESSING
1161.37/1164.71 c GARBAGE COLLECT
1161.37/1164.71 c #Conflicts: 740000 | #Constraints: 18400
1161.37/1164.71 c #Conflicts: 741000 | #Constraints: 19400
1161.37/1164.71 c #Conflicts: 742000 | #Constraints: 20400
1161.37/1164.71 c #Conflicts: 743000 | #Constraints: 21400
1161.37/1164.71 c #Conflicts: 744000 | #Constraints: 22400
1161.37/1164.71 c #Conflicts: 745000 | #Constraints: 23400
1161.37/1164.71 c #Conflicts: 746000 | #Constraints: 24400
1161.37/1164.71 c #Conflicts: 747000 | #Constraints: 25400
1161.37/1164.71 c #Conflicts: 748000 | #Constraints: 26400
1161.37/1164.71 c #Conflicts: 749000 | #Constraints: 27400
1161.37/1164.71 c #Conflicts: 750000 | #Constraints: 28400
1161.37/1164.71 c #Conflicts: 751000 | #Constraints: 29400
1161.37/1164.71 c #Conflicts: 752000 | #Constraints: 30400
1161.37/1164.71 c #Conflicts: 753000 | #Constraints: 31400
1161.37/1164.71 c #Conflicts: 754000 | #Constraints: 32400
1161.37/1164.71 c #Conflicts: 755000 | #Constraints: 33400
1161.37/1164.71 c #Conflicts: 756000 | #Constraints: 34400
1161.37/1164.71 c INPROCESSING
1161.37/1164.71 c GARBAGE COLLECT
1161.37/1164.71 c #Conflicts: 757000 | #Constraints: 18191
1161.37/1164.71 c #Conflicts: 758000 | #Constraints: 19191
1161.37/1164.71 c #Conflicts: 759000 | #Constraints: 20191
1161.37/1164.71 c #Conflicts: 760000 | #Constraints: 21191
1161.37/1164.71 c #Conflicts: 761000 | #Constraints: 22191
1161.37/1164.71 c #Conflicts: 762000 | #Constraints: 23191
1161.37/1164.71 c #Conflicts: 763000 | #Constraints: 24191
1161.37/1164.71 c #Conflicts: 764000 | #Constraints: 25191
1161.37/1164.71 c #Conflicts: 765000 | #Constraints: 26191
1161.37/1164.71 c #Conflicts: 766000 | #Constraints: 27191
1161.37/1164.71 c #Conflicts: 767000 | #Constraints: 28191
1161.37/1164.71 c #Conflicts: 768000 | #Constraints: 29191
1161.37/1164.71 c #Conflicts: 769000 | #Constraints: 30191
1161.37/1164.71 c #Conflicts: 770000 | #Constraints: 31191
1161.37/1164.71 c #Conflicts: 771000 | #Constraints: 32191
1161.37/1164.71 c #Conflicts: 772000 | #Constraints: 33191
1161.37/1164.71 c #Conflicts: 773000 | #Constraints: 34191
1161.37/1164.71 c #Conflicts: 774000 | #Constraints: 35191
1161.37/1164.71 c INPROCESSING
1161.37/1164.71 c GARBAGE COLLECT
1161.37/1164.71 c #Conflicts: 775000 | #Constraints: 18794
1161.37/1164.71 c #Conflicts: 776000 | #Constraints: 19794
1161.37/1164.71 c #Conflicts: 777000 | #Constraints: 20794
1161.37/1164.71 c #Conflicts: 778000 | #Constraints: 21794
1161.37/1164.71 c #Conflicts: 779000 | #Constraints: 22794
1161.37/1164.71 c #Conflicts: 780000 | #Constraints: 23794
1161.37/1164.71 c #Conflicts: 781000 | #Constraints: 24794
1161.37/1164.71 c #Conflicts: 782000 | #Constraints: 25794
1161.37/1164.71 c #Conflicts: 783000 | #Constraints: 26794
1161.37/1164.71 c #Conflicts: 784000 | #Constraints: 27794
1161.37/1164.71 c #Conflicts: 785000 | #Constraints: 28794
1161.37/1164.71 c #Conflicts: 786000 | #Constraints: 29794
1161.37/1164.71 c #Conflicts: 787000 | #Constraints: 30794
1161.37/1164.71 c #Conflicts: 788000 | #Constraints: 31794
1161.37/1164.71 c #Conflicts: 789000 | #Constraints: 32794
1161.37/1164.71 c #Conflicts: 790000 | #Constraints: 33794
1161.37/1164.71 c #Conflicts: 791000 | #Constraints: 34794
1161.37/1164.71 c #Conflicts: 792000 | #Constraints: 35794
1161.37/1164.71 c INPROCESSING
1161.37/1164.71 c GARBAGE COLLECT
1161.37/1164.71 c #Conflicts: 793000 | #Constraints: 19205
1161.37/1164.71 c #Conflicts: 794000 | #Constraints: 20205
1161.37/1164.71 c #Conflicts: 795000 | #Constraints: 21205
1381.96/1385.97 c #Conflicts: 796000 | #Constraints: 22205
1381.96/1385.97 c #Conflicts: 797000 | #Constraints: 23205
1381.96/1385.97 c #Conflicts: 798000 | #Constraints: 24205
1381.96/1385.97 c #Conflicts: 799000 | #Constraints: 25205
1381.96/1385.97 c #Conflicts: 800000 | #Constraints: 26205
1381.96/1385.97 c #Conflicts: 801000 | #Constraints: 27205
1381.96/1385.97 c #Conflicts: 802000 | #Constraints: 28205
1381.96/1385.97 c #Conflicts: 803000 | #Constraints: 29205
1381.96/1385.97 c #Conflicts: 804000 | #Constraints: 30205
1381.96/1385.97 c #Conflicts: 805000 | #Constraints: 31205
1381.96/1385.97 c #Conflicts: 806000 | #Constraints: 32205
1381.96/1385.97 c #Conflicts: 807000 | #Constraints: 33205
1381.96/1385.97 c #Conflicts: 808000 | #Constraints: 34205
1381.96/1385.97 c #Conflicts: 809000 | #Constraints: 35205
1381.96/1385.97 c #Conflicts: 810000 | #Constraints: 36205
1381.96/1385.97 c INPROCESSING
1381.96/1385.97 c GARBAGE COLLECT
1381.96/1385.97 c #Conflicts: 811000 | #Constraints: 19409
1381.96/1385.97 c #Conflicts: 812000 | #Constraints: 20409
1381.96/1385.97 c #Conflicts: 813000 | #Constraints: 21409
1381.96/1385.97 c #Conflicts: 814000 | #Constraints: 22409
1381.96/1385.97 c #Conflicts: 815000 | #Constraints: 23409
1381.96/1385.97 c #Conflicts: 816000 | #Constraints: 24409
1381.96/1385.97 c #Conflicts: 817000 | #Constraints: 25409
1381.96/1385.97 c #Conflicts: 818000 | #Constraints: 26409
1381.96/1385.97 c #Conflicts: 819000 | #Constraints: 27409
1381.96/1385.97 c #Conflicts: 820000 | #Constraints: 28409
1381.96/1385.97 c #Conflicts: 821000 | #Constraints: 29409
1381.96/1385.97 c #Conflicts: 822000 | #Constraints: 30409
1381.96/1385.97 c #Conflicts: 823000 | #Constraints: 31409
1381.96/1385.97 c #Conflicts: 824000 | #Constraints: 32409
1381.96/1385.97 c #Conflicts: 825000 | #Constraints: 33409
1381.96/1385.97 c #Conflicts: 826000 | #Constraints: 34409
1381.96/1385.97 c #Conflicts: 827000 | #Constraints: 35409
1381.96/1385.97 c #Conflicts: 828000 | #Constraints: 36409
1381.96/1385.97 c INPROCESSING
1381.96/1385.97 c GARBAGE COLLECT
1381.96/1385.97 c #Conflicts: 829000 | #Constraints: 19408
1381.96/1385.97 c #Conflicts: 830000 | #Constraints: 20408
1381.96/1385.97 c #Conflicts: 831000 | #Constraints: 21408
1381.96/1385.97 c #Conflicts: 832000 | #Constraints: 22408
1381.96/1385.97 c #Conflicts: 833000 | #Constraints: 23408
1381.96/1385.97 c #Conflicts: 834000 | #Constraints: 24408
1381.96/1385.97 c #Conflicts: 835000 | #Constraints: 25408
1381.96/1385.97 c #Conflicts: 836000 | #Constraints: 26408
1381.96/1385.97 c #Conflicts: 837000 | #Constraints: 27408
1381.96/1385.97 c #Conflicts: 838000 | #Constraints: 28408
1381.96/1385.97 c #Conflicts: 839000 | #Constraints: 29408
1381.96/1385.97 c #Conflicts: 840000 | #Constraints: 30408
1381.96/1385.97 c #Conflicts: 841000 | #Constraints: 31408
1381.96/1385.97 c #Conflicts: 842000 | #Constraints: 32408
1381.96/1385.97 c #Conflicts: 843000 | #Constraints: 33408
1381.96/1385.97 c #Conflicts: 844000 | #Constraints: 34408
1381.96/1385.97 c #Conflicts: 845000 | #Constraints: 35408
1381.96/1385.97 c #Conflicts: 846000 | #Constraints: 36408
1381.96/1385.97 c INPROCESSING
1381.96/1385.97 c GARBAGE COLLECT
1381.96/1385.97 c #Conflicts: 847000 | #Constraints: 19203
1381.96/1385.97 c #Conflicts: 848000 | #Constraints: 20203
1381.96/1385.97 c #Conflicts: 849000 | #Constraints: 21203
1381.96/1385.97 c #Conflicts: 850000 | #Constraints: 22203
1381.96/1385.97 c #Conflicts: 851000 | #Constraints: 23203
1381.96/1385.97 c #Conflicts: 852000 | #Constraints: 24203
1381.96/1385.97 c #Conflicts: 853000 | #Constraints: 25203
1381.96/1385.97 c #Conflicts: 854000 | #Constraints: 26203
1381.96/1385.97 c #Conflicts: 855000 | #Constraints: 27203
1381.96/1385.97 c #Conflicts: 856000 | #Constraints: 28203
1381.96/1385.97 c #Conflicts: 857000 | #Constraints: 29203
1381.96/1385.97 c #Conflicts: 858000 | #Constraints: 30203
1381.96/1385.97 c #Conflicts: 859000 | #Constraints: 31203
1381.96/1385.97 c #Conflicts: 860000 | #Constraints: 32203
1381.96/1385.97 c #Conflicts: 861000 | #Constraints: 33203
1381.96/1385.97 c #Conflicts: 862000 | #Constraints: 34203
1381.96/1385.97 c #Conflicts: 863000 | #Constraints: 35203
1381.96/1385.97 c #Conflicts: 864000 | #Constraints: 36203
1381.96/1385.97 c #Conflicts: 865000 | #Constraints: 37203
1381.96/1385.97 c INPROCESSING
1381.96/1385.97 c GARBAGE COLLECT
1381.96/1385.97 c #Conflicts: 866000 | #Constraints: 19795
1381.96/1385.97 c #Conflicts: 867000 | #Constraints: 20795
1381.96/1385.97 c #Conflicts: 868000 | #Constraints: 21795
1381.96/1385.97 c #Conflicts: 869000 | #Constraints: 22795
1381.96/1385.97 c #Conflicts: 870000 | #Constraints: 23795
1381.96/1385.97 c #Conflicts: 871000 | #Constraints: 24795
1607.97/1612.52 c #Conflicts: 872000 | #Constraints: 25795
1607.97/1612.52 c #Conflicts: 873000 | #Constraints: 26795
1607.97/1612.52 c #Conflicts: 874000 | #Constraints: 27795
1607.97/1612.52 c #Conflicts: 875000 | #Constraints: 28795
1607.97/1612.52 c #Conflicts: 876000 | #Constraints: 29795
1607.97/1612.52 c #Conflicts: 877000 | #Constraints: 30795
1607.97/1612.52 c #Conflicts: 878000 | #Constraints: 31795
1607.97/1612.52 c #Conflicts: 879000 | #Constraints: 32795
1607.97/1612.52 c #Conflicts: 880000 | #Constraints: 33795
1607.97/1612.52 c #Conflicts: 881000 | #Constraints: 34795
1607.97/1612.52 c #Conflicts: 882000 | #Constraints: 35795
1607.97/1612.52 c #Conflicts: 883000 | #Constraints: 36795
1607.97/1612.52 c #Conflicts: 884000 | #Constraints: 37795
1607.97/1612.52 c INPROCESSING
1607.97/1612.52 c GARBAGE COLLECT
1607.97/1612.52 c #Conflicts: 885000 | #Constraints: 20197
1607.97/1612.52 c #Conflicts: 886000 | #Constraints: 21197
1607.97/1612.52 c #Conflicts: 887000 | #Constraints: 22197
1607.97/1612.52 c #Conflicts: 888000 | #Constraints: 23197
1607.97/1612.52 c #Conflicts: 889000 | #Constraints: 24197
1607.97/1612.52 c #Conflicts: 890000 | #Constraints: 25197
1607.97/1612.52 c #Conflicts: 891000 | #Constraints: 26197
1607.97/1612.52 c #Conflicts: 892000 | #Constraints: 27197
1607.97/1612.52 c #Conflicts: 893000 | #Constraints: 28197
1607.97/1612.52 c #Conflicts: 894000 | #Constraints: 29197
1607.97/1612.52 c #Conflicts: 895000 | #Constraints: 30197
1607.97/1612.52 c #Conflicts: 896000 | #Constraints: 31197
1607.97/1612.52 c #Conflicts: 897000 | #Constraints: 32197
1607.97/1612.52 c #Conflicts: 898000 | #Constraints: 33197
1607.97/1612.52 c #Conflicts: 899000 | #Constraints: 34197
1607.97/1612.52 c #Conflicts: 900000 | #Constraints: 35197
1607.97/1612.52 c #Conflicts: 901000 | #Constraints: 36197
1607.97/1612.52 c #Conflicts: 902000 | #Constraints: 37197
1607.97/1612.52 c #Conflicts: 903000 | #Constraints: 38197
1607.97/1612.52 c INPROCESSING
1607.97/1612.52 c GARBAGE COLLECT
1607.97/1612.52 c #Conflicts: 904000 | #Constraints: 20399
1607.97/1612.52 c #Conflicts: 905000 | #Constraints: 21399
1607.97/1612.52 c #Conflicts: 906000 | #Constraints: 22399
1607.97/1612.52 c #Conflicts: 907000 | #Constraints: 23399
1607.97/1612.52 c #Conflicts: 908000 | #Constraints: 24399
1607.97/1612.52 c #Conflicts: 909000 | #Constraints: 25399
1607.97/1612.52 c #Conflicts: 910000 | #Constraints: 26399
1607.97/1612.52 c #Conflicts: 911000 | #Constraints: 27399
1607.97/1612.52 c #Conflicts: 912000 | #Constraints: 28399
1607.97/1612.52 c #Conflicts: 913000 | #Constraints: 29399
1607.97/1612.52 c #Conflicts: 914000 | #Constraints: 30399
1607.97/1612.52 c #Conflicts: 915000 | #Constraints: 31399
1607.97/1612.52 c #Conflicts: 916000 | #Constraints: 32399
1607.97/1612.52 c #Conflicts: 917000 | #Constraints: 33399
1607.97/1612.52 c #Conflicts: 918000 | #Constraints: 34399
1607.97/1612.52 c #Conflicts: 919000 | #Constraints: 35399
1607.97/1612.52 c #Conflicts: 920000 | #Constraints: 36399
1607.97/1612.52 c #Conflicts: 921000 | #Constraints: 37399
1607.97/1612.52 c #Conflicts: 922000 | #Constraints: 38399
1607.97/1612.52 c INPROCESSING
1607.97/1612.52 c GARBAGE COLLECT
1607.97/1612.52 c #Conflicts: 923000 | #Constraints: 20403
1607.97/1612.52 c #Conflicts: 924000 | #Constraints: 21403
1607.97/1612.52 c #Conflicts: 925000 | #Constraints: 22403
1607.97/1612.52 c #Conflicts: 926000 | #Constraints: 23403
1607.97/1612.52 c #Conflicts: 927000 | #Constraints: 24403
1607.97/1612.52 c #Conflicts: 928000 | #Constraints: 25403
1607.97/1612.52 c #Conflicts: 929000 | #Constraints: 26403
1607.97/1612.52 c #Conflicts: 930000 | #Constraints: 27403
1607.97/1612.52 c #Conflicts: 931000 | #Constraints: 28403
1607.97/1612.52 c #Conflicts: 932000 | #Constraints: 29403
1607.97/1612.52 c #Conflicts: 933000 | #Constraints: 30403
1607.97/1612.52 c #Conflicts: 934000 | #Constraints: 31403
1607.97/1612.52 c #Conflicts: 935000 | #Constraints: 32403
1607.97/1612.52 c #Conflicts: 936000 | #Constraints: 33403
1607.97/1612.52 c #Conflicts: 937000 | #Constraints: 34403
1607.97/1612.52 c #Conflicts: 938000 | #Constraints: 35403
1607.97/1612.52 c #Conflicts: 939000 | #Constraints: 36403
1607.97/1612.52 c #Conflicts: 940000 | #Constraints: 37403
1607.97/1612.52 c #Conflicts: 941000 | #Constraints: 38403
1607.97/1612.52 c INPROCESSING
1607.97/1612.52 c GARBAGE COLLECT
1607.97/1612.52 c #Conflicts: 942000 | #Constraints: 20201
1607.97/1612.52 c #Conflicts: 943000 | #Constraints: 21201
1607.97/1612.52 c #Conflicts: 944000 | #Constraints: 22201
1607.97/1612.52 c #Conflicts: 945000 | #Constraints: 23201
1607.97/1612.52 c #Conflicts: 946000 | #Constraints: 24201
1607.97/1612.52 c #Conflicts: 947000 | #Constraints: 25201
1811.73/1816.88 c #Conflicts: 948000 | #Constraints: 26201
1811.73/1816.88 c #Conflicts: 949000 | #Constraints: 27201
1811.73/1816.88 c #Conflicts: 950000 | #Constraints: 28201
1811.73/1816.88 c #Conflicts: 951000 | #Constraints: 29201
1811.73/1816.88 c #Conflicts: 952000 | #Constraints: 30201
1811.73/1816.88 c #Conflicts: 953000 | #Constraints: 31201
1811.73/1816.88 c #Conflicts: 954000 | #Constraints: 32201
1811.73/1816.88 c #Conflicts: 955000 | #Constraints: 33201
1811.73/1816.88 c #Conflicts: 956000 | #Constraints: 34201
1811.73/1816.88 c #Conflicts: 957000 | #Constraints: 35201
1811.73/1816.88 c #Conflicts: 958000 | #Constraints: 36201
1811.73/1816.88 c #Conflicts: 959000 | #Constraints: 37201
1811.73/1816.88 c #Conflicts: 960000 | #Constraints: 38201
1811.73/1816.88 c #Conflicts: 961000 | #Constraints: 39201
1811.73/1816.88 c INPROCESSING
1811.73/1816.88 c GARBAGE COLLECT
1811.73/1816.88 c #Conflicts: 962000 | #Constraints: 20796
1811.73/1816.88 c #Conflicts: 963000 | #Constraints: 21796
1811.73/1816.88 c #Conflicts: 964000 | #Constraints: 22796
1811.73/1816.88 c #Conflicts: 965000 | #Constraints: 23796
1811.73/1816.88 c #Conflicts: 966000 | #Constraints: 24796
1811.73/1816.88 c #Conflicts: 967000 | #Constraints: 25796
1811.73/1816.88 c #Conflicts: 968000 | #Constraints: 26796
1811.73/1816.88 c #Conflicts: 969000 | #Constraints: 27796
1811.73/1816.88 c #Conflicts: 970000 | #Constraints: 28796
1811.73/1816.88 c #Conflicts: 971000 | #Constraints: 29796
1811.73/1816.88 c #Conflicts: 972000 | #Constraints: 30796
1811.73/1816.88 c #Conflicts: 973000 | #Constraints: 31796
1811.73/1816.88 c #Conflicts: 974000 | #Constraints: 32796
1811.73/1816.88 c #Conflicts: 975000 | #Constraints: 33796
1811.73/1816.88 c #Conflicts: 976000 | #Constraints: 34796
1811.73/1816.88 c #Conflicts: 977000 | #Constraints: 35796
1811.73/1816.88 c #Conflicts: 978000 | #Constraints: 36796
1811.73/1816.88 c #Conflicts: 979000 | #Constraints: 37796
1811.73/1816.88 c #Conflicts: 980000 | #Constraints: 38796
1811.73/1816.88 c #Conflicts: 981000 | #Constraints: 39796
1811.73/1816.88 c INPROCESSING
1811.73/1816.88 c GARBAGE COLLECT
1811.73/1816.88 c #Conflicts: 982000 | #Constraints: 21197
1811.73/1816.88 c #Conflicts: 983000 | #Constraints: 22197
1811.73/1816.88 c #Conflicts: 984000 | #Constraints: 23197
1811.73/1816.88 c #Conflicts: 985000 | #Constraints: 24197
1811.73/1816.88 c #Conflicts: 986000 | #Constraints: 25197
1811.73/1816.88 c #Conflicts: 987000 | #Constraints: 26197
1811.73/1816.88 c #Conflicts: 988000 | #Constraints: 27197
1811.73/1816.88 c #Conflicts: 989000 | #Constraints: 28197
1811.73/1816.88 c #Conflicts: 990000 | #Constraints: 29197
1811.73/1816.88 c #Conflicts: 991000 | #Constraints: 30197
1811.73/1816.88 c #Conflicts: 992000 | #Constraints: 31197
1811.73/1816.88 c #Conflicts: 993000 | #Constraints: 32197
1811.73/1816.88 c #Conflicts: 994000 | #Constraints: 33197
1811.73/1816.88 c #Conflicts: 995000 | #Constraints: 34197
1811.73/1816.88 c #Conflicts: 996000 | #Constraints: 35197
1811.73/1816.88 c #Conflicts: 997000 | #Constraints: 36197
1811.73/1816.88 c #Conflicts: 998000 | #Constraints: 37197
1811.73/1816.88 c #Conflicts: 999000 | #Constraints: 38197
1811.73/1816.88 c #Conflicts: 1000000 | #Constraints: 39197
1811.73/1816.88 c #Conflicts: 1001000 | #Constraints: 40197
1811.73/1816.88 c INPROCESSING
1811.73/1816.88 c GARBAGE COLLECT
1811.73/1816.88 c #Conflicts: 1002000 | #Constraints: 21405
1811.73/1816.88 c #Conflicts: 1003000 | #Constraints: 22405
1811.73/1816.88 c #Conflicts: 1004000 | #Constraints: 23405
1811.73/1816.88 c #Conflicts: 1005000 | #Constraints: 24405
1811.73/1816.88 c #Conflicts: 1006000 | #Constraints: 25405
1811.73/1816.88 c #Conflicts: 1007000 | #Constraints: 26405
1811.73/1816.88 c #Conflicts: 1008000 | #Constraints: 27405
1811.73/1816.88 c #Conflicts: 1009000 | #Constraints: 28405
1811.73/1816.88 c #Conflicts: 1010000 | #Constraints: 29405
1811.73/1816.88 c #Conflicts: 1011000 | #Constraints: 30405
1811.73/1816.88 c #Conflicts: 1012000 | #Constraints: 31405
1811.73/1816.88 c #Conflicts: 1013000 | #Constraints: 32405
1811.73/1816.88 c #Conflicts: 1014000 | #Constraints: 33405
1811.73/1816.88 c #Conflicts: 1015000 | #Constraints: 34405
1811.73/1816.88 c #Conflicts: 1016000 | #Constraints: 35405
1811.73/1816.88 c #Conflicts: 1017000 | #Constraints: 36405
1811.73/1816.88 c #Conflicts: 1018000 | #Constraints: 37405
1811.73/1816.88 c #Conflicts: 1019000 | #Constraints: 38405
1811.73/1816.88 c #Conflicts: 1020000 | #Constraints: 39405
1811.73/1816.88 c #Conflicts: 1021000 | #Constraints: 40405
1811.73/1816.88 c INPROCESSING
1811.73/1816.88 c GARBAGE COLLECT
1811.73/1816.88 c #Conflicts: 1022000 | #Constraints: 21409
1811.73/1816.88 c #Conflicts: 1023000 | #Constraints: 22409
1811.73/1816.88 c #Conflicts: 1024000 | #Constraints: 23409
2046.61/2052.33 c #Conflicts: 1025000 | #Constraints: 24409
2046.61/2052.33 c #Conflicts: 1026000 | #Constraints: 25409
2046.61/2052.33 c #Conflicts: 1027000 | #Constraints: 26409
2046.61/2052.33 c #Conflicts: 1028000 | #Constraints: 27409
2046.61/2052.33 c #Conflicts: 1029000 | #Constraints: 28409
2046.61/2052.33 c #Conflicts: 1030000 | #Constraints: 29409
2046.61/2052.33 c #Conflicts: 1031000 | #Constraints: 30409
2046.61/2052.33 c #Conflicts: 1032000 | #Constraints: 31409
2046.61/2052.33 c #Conflicts: 1033000 | #Constraints: 32409
2046.61/2052.33 c #Conflicts: 1034000 | #Constraints: 33409
2046.61/2052.33 c #Conflicts: 1035000 | #Constraints: 34409
2046.61/2052.33 c #Conflicts: 1036000 | #Constraints: 35409
2046.61/2052.33 c #Conflicts: 1037000 | #Constraints: 36409
2046.61/2052.33 c #Conflicts: 1038000 | #Constraints: 37409
2046.61/2052.33 c #Conflicts: 1039000 | #Constraints: 38409
2046.61/2052.33 c #Conflicts: 1040000 | #Constraints: 39409
2046.61/2052.33 c #Conflicts: 1041000 | #Constraints: 40409
2046.61/2052.33 c INPROCESSING
2046.61/2052.33 c GARBAGE COLLECT
2046.61/2052.33 c #Conflicts: 1042000 | #Constraints: 21205
2046.61/2052.33 c #Conflicts: 1043000 | #Constraints: 22205
2046.61/2052.33 c #Conflicts: 1044000 | #Constraints: 23205
2046.61/2052.33 c #Conflicts: 1045000 | #Constraints: 24205
2046.61/2052.33 c #Conflicts: 1046000 | #Constraints: 25205
2046.61/2052.33 c #Conflicts: 1047000 | #Constraints: 26205
2046.61/2052.33 c #Conflicts: 1048000 | #Constraints: 27205
2046.61/2052.33 c #Conflicts: 1049000 | #Constraints: 28205
2046.61/2052.33 c #Conflicts: 1050000 | #Constraints: 29205
2046.61/2052.33 c #Conflicts: 1051000 | #Constraints: 30205
2046.61/2052.33 c #Conflicts: 1052000 | #Constraints: 31205
2046.61/2052.33 c #Conflicts: 1053000 | #Constraints: 32205
2046.61/2052.33 c #Conflicts: 1054000 | #Constraints: 33205
2046.61/2052.33 c #Conflicts: 1055000 | #Constraints: 34205
2046.61/2052.33 c #Conflicts: 1056000 | #Constraints: 35205
2046.61/2052.33 c #Conflicts: 1057000 | #Constraints: 36205
2046.61/2052.33 c #Conflicts: 1058000 | #Constraints: 37205
2046.61/2052.33 c #Conflicts: 1059000 | #Constraints: 38205
2046.61/2052.33 c #Conflicts: 1060000 | #Constraints: 39205
2046.61/2052.33 c #Conflicts: 1061000 | #Constraints: 40205
2046.61/2052.33 c #Conflicts: 1062000 | #Constraints: 41205
2046.61/2052.33 c INPROCESSING
2046.61/2052.33 c GARBAGE COLLECT
2046.61/2052.33 c #Conflicts: 1063000 | #Constraints: 21806
2046.61/2052.33 c #Conflicts: 1064000 | #Constraints: 22806
2046.61/2052.33 c #Conflicts: 1065000 | #Constraints: 23806
2046.61/2052.33 c #Conflicts: 1066000 | #Constraints: 24806
2046.61/2052.33 c #Conflicts: 1067000 | #Constraints: 25806
2046.61/2052.33 c #Conflicts: 1068000 | #Constraints: 26806
2046.61/2052.33 c #Conflicts: 1069000 | #Constraints: 27806
2046.61/2052.33 c #Conflicts: 1070000 | #Constraints: 28806
2046.61/2052.33 c #Conflicts: 1071000 | #Constraints: 29806
2046.61/2052.33 c #Conflicts: 1072000 | #Constraints: 30806
2046.61/2052.33 c #Conflicts: 1073000 | #Constraints: 31806
2046.61/2052.33 c #Conflicts: 1074000 | #Constraints: 32806
2046.61/2052.33 c #Conflicts: 1075000 | #Constraints: 33806
2046.61/2052.33 c #Conflicts: 1076000 | #Constraints: 34806
2046.61/2052.33 c #Conflicts: 1077000 | #Constraints: 35806
2046.61/2052.33 c #Conflicts: 1078000 | #Constraints: 36806
2046.61/2052.33 c #Conflicts: 1079000 | #Constraints: 37806
2046.61/2052.33 c #Conflicts: 1080000 | #Constraints: 38806
2046.61/2052.33 c #Conflicts: 1081000 | #Constraints: 39806
2046.61/2052.33 c #Conflicts: 1082000 | #Constraints: 40806
2046.61/2052.33 c #Conflicts: 1083000 | #Constraints: 41806
2046.61/2052.33 c INPROCESSING
2046.61/2052.33 c GARBAGE COLLECT
2046.61/2052.33 c #Conflicts: 1084000 | #Constraints: 22206
2046.61/2052.33 c #Conflicts: 1085000 | #Constraints: 23206
2046.61/2052.33 c #Conflicts: 1086000 | #Constraints: 24206
2046.61/2052.33 c #Conflicts: 1087000 | #Constraints: 25206
2046.61/2052.33 c #Conflicts: 1088000 | #Constraints: 26206
2046.61/2052.33 c #Conflicts: 1089000 | #Constraints: 27206
2046.61/2052.33 c #Conflicts: 1090000 | #Constraints: 28206
2046.61/2052.33 c #Conflicts: 1091000 | #Constraints: 29206
2046.61/2052.33 c #Conflicts: 1092000 | #Constraints: 30206
2046.61/2052.33 c #Conflicts: 1093000 | #Constraints: 31206
2046.61/2052.33 c #Conflicts: 1094000 | #Constraints: 32206
2046.61/2052.33 c #Conflicts: 1095000 | #Constraints: 33206
2046.61/2052.33 c #Conflicts: 1096000 | #Constraints: 34206
2046.61/2052.33 c #Conflicts: 1097000 | #Constraints: 35206
2046.61/2052.33 c #Conflicts: 1098000 | #Constraints: 36206
2046.61/2052.33 c #Conflicts: 1099000 | #Constraints: 37206
2046.61/2052.33 c #Conflicts: 1100000 | #Constraints: 38206
2323.98/2330.48 c #Conflicts: 1101000 | #Constraints: 39206
2323.98/2330.48 c #Conflicts: 1102000 | #Constraints: 40206
2323.98/2330.48 c #Conflicts: 1103000 | #Constraints: 41206
2323.98/2330.48 c #Conflicts: 1104000 | #Constraints: 42206
2323.98/2330.48 c INPROCESSING
2323.98/2330.48 c GARBAGE COLLECT
2323.98/2330.48 c #Conflicts: 1105000 | #Constraints: 22394
2323.98/2330.48 c #Conflicts: 1106000 | #Constraints: 23394
2323.98/2330.48 c #Conflicts: 1107000 | #Constraints: 24394
2323.98/2330.48 c #Conflicts: 1108000 | #Constraints: 25394
2323.98/2330.48 c #Conflicts: 1109000 | #Constraints: 26394
2323.98/2330.48 c #Conflicts: 1110000 | #Constraints: 27394
2323.98/2330.48 c #Conflicts: 1111000 | #Constraints: 28394
2323.98/2330.48 c #Conflicts: 1112000 | #Constraints: 29394
2323.98/2330.48 c #Conflicts: 1113000 | #Constraints: 30394
2323.98/2330.48 c #Conflicts: 1114000 | #Constraints: 31394
2323.98/2330.48 c #Conflicts: 1115000 | #Constraints: 32394
2323.98/2330.48 c #Conflicts: 1116000 | #Constraints: 33394
2323.98/2330.48 c #Conflicts: 1117000 | #Constraints: 34394
2323.98/2330.48 c #Conflicts: 1118000 | #Constraints: 35394
2323.98/2330.48 c #Conflicts: 1119000 | #Constraints: 36394
2323.98/2330.48 c #Conflicts: 1120000 | #Constraints: 37394
2323.98/2330.48 c #Conflicts: 1121000 | #Constraints: 38394
2323.98/2330.48 c #Conflicts: 1122000 | #Constraints: 39394
2323.98/2330.48 c #Conflicts: 1123000 | #Constraints: 40394
2323.98/2330.48 c #Conflicts: 1124000 | #Constraints: 41394
2323.98/2330.48 c #Conflicts: 1125000 | #Constraints: 42394
2323.98/2330.48 c INPROCESSING
2323.98/2330.48 c GARBAGE COLLECT
2323.98/2330.48 c #Conflicts: 1126000 | #Constraints: 22397
2323.98/2330.48 c #Conflicts: 1127000 | #Constraints: 23397
2323.98/2330.48 c #Conflicts: 1128000 | #Constraints: 24397
2323.98/2330.48 c #Conflicts: 1129000 | #Constraints: 25397
2323.98/2330.48 c #Conflicts: 1130000 | #Constraints: 26397
2323.98/2330.48 c #Conflicts: 1131000 | #Constraints: 27397
2323.98/2330.48 c #Conflicts: 1132000 | #Constraints: 28397
2323.98/2330.48 c #Conflicts: 1133000 | #Constraints: 29397
2323.98/2330.48 c #Conflicts: 1134000 | #Constraints: 30397
2323.98/2330.48 c #Conflicts: 1135000 | #Constraints: 31397
2323.98/2330.48 c #Conflicts: 1136000 | #Constraints: 32397
2323.98/2330.48 c #Conflicts: 1137000 | #Constraints: 33397
2323.98/2330.48 c #Conflicts: 1138000 | #Constraints: 34397
2323.98/2330.48 c #Conflicts: 1139000 | #Constraints: 35397
2323.98/2330.48 c #Conflicts: 1140000 | #Constraints: 36397
2323.98/2330.48 c #Conflicts: 1141000 | #Constraints: 37397
2323.98/2330.48 c #Conflicts: 1142000 | #Constraints: 38397
2323.98/2330.48 c #Conflicts: 1143000 | #Constraints: 39397
2323.98/2330.48 c #Conflicts: 1144000 | #Constraints: 40397
2323.98/2330.48 c #Conflicts: 1145000 | #Constraints: 41397
2323.98/2330.48 c #Conflicts: 1146000 | #Constraints: 42397
2323.98/2330.48 c INPROCESSING
2323.98/2330.48 c GARBAGE COLLECT
2323.98/2330.48 c #Conflicts: 1147000 | #Constraints: 22200
2323.98/2330.48 c #Conflicts: 1148000 | #Constraints: 23200
2323.98/2330.48 c #Conflicts: 1149000 | #Constraints: 24200
2323.98/2330.48 c #Conflicts: 1150000 | #Constraints: 25200
2323.98/2330.48 c #Conflicts: 1151000 | #Constraints: 26200
2323.98/2330.48 c #Conflicts: 1152000 | #Constraints: 27200
2323.98/2330.48 c #Conflicts: 1153000 | #Constraints: 28200
2323.98/2330.48 c #Conflicts: 1154000 | #Constraints: 29200
2323.98/2330.48 c #Conflicts: 1155000 | #Constraints: 30200
2323.98/2330.48 c #Conflicts: 1156000 | #Constraints: 31200
2323.98/2330.48 c #Conflicts: 1157000 | #Constraints: 32200
2323.98/2330.48 c #Conflicts: 1158000 | #Constraints: 33200
2323.98/2330.48 c #Conflicts: 1159000 | #Constraints: 34200
2323.98/2330.48 c #Conflicts: 1160000 | #Constraints: 35200
2323.98/2330.48 c #Conflicts: 1161000 | #Constraints: 36200
2323.98/2330.48 c #Conflicts: 1162000 | #Constraints: 37200
2323.98/2330.48 c #Conflicts: 1163000 | #Constraints: 38200
2323.98/2330.48 c #Conflicts: 1164000 | #Constraints: 39200
2323.98/2330.48 c #Conflicts: 1165000 | #Constraints: 40200
2323.98/2330.48 c #Conflicts: 1166000 | #Constraints: 41200
2323.98/2330.48 c #Conflicts: 1167000 | #Constraints: 42200
2323.98/2330.48 c #Conflicts: 1168000 | #Constraints: 43200
2323.98/2330.48 c INPROCESSING
2323.98/2330.48 c GARBAGE COLLECT
2323.98/2330.48 c #Conflicts: 1169000 | #Constraints: 22809
2323.98/2330.48 c #Conflicts: 1170000 | #Constraints: 23809
2323.98/2330.48 c #Conflicts: 1171000 | #Constraints: 24809
2323.98/2330.48 c #Conflicts: 1172000 | #Constraints: 25809
2323.98/2330.48 c #Conflicts: 1173000 | #Constraints: 26809
2323.98/2330.48 c #Conflicts: 1174000 | #Constraints: 27809
2323.98/2330.48 c #Conflicts: 1175000 | #Constraints: 28809
2323.98/2330.48 c #Conflicts: 1176000 | #Constraints: 29809
2323.98/2330.48 c #Conflicts: 1177000 | #Constraints: 30809
2576.31/2583.40 c #Conflicts: 1178000 | #Constraints: 31809
2576.31/2583.40 c #Conflicts: 1179000 | #Constraints: 32809
2576.31/2583.40 c #Conflicts: 1180000 | #Constraints: 33809
2576.31/2583.40 c #Conflicts: 1181000 | #Constraints: 34809
2576.31/2583.40 c #Conflicts: 1182000 | #Constraints: 35809
2576.31/2583.40 c #Conflicts: 1183000 | #Constraints: 36809
2576.31/2583.40 c #Conflicts: 1184000 | #Constraints: 37809
2576.31/2583.40 c #Conflicts: 1185000 | #Constraints: 38809
2576.31/2583.40 c #Conflicts: 1186000 | #Constraints: 39809
2576.31/2583.40 c #Conflicts: 1187000 | #Constraints: 40809
2576.31/2583.40 c #Conflicts: 1188000 | #Constraints: 41809
2576.31/2583.40 c #Conflicts: 1189000 | #Constraints: 42809
2576.31/2583.40 c #Conflicts: 1190000 | #Constraints: 43809
2576.31/2583.40 c INPROCESSING
2576.31/2583.40 c GARBAGE COLLECT
2576.31/2583.40 c #Conflicts: 1191000 | #Constraints: 23210
2576.31/2583.40 c #Conflicts: 1192000 | #Constraints: 24210
2576.31/2583.40 c #Conflicts: 1193000 | #Constraints: 25210
2576.31/2583.40 c #Conflicts: 1194000 | #Constraints: 26210
2576.31/2583.40 c #Conflicts: 1195000 | #Constraints: 27210
2576.31/2583.40 c #Conflicts: 1196000 | #Constraints: 28210
2576.31/2583.40 c #Conflicts: 1197000 | #Constraints: 29210
2576.31/2583.40 c #Conflicts: 1198000 | #Constraints: 30210
2576.31/2583.40 c #Conflicts: 1199000 | #Constraints: 31210
2576.31/2583.40 c #Conflicts: 1200000 | #Constraints: 32210
2576.31/2583.40 c #Conflicts: 1201000 | #Constraints: 33210
2576.31/2583.40 c #Conflicts: 1202000 | #Constraints: 34210
2576.31/2583.40 c #Conflicts: 1203000 | #Constraints: 35210
2576.31/2583.40 c #Conflicts: 1204000 | #Constraints: 36210
2576.31/2583.40 c #Conflicts: 1205000 | #Constraints: 37210
2576.31/2583.40 c #Conflicts: 1206000 | #Constraints: 38210
2576.31/2583.40 c #Conflicts: 1207000 | #Constraints: 39210
2576.31/2583.40 c #Conflicts: 1208000 | #Constraints: 40210
2576.31/2583.40 c #Conflicts: 1209000 | #Constraints: 41210
2576.31/2583.40 c #Conflicts: 1210000 | #Constraints: 42210
2576.31/2583.40 c #Conflicts: 1211000 | #Constraints: 43210
2576.31/2583.40 c #Conflicts: 1212000 | #Constraints: 44210
2576.31/2583.40 c INPROCESSING
2576.31/2583.40 c GARBAGE COLLECT
2576.31/2583.40 c #Conflicts: 1213000 | #Constraints: 23411
2576.31/2583.40 c #Conflicts: 1214000 | #Constraints: 24411
2576.31/2583.40 c #Conflicts: 1215000 | #Constraints: 25411
2576.31/2583.40 c #Conflicts: 1216000 | #Constraints: 26411
2576.31/2583.40 c #Conflicts: 1217000 | #Constraints: 27411
2576.31/2583.40 c #Conflicts: 1218000 | #Constraints: 28411
2576.31/2583.40 c #Conflicts: 1219000 | #Constraints: 29411
2576.31/2583.40 c #Conflicts: 1220000 | #Constraints: 30411
2576.31/2583.40 c #Conflicts: 1221000 | #Constraints: 31411
2576.31/2583.40 c #Conflicts: 1222000 | #Constraints: 32411
2576.31/2583.40 c #Conflicts: 1223000 | #Constraints: 33411
2576.31/2583.40 c #Conflicts: 1224000 | #Constraints: 34411
2576.31/2583.40 c #Conflicts: 1225000 | #Constraints: 35411
2576.31/2583.40 c #Conflicts: 1226000 | #Constraints: 36411
2576.31/2583.40 c #Conflicts: 1227000 | #Constraints: 37411
2576.31/2583.40 c #Conflicts: 1228000 | #Constraints: 38411
2576.31/2583.40 c #Conflicts: 1229000 | #Constraints: 39411
2576.31/2583.40 c #Conflicts: 1230000 | #Constraints: 40411
2576.31/2583.40 c #Conflicts: 1231000 | #Constraints: 41411
2576.31/2583.40 c #Conflicts: 1232000 | #Constraints: 42411
2576.31/2583.40 c #Conflicts: 1233000 | #Constraints: 43411
2576.31/2583.40 c #Conflicts: 1234000 | #Constraints: 44411
2576.31/2583.40 c INPROCESSING
2576.31/2583.40 c GARBAGE COLLECT
2576.31/2583.40 c #Conflicts: 1235000 | #Constraints: 23407
2576.31/2583.40 c #Conflicts: 1236000 | #Constraints: 24407
2576.31/2583.40 c #Conflicts: 1237000 | #Constraints: 25407
2576.31/2583.40 c #Conflicts: 1238000 | #Constraints: 26407
2576.31/2583.40 c #Conflicts: 1239000 | #Constraints: 27407
2576.31/2583.40 c #Conflicts: 1240000 | #Constraints: 28407
2576.31/2583.40 c #Conflicts: 1241000 | #Constraints: 29407
2576.31/2583.40 c #Conflicts: 1242000 | #Constraints: 30407
2576.31/2583.40 c #Conflicts: 1243000 | #Constraints: 31407
2576.31/2583.40 c GLOBAL bounds - >= 0 @ 2569.33
2923.46/2931.66 c #Conflicts: 1244000 | #Constraints: 32409
2923.46/2931.66 c #Conflicts: 1245000 | #Constraints: 33409
2923.46/2931.66 c #Conflicts: 1246000 | #Constraints: 34409
2923.46/2931.66 c #Conflicts: 1247000 | #Constraints: 35409
2923.46/2931.66 c #Conflicts: 1248000 | #Constraints: 36409
2923.46/2931.66 c #Conflicts: 1249000 | #Constraints: 37409
2923.46/2931.66 c #Conflicts: 1250000 | #Constraints: 38409
2923.46/2931.66 c #Conflicts: 1251000 | #Constraints: 39409
2923.46/2931.66 c #Conflicts: 1252000 | #Constraints: 40409
2923.46/2931.66 c #Conflicts: 1253000 | #Constraints: 41409
2923.46/2931.66 c #Conflicts: 1254000 | #Constraints: 42409
2923.46/2931.66 c #Conflicts: 1255000 | #Constraints: 43409
2923.46/2931.66 c #Conflicts: 1256000 | #Constraints: 44409
2923.46/2931.66 c INPROCESSING
2923.46/2931.66 c GARBAGE COLLECT
2923.46/2931.66 c #Conflicts: 1257000 | #Constraints: 23204
2923.46/2931.66 c #Conflicts: 1258000 | #Constraints: 24204
2923.46/2931.66 c #Conflicts: 1259000 | #Constraints: 25204
2923.46/2931.66 c #Conflicts: 1260000 | #Constraints: 26204
2923.46/2931.66 c #Conflicts: 1261000 | #Constraints: 27204
2923.46/2931.66 c #Conflicts: 1262000 | #Constraints: 28204
2923.46/2931.66 c #Conflicts: 1263000 | #Constraints: 29204
2923.46/2931.66 c #Conflicts: 1264000 | #Constraints: 30204
2923.46/2931.66 c #Conflicts: 1265000 | #Constraints: 31204
2923.46/2931.66 c #Conflicts: 1266000 | #Constraints: 32204
2923.46/2931.66 c #Conflicts: 1267000 | #Constraints: 33204
2923.46/2931.66 c #Conflicts: 1268000 | #Constraints: 34204
2923.46/2931.66 c #Conflicts: 1269000 | #Constraints: 35204
2923.46/2931.66 c #Conflicts: 1270000 | #Constraints: 36204
2923.46/2931.66 c #Conflicts: 1271000 | #Constraints: 37204
2923.46/2931.66 c #Conflicts: 1272000 | #Constraints: 38204
2923.46/2931.66 c #Conflicts: 1273000 | #Constraints: 39204
2923.46/2931.66 c #Conflicts: 1274000 | #Constraints: 40204
2923.46/2931.66 c #Conflicts: 1275000 | #Constraints: 41204
2923.46/2931.66 c #Conflicts: 1276000 | #Constraints: 42204
2923.46/2931.66 c #Conflicts: 1277000 | #Constraints: 43204
2923.46/2931.66 c #Conflicts: 1278000 | #Constraints: 44204
2923.46/2931.66 c #Conflicts: 1279000 | #Constraints: 45204
2923.46/2931.66 c INPROCESSING
2923.46/2931.66 c GARBAGE COLLECT
2923.46/2931.66 c #Conflicts: 1280000 | #Constraints: 23796
2923.46/2931.66 c #Conflicts: 1281000 | #Constraints: 24796
2923.46/2931.66 c #Conflicts: 1282000 | #Constraints: 25796
2923.46/2931.66 c #Conflicts: 1283000 | #Constraints: 26796
2923.46/2931.66 c #Conflicts: 1284000 | #Constraints: 27796
2923.46/2931.66 c #Conflicts: 1285000 | #Constraints: 28796
2923.46/2931.66 c #Conflicts: 1286000 | #Constraints: 29796
2923.46/2931.66 c #Conflicts: 1287000 | #Constraints: 30796
2923.46/2931.66 c #Conflicts: 1288000 | #Constraints: 31796
2923.46/2931.66 c #Conflicts: 1289000 | #Constraints: 32796
2923.46/2931.66 c #Conflicts: 1290000 | #Constraints: 33796
2923.46/2931.66 c #Conflicts: 1291000 | #Constraints: 34796
2923.46/2931.66 c #Conflicts: 1292000 | #Constraints: 35796
2923.46/2931.66 c #Conflicts: 1293000 | #Constraints: 36796
2923.46/2931.66 c #Conflicts: 1294000 | #Constraints: 37796
2923.46/2931.66 c #Conflicts: 1295000 | #Constraints: 38796
2923.46/2931.66 c #Conflicts: 1296000 | #Constraints: 39796
2923.46/2931.66 c #Conflicts: 1297000 | #Constraints: 40796
2923.46/2931.66 c #Conflicts: 1298000 | #Constraints: 41796
2923.46/2931.66 c #Conflicts: 1299000 | #Constraints: 42796
2923.46/2931.66 c #Conflicts: 1300000 | #Constraints: 43796
2923.46/2931.66 c #Conflicts: 1301000 | #Constraints: 44796
2923.46/2931.66 c #Conflicts: 1302000 | #Constraints: 45796
2923.46/2931.66 c INPROCESSING
2923.46/2931.66 c GARBAGE COLLECT
2923.46/2931.66 c #Conflicts: 1303000 | #Constraints: 24197
2923.46/2931.66 c #Conflicts: 1304000 | #Constraints: 25197
2923.46/2931.66 c #Conflicts: 1305000 | #Constraints: 26197
2923.46/2931.66 c #Conflicts: 1306000 | #Constraints: 27197
2923.46/2931.66 c #Conflicts: 1307000 | #Constraints: 28197
2923.46/2931.66 c #Conflicts: 1308000 | #Constraints: 29197
2923.46/2931.66 c #Conflicts: 1309000 | #Constraints: 30197
2923.46/2931.66 c #Conflicts: 1310000 | #Constraints: 31197
2923.46/2931.66 c #Conflicts: 1311000 | #Constraints: 32197
2923.46/2931.66 c #Conflicts: 1312000 | #Constraints: 33197
2923.46/2931.66 c #Conflicts: 1313000 | #Constraints: 34197
2923.46/2931.66 c #Conflicts: 1314000 | #Constraints: 35197
2923.46/2931.66 c #Conflicts: 1315000 | #Constraints: 36197
2923.46/2931.66 c #Conflicts: 1316000 | #Constraints: 37197
2923.46/2931.66 c #Conflicts: 1317000 | #Constraints: 38197
2923.46/2931.66 c #Conflicts: 1318000 | #Constraints: 39197
2923.46/2931.66 c #Conflicts: 1319000 | #Constraints: 40197
2923.46/2931.66 c #Conflicts: 1320000 | #Constraints: 41197
3300.00/3309.23 c #Conflicts: 1321000 | #Constraints: 42197
3300.00/3309.23 c #Conflicts: 1322000 | #Constraints: 43197
3300.00/3309.23 c #Conflicts: 1323000 | #Constraints: 44197
3300.00/3309.23 c #Conflicts: 1324000 | #Constraints: 45197
3300.00/3309.23 c #Conflicts: 1325000 | #Constraints: 46197
3300.00/3309.23 c INPROCESSING
3300.00/3309.23 c GARBAGE COLLECT
3300.00/3309.23 c #Conflicts: 1326000 | #Constraints: 24398
3300.00/3309.23 c #Conflicts: 1327000 | #Constraints: 25398
3300.00/3309.23 c #Conflicts: 1328000 | #Constraints: 26398
3300.00/3309.23 c #Conflicts: 1329000 | #Constraints: 27398
3300.00/3309.23 c #Conflicts: 1330000 | #Constraints: 28398
3300.00/3309.23 c #Conflicts: 1331000 | #Constraints: 29398
3300.00/3309.23 c #Conflicts: 1332000 | #Constraints: 30398
3300.00/3309.23 c #Conflicts: 1333000 | #Constraints: 31398
3300.00/3309.23 c #Conflicts: 1334000 | #Constraints: 32398
3300.00/3309.23 c #Conflicts: 1335000 | #Constraints: 33398
3300.00/3309.23 c #Conflicts: 1336000 | #Constraints: 34398
3300.00/3309.23 c #Conflicts: 1337000 | #Constraints: 35398
3300.00/3309.23 c #Conflicts: 1338000 | #Constraints: 36398
3300.00/3309.23 c #Conflicts: 1339000 | #Constraints: 37398
3300.00/3309.23 c #Conflicts: 1340000 | #Constraints: 38398
3300.00/3309.23 c #Conflicts: 1341000 | #Constraints: 39398
3300.00/3309.23 c #Conflicts: 1342000 | #Constraints: 40398
3300.00/3309.23 c #Conflicts: 1343000 | #Constraints: 41398
3300.00/3309.23 c #Conflicts: 1344000 | #Constraints: 42398
3300.00/3309.23 c #Conflicts: 1345000 | #Constraints: 43398
3300.00/3309.23 c #Conflicts: 1346000 | #Constraints: 44398
3300.00/3309.23 c #Conflicts: 1347000 | #Constraints: 45398
3300.00/3309.23 c #Conflicts: 1348000 | #Constraints: 46398
3300.00/3309.23 c INPROCESSING
3300.00/3309.23 c GARBAGE COLLECT
3300.00/3309.23 c #Conflicts: 1349000 | #Constraints: 24403
3300.00/3309.23 c #Conflicts: 1350000 | #Constraints: 25403
3300.00/3309.23 c #Conflicts: 1351000 | #Constraints: 26403
3300.00/3309.23 c #Conflicts: 1352000 | #Constraints: 27403
3300.00/3309.23 c #Conflicts: 1353000 | #Constraints: 28403
3300.00/3309.23 c #Conflicts: 1354000 | #Constraints: 29403
3300.00/3309.23 c #Conflicts: 1355000 | #Constraints: 30403
3300.00/3309.23 c #Conflicts: 1356000 | #Constraints: 31403
3300.00/3309.23 c #Conflicts: 1357000 | #Constraints: 32403
3300.00/3309.23 c #Conflicts: 1358000 | #Constraints: 33403
3300.00/3309.23 c #Conflicts: 1359000 | #Constraints: 34403
3300.00/3309.23 c #Conflicts: 1360000 | #Constraints: 35403
3300.00/3309.23 c #Conflicts: 1361000 | #Constraints: 36403
3300.00/3309.23 c #Conflicts: 1362000 | #Constraints: 37403
3300.00/3309.23 c #Conflicts: 1363000 | #Constraints: 38403
3300.00/3309.23 c #Conflicts: 1364000 | #Constraints: 39403
3300.00/3309.23 c #Conflicts: 1365000 | #Constraints: 40403
3300.00/3309.23 c #Conflicts: 1366000 | #Constraints: 41403
3300.00/3309.23 c #Conflicts: 1367000 | #Constraints: 42403
3300.00/3309.23 c #Conflicts: 1368000 | #Constraints: 43403
3300.00/3309.23 c #Conflicts: 1369000 | #Constraints: 44403
3300.00/3309.23 c #Conflicts: 1370000 | #Constraints: 45403
3300.00/3309.23 c #Conflicts: 1371000 | #Constraints: 46403
3300.00/3309.23 c INPROCESSING
3300.00/3309.23 c GARBAGE COLLECT
3300.00/3309.23 c #Conflicts: 1372000 | #Constraints: 24199
3300.00/3309.23 c #Conflicts: 1373000 | #Constraints: 25199
3300.00/3309.23 c #Conflicts: 1374000 | #Constraints: 26199
3300.00/3309.23 c #Conflicts: 1375000 | #Constraints: 27199
3300.00/3309.23 c #Conflicts: 1376000 | #Constraints: 28199
3300.00/3309.23 c #Conflicts: 1377000 | #Constraints: 29199
3300.00/3309.23 c #Conflicts: 1378000 | #Constraints: 30199
3300.00/3309.23 c #Conflicts: 1379000 | #Constraints: 31199
3300.00/3309.23 c #Conflicts: 1380000 | #Constraints: 32199
3300.00/3309.23 c #Conflicts: 1381000 | #Constraints: 33199
3300.00/3309.23 c #Conflicts: 1382000 | #Constraints: 34199
3300.00/3309.23 c #Conflicts: 1383000 | #Constraints: 35199
3300.00/3309.23 c #Conflicts: 1384000 | #Constraints: 36199
3300.00/3309.23 c #Conflicts: 1385000 | #Constraints: 37199
3300.00/3309.23 c #Conflicts: 1386000 | #Constraints: 38199
3300.00/3309.23 c #Conflicts: 1387000 | #Constraints: 39199
3300.00/3309.23 c #Conflicts: 1388000 | #Constraints: 40199
3300.00/3309.23 c #Conflicts: 1389000 | #Constraints: 41199
3300.00/3309.23 c #Conflicts: 1390000 | #Constraints: 42199
3300.00/3309.23 c #Conflicts: 1391000 | #Constraints: 43199
3300.00/3309.23 c #Conflicts: 1392000 | #Constraints: 44199
3300.00/3309.23 c #Conflicts: 1393000 | #Constraints: 45199
3300.00/3309.23 c #Conflicts: 1394000 | #Constraints: 46199
3300.00/3309.23 c #Conflicts: 1395000 | #Constraints: 47199
3300.00/3309.23 c INPROCESSING
3300.00/3309.23 c GARBAGE COLLECT
3300.00/3309.23 c #Conflicts: 1396000 | #Constraints: 24794
3300.00/3309.23 c #Conflicts: 1397000 | #Constraints: 25794
3600.06/3610.10 c #Conflicts: 1398000 | #Constraints: 26794
3600.06/3610.10 c #Conflicts: 1399000 | #Constraints: 27794
3600.06/3610.10 c #Conflicts: 1400000 | #Constraints: 28794
3600.06/3610.10 c #Conflicts: 1401000 | #Constraints: 29794
3600.06/3610.10 c #Conflicts: 1402000 | #Constraints: 30794
3600.06/3610.10 c #Conflicts: 1403000 | #Constraints: 31794
3600.06/3610.10 c #Conflicts: 1404000 | #Constraints: 32794
3600.06/3610.10 c #Conflicts: 1405000 | #Constraints: 33794
3600.06/3610.10 c #Conflicts: 1406000 | #Constraints: 34794
3600.06/3610.10 c #Conflicts: 1407000 | #Constraints: 35794
3600.06/3610.10 c #Conflicts: 1408000 | #Constraints: 36794
3600.06/3610.10 c #Conflicts: 1409000 | #Constraints: 37794
3600.06/3610.10 c #Conflicts: 1410000 | #Constraints: 38794
3600.06/3610.10 c #Conflicts: 1411000 | #Constraints: 39794
3600.06/3610.10 c #Conflicts: 1412000 | #Constraints: 40794
3600.06/3610.10 c #Conflicts: 1413000 | #Constraints: 41794
3600.06/3610.10 c #Conflicts: 1414000 | #Constraints: 42794
3600.06/3610.10 c #Conflicts: 1415000 | #Constraints: 43794
3600.06/3610.10 c #Conflicts: 1416000 | #Constraints: 44794
3600.06/3610.10 c #Conflicts: 1417000 | #Constraints: 45794
3600.06/3610.10 c #Conflicts: 1418000 | #Constraints: 46794
3600.06/3610.10 c #Conflicts: 1419000 | #Constraints: 47794
3600.06/3610.10 c INPROCESSING
3600.06/3610.10 c GARBAGE COLLECT
3600.06/3610.10 c #Conflicts: 1420000 | #Constraints: 25202
3600.06/3610.10 c #Conflicts: 1421000 | #Constraints: 26202
3600.06/3610.10 c #Conflicts: 1422000 | #Constraints: 27202
3600.06/3610.10 c #Conflicts: 1423000 | #Constraints: 28202
3600.06/3610.10 c #Conflicts: 1424000 | #Constraints: 29202
3600.06/3610.10 c #Conflicts: 1425000 | #Constraints: 30202
3600.06/3610.10 c #Conflicts: 1426000 | #Constraints: 31202
3600.06/3610.10 c #Conflicts: 1427000 | #Constraints: 32202
3600.06/3610.10 c #Conflicts: 1428000 | #Constraints: 33202
3600.06/3610.10 c #Conflicts: 1429000 | #Constraints: 34202
3600.06/3610.10 c #Conflicts: 1430000 | #Constraints: 35202
3600.06/3610.10 c #Conflicts: 1431000 | #Constraints: 36202
3600.06/3610.10 c #Conflicts: 1432000 | #Constraints: 37202
3600.06/3610.10 c #Conflicts: 1433000 | #Constraints: 38202
3600.06/3610.10 c #Conflicts: 1434000 | #Constraints: 39202
3600.06/3610.10 c #Conflicts: 1435000 | #Constraints: 40202
3600.06/3610.10 c #Conflicts: 1436000 | #Constraints: 41202
3600.06/3610.10 c #Conflicts: 1437000 | #Constraints: 42202
3600.06/3610.10 c #Conflicts: 1438000 | #Constraints: 43202
3600.06/3610.10 c #Conflicts: 1439000 | #Constraints: 44202
3600.06/3610.10 c #Conflicts: 1440000 | #Constraints: 45202
3600.06/3610.10 c #Conflicts: 1441000 | #Constraints: 46202
3600.06/3610.10 c #Conflicts: 1442000 | #Constraints: 47202
3600.06/3610.10 c #Conflicts: 1443000 | #Constraints: 48202
3600.06/3610.10 c INPROCESSING
3600.06/3610.10 c GARBAGE COLLECT
3600.06/3610.10 c #Conflicts: 1444000 | #Constraints: 25400
3600.06/3610.10 c #Conflicts: 1445000 | #Constraints: 26400
3600.06/3610.10 c #Conflicts: 1446000 | #Constraints: 27400
3600.06/3610.10 c #Conflicts: 1447000 | #Constraints: 28400
3600.06/3610.10 c #Conflicts: 1448000 | #Constraints: 29400
3600.06/3610.10 c #Conflicts: 1449000 | #Constraints: 30400
3600.06/3610.10 c #Conflicts: 1450000 | #Constraints: 31400
3600.06/3610.10 c #Conflicts: 1451000 | #Constraints: 32400
3600.06/3610.10 c #Conflicts: 1452000 | #Constraints: 33400
3600.06/3610.10 c #Conflicts: 1453000 | #Constraints: 34400
3600.06/3610.10 c #Conflicts: 1454000 | #Constraints: 35400
3600.06/3610.10 c #Conflicts: 1455000 | #Constraints: 36400
3600.06/3610.10 c #Conflicts: 1456000 | #Constraints: 37400
3600.06/3610.10 c #Conflicts: 1457000 | #Constraints: 38400
3600.06/3610.10 c cpu time 3591.62 s
3600.06/3610.10 c deterministic time 1 1.00e+00
3600.06/3610.10 c optimization time 3591.62 s
3600.06/3610.10 c total solve time 0 s
3600.06/3610.10 c core-guided solve time 0 s
3600.06/3610.10 c propagation time 1e-05 s
3600.06/3610.10 c conflict analysis time 0 s
3600.06/3610.10 c propagations 0
3600.06/3610.10 c resolve steps 0
3600.06/3610.10 c decisions 0
3600.06/3610.10 c conflicts 0
3600.06/3610.10 c restarts 0
3600.06/3610.10 c inprocessing phases 0
3600.06/3610.10 c garbage collections 0 ,( -nan )
3600.06/3610.10 c input clauses 0 ,( 0.00 )
3600.06/3610.10 c input cardinalities 0 ,( 0.00 )
3600.06/3610.10 c input general constraints 479 ,( 100.00 )
3600.06/3610.10 c input average constraint length 8.99
3600.06/3610.10 c input average constraint degree 28.90
3600.06/3610.10 c learned clauses 0 ,( 0.00 )
3600.06/3610.10 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.10 c learned general constraints 0 ,( 0.00 )
3600.06/3610.10 c learned average constraint length 0.00
3600.06/3610.10 c learned average constraint degree 0.00
3600.06/3610.10 c watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
3600.06/3610.10 c counting CF 32, 64, 128, Arb: 474 , 0 , 0 , 0
3600.06/3610.10 c watched constraints 6 ,( 1.25 )
3600.06/3610.10 c counting constraints 473 ,( 98.75 )
3600.06/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.10 c gcd simplifications 0
3600.06/3610.10 c detected cardinalities 0
3600.06/3610.10 c weakened non-implied lits 0
3600.06/3610.10 c weakened non-implying lits 0
3600.06/3610.10 c original variables 479
3600.06/3610.10 c clausal propagations 0
3600.06/3610.10 c cardinality propagations 0
3600.06/3610.10 c watched propagations 0
3600.06/3610.10 c counting propagations 0
3600.06/3610.10 c watch lookups 0
3600.06/3610.10 c watch backjump lookups 0
3600.06/3610.10 c watch checks 0
3600.06/3610.10 c propagation checks 0
3600.06/3610.10 c constraint additions 0
3600.06/3610.10 c trail pops 0
3600.06/3610.10 c formula constraints 479
3600.06/3610.10 c learned constraints 0
3600.06/3610.10 c bound constraints 0
3600.06/3610.10 c core-guided constraints 0
3600.06/3610.10 c encountered formula constraints 0
3600.06/3610.10 c encountered learned constraints 0
3600.06/3610.10 c encountered bound constraints 0
3600.06/3610.10 c encountered core-guided constraints 0
3600.06/3610.10 c LP total time 0 s
3600.06/3610.10 c LP solve time 0 s
3600.06/3610.10 c LP constraints added 0
3600.06/3610.10 c LP constraints removed 0
3600.06/3610.10 c LP pivots internal 0
3600.06/3610.10 c LP pivots root 0
3600.06/3610.10 c LP calls 0
3600.06/3610.10 c LP optimalities 0
3600.06/3610.10 c LP no pivot count 0
3600.06/3610.10 c LP infeasibilities 0
3600.06/3610.10 c LP valid Farkas constraints 0
3600.06/3610.10 c LP learned Farkas constraints 0
3600.06/3610.10 c LP basis resets 0
3600.06/3610.10 c LP cycling count 0
3600.06/3610.10 c LP singular count 0
3600.06/3610.10 c LP no primal count 0
3600.06/3610.10 c LP no farkas count 0
3600.06/3610.10 c LP other issue count 0
3600.06/3610.10 c LP Gomory cuts 0
3600.06/3610.10 c LP learned cuts 0
3600.06/3610.10 c LP deleted cuts 0
3600.06/3610.10 c LP encountered Gomory constraints 0
3600.06/3610.10 c LP encountered Farkas constraints 0
3600.06/3610.10 c LP encountered learned Farkas constraints 0
3600.06/3610.10 c CG auxiliary variables introduced 0
3600.06/3610.10 c CG solutions found 0
3600.06/3610.10 c CG cores constructed 0
3600.06/3610.10 c CG core cardinality constraints returned 0
3600.06/3610.10 c CG unit cores 0
3600.06/3610.10 c CG single cores 0
3600.06/3610.10 c CG blocks removed during cardinality reduction 0
3600.06/3610.10 c CG first core best 0
3600.06/3610.10 c CG decision core best 0
3600.06/3610.10 c CG core reduction tie 0
3600.06/3610.10 c CG core degree average 0.00
3600.06/3610.10 c CG core slack average 0.00
3600.06/3610.10 c CG core upper bound improvements 0
3600.06/3610.10 c STR number of successful calls 0
3600.06/3610.10 c STR number of unsuccessful calls 0
3600.06/3610.10 c STR number of inconclusive calls 0
3600.06/3610.10 c STR number of successful attempts 0
3600.06/3610.10 c STR number of unsuccessful attempts 0
3600.06/3610.10 c STR number of inconclusive attempts 0
3600.06/3610.10 c STR average degree increase per successful call inf
3600.06/3610.10 c STR average degree increase per successful attempt inf
3600.06/3610.10 c STR total number of conflicts for successful attempts 0
3600.06/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10 c STR average number of conflicts per successful attempt inf
3600.06/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10 c AVG.sumWPerc 72.50
3600.06/3610.10 c bigint constraints 0
3600.06/3610.10 s UNKNOWN
3600.06/3610.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63031 MiB free)
memory of node 1: 64465 MiB (64055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489138-1751355440/watcher-4489138-1751355440 -o /tmp/evaluation-result-4489138-1751355440/solver-4489138-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50577 --watchdog 3760 run-opt.sh HOME/instance-4489138-1751355440.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51358, runsolver pid=51350
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.04 4.07 4.08 3/257 51379
/proc/meminfo: memFree=130113240/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=62612 memory=15276 CPUtime=0.07 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 1259 0 0 0 6 1 0 0 20 0 1 0 51221492 64114688 3819 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 15653 3819 2336 1147 0 3080 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66804 KiB
Current children cumulated memory: 18220 KiB
[startup+0.205113 s]*
/proc/loadavg: 4.04 4.07 4.08 4/263 51388
/proc/meminfo: memFree=130100932/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=68244 memory=20652 CPUtime=0.17 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 2581 0 0 0 16 1 0 0 20 0 1 0 51221492 69881856 5163 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 17061 5163 2336 1147 0 4488 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72436 KiB
Current children cumulated memory: 23596 KiB
[startup+0.30538 s]*
/proc/loadavg: 4.04 4.07 4.08 6/267 51399
/proc/meminfo: memFree=130092580/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=68548 memory=22444 CPUtime=0.27 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 3045 0 0 0 25 2 0 0 20 0 1 0 51221492 70193152 5611 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 17137 5611 2336 1147 0 4564 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72740 KiB
Current children cumulated memory: 25388 KiB
[startup+0.700172 s]
/proc/loadavg: 4.04 4.07 4.08 6/267 51399
/proc/meminfo: memFree=130089168/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=78760 memory=30380 CPUtime=0.65 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 5026 0 0 0 62 3 0 0 20 0 1 0 51221492 80650240 7595 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 19690 7595 2336 1147 0 7117 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 82952 KiB
Current children cumulated memory: 33324 KiB
[startup+1.50021 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130062128/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=92876 memory=39724 CPUtime=1.45 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 7354 0 0 0 140 5 0 0 20 0 1 0 51221492 95105024 9931 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 23219 9931 2336 1147 0 10646 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 97068 KiB
Current children cumulated memory: 42668 KiB
[startup+3.10534 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130007912/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=98768 memory=47424 CPUtime=3.06 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 8776 0 0 0 298 8 0 0 20 0 1 0 51221492 101138432 11856 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 24692 11856 2336 1147 0 12119 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 102960 KiB
Current children cumulated memory: 50368 KiB
[startup+6.30019 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130007532/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=107676 memory=52160 CPUtime=6.24 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 9956 0 0 0 613 11 0 0 20 0 1 0 51221492 110260224 13040 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 26919 13040 2336 1147 0 14346 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 111868 KiB
Current children cumulated memory: 55104 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 51399
/proc/meminfo: memFree=129937360/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=124636 memory=66512 CPUtime=12.63 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 13037 0 0 0 1239 24 0 0 20 0 1 0 51221492 127627264 16628 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 31159 16628 2336 1147 0 18586 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 128828 KiB
Current children cumulated memory: 69456 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 51400
/proc/meminfo: memFree=129844748/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=133344 memory=79324 CPUtime=25.38 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 15525 0 0 0 2501 37 0 0 20 0 1 0 51221492 136544256 19831 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 33336 19831 2336 1147 0 20763 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 137536 KiB
Current children cumulated memory: 82268 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 51401
/proc/meminfo: memFree=129797096/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=150140 memory=98580 CPUtime=50.93 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 17807 0 0 0 5031 62 0 0 20 0 1 0 51221492 153743360 24645 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 37535 24645 2336 1147 0 24962 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 154332 KiB
Current children cumulated memory: 101524 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/269 51404
/proc/meminfo: memFree=129641952/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=209912 memory=128064 CPUtime=102 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 24185 0 0 0 10102 98 0 0 20 0 1 0 51221492 214949888 32016 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 52478 32016 2336 1147 0 39905 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 214104 KiB
Current children cumulated memory: 131008 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51409
/proc/meminfo: memFree=129557432/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=217972 memory=139956 CPUtime=161.84 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 26139 0 0 0 16050 134 0 0 20 0 1 0 51221492 223203328 34989 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 54493 34989 2336 1147 0 41920 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 222164 KiB
Current children cumulated memory: 142900 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 51411
/proc/meminfo: memFree=129437336/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=301640 memory=212832 CPUtime=221.67 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 44086 0 0 0 21995 172 0 0 20 0 1 0 51221492 308879360 53208 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 75410 53208 2336 1147 0 62837 0
################
# More data... #
################
/proc/51361/statm: 134172 103104 2336 1147 0 121599 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 540880 KiB
Current children cumulated memory: 415360 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/270 51575
/proc/meminfo: memFree=128475212/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=540124 memory=430520 CPUtime=3153.47 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 88126 0 0 0 314555 792 0 0 20 0 1 0 51221492 553086976 107630 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 135031 107630 2336 1147 0 122458 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 544316 KiB
Current children cumulated memory: 433464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 51577
/proc/meminfo: memFree=128470968/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=543852 memory=433964 CPUtime=3213.32 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 89200 0 0 0 320531 801 0 0 20 0 1 0 51221492 556904448 108491 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 135963 108491 2336 1147 0 123390 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 436908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 51579
/proc/meminfo: memFree=128470936/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=547952 memory=434792 CPUtime=3273.16 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 90178 0 0 0 326509 807 0 0 20 0 1 0 51221492 561102848 108698 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 136988 108698 2336 1147 0 124415 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 552144 KiB
Current children cumulated memory: 437736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 51586
/proc/meminfo: memFree=128445108/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=555332 memory=436656 CPUtime=3333 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 92065 0 0 0 332485 815 0 0 20 0 1 0 51221492 568659968 109164 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 138833 109164 2336 1147 0 126260 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 559524 KiB
Current children cumulated memory: 439600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 51588
/proc/meminfo: memFree=128418708/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=556960 memory=436780 CPUtime=3392.84 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 92492 0 0 0 338464 820 0 0 20 0 1 0 51221492 570327040 109195 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 139240 109195 2336 1147 0 126667 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 561152 KiB
Current children cumulated memory: 439724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 51590
/proc/meminfo: memFree=128418584/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=558628 memory=437548 CPUtime=3452.68 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 92980 0 0 0 344441 827 0 0 20 0 1 0 51221492 572035072 109387 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 139657 109387 2336 1147 0 127084 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 562820 KiB
Current children cumulated memory: 440492 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 51592
/proc/meminfo: memFree=128410220/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=559144 memory=437672 CPUtime=3512.51 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 93131 0 0 0 350416 835 0 0 20 0 1 0 51221492 572563456 109418 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 139786 109418 2336 1147 0 127213 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 563336 KiB
Current children cumulated memory: 440616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51594
/proc/meminfo: memFree=128361656/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=561076 memory=438940 CPUtime=3572.34 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 93614 0 0 0 356393 841 0 0 20 0 1 0 51221492 574541824 109735 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 140269 109735 2336 1147 0 127696 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 565268 KiB
Current children cumulated memory: 441884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.25 4.12 4.10 4/265 51595
/proc/meminfo: memFree=128762356/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=561076 memory=438940 CPUtime=3600.06 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 93614 0 0 0 359162 844 0 0 20 0 1 0 51221492 574541824 109735 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 140269 109735 2336 1147 0 127696 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 565268 KiB
Current children cumulated memory: 441884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 51358 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.001999 s
[startup+3610.12 s]
# the end of solver process 51361 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3591.63 s, system=8.46317 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.25 4.12 4.10 4/265 51595
/proc/meminfo: memFree=128762356/131249996 swapFree=33006296/33010684
[pid=51358] ppid=51350 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51358/stat : 51358 (run-opt.sh) S 51350 51358 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221491 4292608 736 18446744073709551615 94545692565504 94545693460037 140723357203184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94545693699088 94545693746832 94545704730624 140723357206893 140723357207016 140723357207016 140723357212618 0
/proc/51358/statm: 1048 736 672 219 0 110 0
[pid=51361] ppid=51358 vsize=561076 memory=438940 CPUtime=3600.06 cores=4,6
/proc/51361/stat : 51361 (roundingsat) R 51358 51358 50566 0 -1 4194304 93614 0 0 0 359162 844 0 0 20 0 1 0 51221492 574541824 109735 18446744073709551615 4227072 8923433 140731212344848 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38096896 140731212347810 140731212347944 140731212347944 140731212353514 0
/proc/51361/statm: 140269 109735 2336 1147 0 127696 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 565268 KiB
Current children cumulated memory: 441884 KiB
Child status: 2
Real time (s): 3610.12
CPU time (s): 3600.09
CPU user time (s): 3591.63
CPU system time (s): 8.46317
CPU usage (%): 99.7222
Max. virtual memory (cumulated for all children) (KiB): 565268
Max. memory (cumulated for all children) (KiB): 441884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.63
system time used= 8.46317
maximum resident set size= 439324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283
involuntary context switches= 4022
# summary of solver processes directly reported to runsolver:
# pid: 51358,51361
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.63
# total CPU system time (s): 8.46317
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32388 second user time and 16.5496 second system time
The end
Begin job on nodeC015 at 2025-07-01 09:37:20
IDJOB=4489138
IDBENCH=147541
IDSOLVER=3350
FILE ID=nodeC015/4489138-1751355440
RUNJOBID= nodeC015-1751348216-50577
SLURM_JOB_ID= 9598120
Free space on /tmp= 433004 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489138-1751355440/watcher-4489138-1751355440 -o /tmp/evaluation-result-4489138-1751355440/solver-4489138-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50577 --watchdog 3760 run-opt.sh HOME/instance-4489138-1751355440.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=1503438144
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.566
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.14
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 : 3600.173
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.14
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.222
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.954
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.14
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.056
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.14
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 : 3600.076
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.322
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.14
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 : 3598.949
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130129588 kB
MemAvailable: 129769136 kB
Buffers: 1508 kB
Cached: 394700 kB
SwapCached: 3876 kB
Active: 316296 kB
Inactive: 160624 kB
Active(anon): 45776 kB
Inactive(anon): 49080 kB
Active(file): 270520 kB
Inactive(file): 111544 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7520 kB
Writeback: 0 kB
AnonPages: 80236 kB
Mapped: 99420 kB
Shmem: 14144 kB
KReclaimable: 132392 kB
Slab: 222264 kB
SReclaimable: 132392 kB
SUnreclaim: 89872 kB
KernelStack: 4080 kB
PageTables: 3004 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 350312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 10:37:30