0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.29/0.32 c #variables 5363 #constraints 78527
5.97/6.01 c #Conflicts: 1000 | #Constraints: 79526
5.97/6.01 c #Conflicts: 2000 | #Constraints: 80526
5.97/6.01 c INPROCESSING
5.97/6.01 c GARBAGE COLLECT
5.97/6.01 c #Conflicts: 3000 | #Constraints: 80543
5.97/6.01 c #Conflicts: 4000 | #Constraints: 81543
5.97/6.01 c INPROCESSING
5.97/6.01 c GARBAGE COLLECT
5.97/6.01 c #Conflicts: 5000 | #Constraints: 80950
5.97/6.01 c #Conflicts: 6000 | #Constraints: 81950
5.97/6.01 c INPROCESSING
5.97/6.01 c GARBAGE COLLECT
5.97/6.01 c #Conflicts: 7000 | #Constraints: 80953
5.97/6.01 c #Conflicts: 8000 | #Constraints: 81953
5.97/6.01 c #Conflicts: 9000 | #Constraints: 82953
5.97/6.01 c INPROCESSING
5.97/6.01 c GARBAGE COLLECT
5.97/6.01 c #Conflicts: 10000 | #Constraints: 81656
5.97/6.01 c #Conflicts: 11000 | #Constraints: 82656
5.97/6.01 c #Conflicts: 12000 | #Constraints: 83656
5.97/6.01 c INPROCESSING
5.97/6.01 c GARBAGE COLLECT
5.97/6.01 c rational objective 71.6562
8.15/8.22 c #Conflicts: 13000 | #Constraints: 82122
8.15/8.22 c #Conflicts: 14000 | #Constraints: 83122
8.15/8.22 c #Conflicts: 15000 | #Constraints: 84122
8.15/8.22 c INPROCESSING
8.15/8.22 c GARBAGE COLLECT
8.15/8.22 c rational objective 71.7812
11.55/11.65 c #Conflicts: 16000 | #Constraints: 82356
11.55/11.65 c #Conflicts: 17000 | #Constraints: 83356
11.55/11.65 c #Conflicts: 18000 | #Constraints: 84356
11.55/11.65 c INPROCESSING
11.55/11.65 c GARBAGE COLLECT
11.55/11.65 c rational objective 71.875
15.83/16.00 c #Conflicts: 19000 | #Constraints: 82378
15.83/16.00 c #Conflicts: 20000 | #Constraints: 83378
15.83/16.00 c #Conflicts: 21000 | #Constraints: 84378
15.83/16.00 c INPROCESSING
15.83/16.00 c GARBAGE COLLECT
15.83/16.00 c #Conflicts: 22000 | #Constraints: 82170
15.83/16.00 c #Conflicts: 23000 | #Constraints: 83170
15.83/16.00 c #Conflicts: 24000 | #Constraints: 84170
15.83/16.00 c #Conflicts: 25000 | #Constraints: 85170
15.83/16.00 c INPROCESSING
15.83/16.00 c GARBAGE COLLECT
15.83/16.00 c rational objective 72.0312
45.07/45.24 c #Conflicts: 26000 | #Constraints: 82771
45.07/45.24 c #Conflicts: 27000 | #Constraints: 83771
45.07/45.24 c #Conflicts: 28000 | #Constraints: 84772
45.07/45.24 c #Conflicts: 29000 | #Constraints: 85772
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 30000 | #Constraints: 83164
45.07/45.24 c #Conflicts: 31000 | #Constraints: 84164
45.07/45.24 c #Conflicts: 32000 | #Constraints: 85164
45.07/45.24 c #Conflicts: 33000 | #Constraints: 86164
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 34000 | #Constraints: 83368
45.07/45.24 c #Conflicts: 35000 | #Constraints: 84368
45.07/45.24 c #Conflicts: 36000 | #Constraints: 85368
45.07/45.24 c #Conflicts: 37000 | #Constraints: 86368
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 38000 | #Constraints: 83396
45.07/45.24 c #Conflicts: 39000 | #Constraints: 84396
45.07/45.24 c #Conflicts: 40000 | #Constraints: 85396
45.07/45.24 c #Conflicts: 41000 | #Constraints: 86396
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 42000 | #Constraints: 83196
45.07/45.24 c #Conflicts: 43000 | #Constraints: 84196
45.07/45.24 c #Conflicts: 44000 | #Constraints: 85196
45.07/45.24 c #Conflicts: 45000 | #Constraints: 86196
45.07/45.24 c #Conflicts: 46000 | #Constraints: 87196
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 47000 | #Constraints: 83773
45.07/45.24 c #Conflicts: 48000 | #Constraints: 84773
45.07/45.24 c #Conflicts: 49000 | #Constraints: 85773
45.07/45.24 c #Conflicts: 50000 | #Constraints: 86773
45.07/45.24 c #Conflicts: 51000 | #Constraints: 87773
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 52000 | #Constraints: 84176
45.07/45.24 c #Conflicts: 53000 | #Constraints: 85176
45.07/45.24 c #Conflicts: 54000 | #Constraints: 86176
45.07/45.24 c #Conflicts: 55000 | #Constraints: 87176
45.07/45.24 c #Conflicts: 56000 | #Constraints: 88176
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 57000 | #Constraints: 84372
45.07/45.24 c #Conflicts: 58000 | #Constraints: 85372
45.07/45.24 c #Conflicts: 59000 | #Constraints: 86372
45.07/45.24 c #Conflicts: 60000 | #Constraints: 87372
45.07/45.24 c #Conflicts: 61000 | #Constraints: 88372
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c #Conflicts: 62000 | #Constraints: 84384
45.07/45.24 c #Conflicts: 63000 | #Constraints: 85384
45.07/45.24 c #Conflicts: 64000 | #Constraints: 86384
45.07/45.24 c #Conflicts: 65000 | #Constraints: 87384
45.07/45.24 c #Conflicts: 66000 | #Constraints: 88384
45.07/45.24 c INPROCESSING
45.07/45.24 c GARBAGE COLLECT
45.07/45.24 c rational objective 72.1875
53.05/53.23 c #Conflicts: 67000 | #Constraints: 84177
53.05/53.23 c #Conflicts: 68000 | #Constraints: 85177
53.05/53.23 c #Conflicts: 69000 | #Constraints: 86177
53.05/53.23 c #Conflicts: 70000 | #Constraints: 87177
53.05/53.23 c #Conflicts: 71000 | #Constraints: 88177
53.05/53.23 c #Conflicts: 72000 | #Constraints: 89177
53.05/53.23 c INPROCESSING
53.05/53.23 c GARBAGE COLLECT
53.05/53.23 c #Conflicts: 73000 | #Constraints: 84787
53.05/53.23 c #Conflicts: 74000 | #Constraints: 85787
53.05/53.23 c #Conflicts: 75000 | #Constraints: 86787
53.05/53.23 c #Conflicts: 76000 | #Constraints: 87787
53.05/53.23 c #Conflicts: 77000 | #Constraints: 88787
53.05/53.23 c #Conflicts: 78000 | #Constraints: 89787
53.05/53.23 c INPROCESSING
53.05/53.23 c GARBAGE COLLECT
53.05/53.23 c rational objective 72.3125
112.20/112.55 c #Conflicts: 79000 | #Constraints: 85182
112.20/112.55 c #Conflicts: 80000 | #Constraints: 86182
112.20/112.55 c #Conflicts: 81000 | #Constraints: 87182
112.20/112.55 c #Conflicts: 82000 | #Constraints: 88182
112.20/112.55 c #Conflicts: 83000 | #Constraints: 89182
112.20/112.55 c #Conflicts: 84000 | #Constraints: 90182
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 85000 | #Constraints: 85386
112.20/112.55 c #Conflicts: 86000 | #Constraints: 86386
112.20/112.55 c #Conflicts: 87000 | #Constraints: 87386
112.20/112.55 c #Conflicts: 88000 | #Constraints: 88386
112.20/112.55 c #Conflicts: 89000 | #Constraints: 89386
112.20/112.55 c #Conflicts: 90000 | #Constraints: 90386
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 91000 | #Constraints: 85391
112.20/112.55 c #Conflicts: 92000 | #Constraints: 86391
112.20/112.55 c #Conflicts: 93000 | #Constraints: 87391
112.20/112.55 c #Conflicts: 94000 | #Constraints: 88391
112.20/112.55 c #Conflicts: 95000 | #Constraints: 89391
112.20/112.55 c #Conflicts: 96000 | #Constraints: 90391
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 97000 | #Constraints: 85199
112.20/112.55 c #Conflicts: 98000 | #Constraints: 86199
112.20/112.55 c #Conflicts: 99000 | #Constraints: 87199
112.20/112.55 c #Conflicts: 100000 | #Constraints: 88199
112.20/112.55 c #Conflicts: 101000 | #Constraints: 89199
112.20/112.55 c #Conflicts: 102000 | #Constraints: 90199
112.20/112.55 c #Conflicts: 103000 | #Constraints: 91199
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 104000 | #Constraints: 85786
112.20/112.55 c #Conflicts: 105000 | #Constraints: 86786
112.20/112.55 c #Conflicts: 106000 | #Constraints: 87786
112.20/112.55 c #Conflicts: 107000 | #Constraints: 88786
112.20/112.55 c #Conflicts: 108000 | #Constraints: 89786
112.20/112.55 c #Conflicts: 109000 | #Constraints: 90786
112.20/112.55 c #Conflicts: 110000 | #Constraints: 91786
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 111000 | #Constraints: 86198
112.20/112.55 c #Conflicts: 112000 | #Constraints: 87198
112.20/112.55 c #Conflicts: 113000 | #Constraints: 88198
112.20/112.55 c #Conflicts: 114000 | #Constraints: 89198
112.20/112.55 c #Conflicts: 115000 | #Constraints: 90198
112.20/112.55 c #Conflicts: 116000 | #Constraints: 91198
112.20/112.55 c #Conflicts: 117000 | #Constraints: 92198
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 118000 | #Constraints: 86403
112.20/112.55 c #Conflicts: 119000 | #Constraints: 87403
112.20/112.55 c #Conflicts: 120000 | #Constraints: 88403
112.20/112.55 c #Conflicts: 121000 | #Constraints: 89403
112.20/112.55 c #Conflicts: 122000 | #Constraints: 90403
112.20/112.55 c #Conflicts: 123000 | #Constraints: 91403
112.20/112.55 c #Conflicts: 124000 | #Constraints: 92403
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 125000 | #Constraints: 86389
112.20/112.55 c #Conflicts: 126000 | #Constraints: 87389
112.20/112.55 c #Conflicts: 127000 | #Constraints: 88389
112.20/112.55 c #Conflicts: 128000 | #Constraints: 89389
112.20/112.55 c #Conflicts: 129000 | #Constraints: 90389
112.20/112.55 c #Conflicts: 130000 | #Constraints: 91389
112.20/112.55 c #Conflicts: 131000 | #Constraints: 92389
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 132000 | #Constraints: 86189
112.20/112.55 c #Conflicts: 133000 | #Constraints: 87189
112.20/112.55 c #Conflicts: 134000 | #Constraints: 88189
112.20/112.55 c #Conflicts: 135000 | #Constraints: 89189
112.20/112.55 c #Conflicts: 136000 | #Constraints: 90189
112.20/112.55 c #Conflicts: 137000 | #Constraints: 91189
112.20/112.55 c #Conflicts: 138000 | #Constraints: 92189
112.20/112.55 c #Conflicts: 139000 | #Constraints: 93189
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c #Conflicts: 140000 | #Constraints: 86796
112.20/112.55 c #Conflicts: 141000 | #Constraints: 87796
112.20/112.55 c #Conflicts: 142000 | #Constraints: 88796
112.20/112.55 c #Conflicts: 143000 | #Constraints: 89796
112.20/112.55 c #Conflicts: 144000 | #Constraints: 90796
112.20/112.55 c #Conflicts: 145000 | #Constraints: 91796
112.20/112.55 c #Conflicts: 146000 | #Constraints: 92796
112.20/112.55 c #Conflicts: 147000 | #Constraints: 93796
112.20/112.55 c INPROCESSING
112.20/112.55 c GARBAGE COLLECT
112.20/112.55 c rational objective 72.3281
117.58/117.96 c #Conflicts: 148000 | #Constraints: 87210
117.58/117.96 c #Conflicts: 149000 | #Constraints: 88210
117.58/117.96 c #Conflicts: 150000 | #Constraints: 89210
117.58/117.96 c #Conflicts: 151000 | #Constraints: 90210
117.58/117.96 c #Conflicts: 152000 | #Constraints: 91210
117.58/117.96 c #Conflicts: 153000 | #Constraints: 92210
117.58/117.96 c #Conflicts: 154000 | #Constraints: 93210
117.58/117.96 c #Conflicts: 155000 | #Constraints: 94210
117.58/117.96 c INPROCESSING
117.58/117.96 c GARBAGE COLLECT
117.58/117.96 c rational objective 72.4688
124.36/124.74 c #Conflicts: 156000 | #Constraints: 87405
124.36/124.74 c #Conflicts: 157000 | #Constraints: 88405
124.36/124.74 c #Conflicts: 158000 | #Constraints: 89405
124.36/124.74 c #Conflicts: 159000 | #Constraints: 90405
124.36/124.74 c #Conflicts: 160000 | #Constraints: 91405
124.36/124.74 c #Conflicts: 161000 | #Constraints: 92405
124.36/124.74 c #Conflicts: 162000 | #Constraints: 93406
124.36/124.74 c #Conflicts: 163000 | #Constraints: 94406
124.36/124.74 c INPROCESSING
124.36/124.74 c GARBAGE COLLECT
124.36/124.74 c rational objective 72.625
144.42/144.81 c #Conflicts: 164000 | #Constraints: 87410
144.42/144.81 c #Conflicts: 165000 | #Constraints: 88410
144.42/144.81 c #Conflicts: 166000 | #Constraints: 89410
144.42/144.81 c #Conflicts: 167000 | #Constraints: 90410
144.42/144.81 c #Conflicts: 168000 | #Constraints: 91410
144.42/144.81 c #Conflicts: 169000 | #Constraints: 92410
144.42/144.81 c #Conflicts: 170000 | #Constraints: 93410
144.42/144.81 c #Conflicts: 171000 | #Constraints: 94410
144.42/144.81 c INPROCESSING
144.42/144.81 c GARBAGE COLLECT
144.42/144.81 c #Conflicts: 172000 | #Constraints: 87198
144.42/144.81 c #Conflicts: 173000 | #Constraints: 88198
144.42/144.81 c #Conflicts: 174000 | #Constraints: 89198
144.42/144.81 c #Conflicts: 175000 | #Constraints: 90198
144.42/144.81 c #Conflicts: 176000 | #Constraints: 91198
144.42/144.81 c #Conflicts: 177000 | #Constraints: 92198
144.42/144.81 c #Conflicts: 178000 | #Constraints: 93199
144.42/144.81 c #Conflicts: 179000 | #Constraints: 94199
144.42/144.81 c #Conflicts: 180000 | #Constraints: 95199
144.42/144.81 c INPROCESSING
144.42/144.81 c GARBAGE COLLECT
144.42/144.81 c #Conflicts: 181000 | #Constraints: 87801
144.42/144.81 c #Conflicts: 182000 | #Constraints: 88801
144.42/144.81 c #Conflicts: 183000 | #Constraints: 89801
144.42/144.81 c #Conflicts: 184000 | #Constraints: 90801
144.42/144.81 c #Conflicts: 185000 | #Constraints: 91801
144.42/144.81 c #Conflicts: 186000 | #Constraints: 92801
144.42/144.81 c #Conflicts: 187000 | #Constraints: 93801
144.42/144.81 c #Conflicts: 188000 | #Constraints: 94801
144.42/144.81 c #Conflicts: 189000 | #Constraints: 95801
144.42/144.81 c INPROCESSING
144.42/144.81 c GARBAGE COLLECT
144.42/144.81 c rational objective 72.6563
165.07/165.55 c #Conflicts: 190000 | #Constraints: 88213
165.07/165.55 c #Conflicts: 191000 | #Constraints: 89213
165.07/165.55 c #Conflicts: 192000 | #Constraints: 90213
165.07/165.55 c #Conflicts: 193000 | #Constraints: 91214
165.07/165.55 c #Conflicts: 194000 | #Constraints: 92214
165.07/165.55 c #Conflicts: 195000 | #Constraints: 93214
165.07/165.55 c #Conflicts: 196000 | #Constraints: 94214
165.07/165.55 c #Conflicts: 197000 | #Constraints: 95214
165.07/165.55 c #Conflicts: 198000 | #Constraints: 96214
165.07/165.55 c INPROCESSING
165.07/165.55 c GARBAGE COLLECT
165.07/165.55 c #Conflicts: 199000 | #Constraints: 88406
165.07/165.55 c #Conflicts: 200000 | #Constraints: 89406
165.07/165.55 c #Conflicts: 201000 | #Constraints: 90406
165.07/165.55 c #Conflicts: 202000 | #Constraints: 91406
165.07/165.55 c #Conflicts: 203000 | #Constraints: 92406
165.07/165.55 c #Conflicts: 204000 | #Constraints: 93406
165.07/165.55 c #Conflicts: 205000 | #Constraints: 94406
165.07/165.55 c #Conflicts: 206000 | #Constraints: 95406
165.07/165.55 c #Conflicts: 207000 | #Constraints: 96406
165.07/165.55 c INPROCESSING
165.07/165.55 c GARBAGE COLLECT
165.07/165.55 c rational objective 72.7813
233.00/233.67 c #Conflicts: 208000 | #Constraints: 88419
233.00/233.67 c #Conflicts: 209000 | #Constraints: 89419
233.00/233.67 c #Conflicts: 210000 | #Constraints: 90419
233.00/233.67 c #Conflicts: 211000 | #Constraints: 91419
233.00/233.67 c #Conflicts: 212000 | #Constraints: 92420
233.00/233.67 c #Conflicts: 213000 | #Constraints: 93420
233.00/233.67 c #Conflicts: 214000 | #Constraints: 94420
233.00/233.67 c #Conflicts: 215000 | #Constraints: 95420
233.00/233.67 c #Conflicts: 216000 | #Constraints: 96420
233.00/233.67 c INPROCESSING
233.00/233.67 c GARBAGE COLLECT
233.00/233.67 c #Conflicts: 217000 | #Constraints: 88221
233.00/233.67 c #Conflicts: 218000 | #Constraints: 89222
233.00/233.67 c #Conflicts: 219000 | #Constraints: 90222
233.00/233.67 c #Conflicts: 220000 | #Constraints: 91222
233.00/233.67 c #Conflicts: 221000 | #Constraints: 92222
233.00/233.67 c #Conflicts: 222000 | #Constraints: 93223
233.00/233.67 c #Conflicts: 223000 | #Constraints: 94223
233.00/233.67 c #Conflicts: 224000 | #Constraints: 95225
233.00/233.67 c #Conflicts: 225000 | #Constraints: 96225
233.00/233.67 c #Conflicts: 226000 | #Constraints: 97225
233.00/233.67 c INPROCESSING
233.00/233.67 c GARBAGE COLLECT
233.00/233.67 c #Conflicts: 227000 | #Constraints: 88812
233.00/233.67 c #Conflicts: 228000 | #Constraints: 89813
233.00/233.67 c #Conflicts: 229000 | #Constraints: 90814
233.00/233.67 c #Conflicts: 230000 | #Constraints: 91815
233.00/233.67 c #Conflicts: 231000 | #Constraints: 92817
233.00/233.67 c #Conflicts: 232000 | #Constraints: 93818
233.00/233.67 c #Conflicts: 233000 | #Constraints: 94818
233.00/233.67 c #Conflicts: 234000 | #Constraints: 95818
233.00/233.67 c #Conflicts: 235000 | #Constraints: 96818
233.00/233.67 c #Conflicts: 236000 | #Constraints: 97819
233.00/233.67 c INPROCESSING
233.00/233.67 c GARBAGE COLLECT
233.00/233.67 c #Conflicts: 237000 | #Constraints: 89193
233.00/233.67 c #Conflicts: 238000 | #Constraints: 90193
233.00/233.67 c #Conflicts: 239000 | #Constraints: 91194
233.00/233.67 c #Conflicts: 240000 | #Constraints: 92194
233.00/233.67 c #Conflicts: 241000 | #Constraints: 93194
233.00/233.67 c #Conflicts: 242000 | #Constraints: 94194
233.00/233.67 c #Conflicts: 243000 | #Constraints: 95194
233.00/233.67 c #Conflicts: 244000 | #Constraints: 96194
233.00/233.67 c #Conflicts: 245000 | #Constraints: 97194
233.00/233.67 c #Conflicts: 246000 | #Constraints: 98194
233.00/233.67 c INPROCESSING
233.00/233.67 c GARBAGE COLLECT
233.00/233.67 c #Conflicts: 247000 | #Constraints: 89410
233.00/233.67 c #Conflicts: 248000 | #Constraints: 90410
233.00/233.67 c #Conflicts: 249000 | #Constraints: 91410
233.00/233.67 c #Conflicts: 250000 | #Constraints: 92410
233.00/233.67 c #Conflicts: 251000 | #Constraints: 93410
233.00/233.67 c #Conflicts: 252000 | #Constraints: 94410
233.00/233.67 c #Conflicts: 253000 | #Constraints: 95410
233.00/233.67 c #Conflicts: 254000 | #Constraints: 96411
233.00/233.67 c #Conflicts: 255000 | #Constraints: 97411
233.00/233.67 c #Conflicts: 256000 | #Constraints: 98412
233.00/233.67 c INPROCESSING
233.00/233.67 c GARBAGE COLLECT
233.00/233.67 c #Conflicts: 257000 | #Constraints: 89407
233.00/233.67 c #Conflicts: 258000 | #Constraints: 90407
233.00/233.67 c #Conflicts: 259000 | #Constraints: 91407
233.00/233.67 c #Conflicts: 260000 | #Constraints: 92407
233.00/233.67 c #Conflicts: 261000 | #Constraints: 93407
233.00/233.67 c #Conflicts: 262000 | #Constraints: 94407
233.00/233.67 c #Conflicts: 263000 | #Constraints: 95407
233.00/233.67 c #Conflicts: 264000 | #Constraints: 96407
233.00/233.67 c #Conflicts: 265000 | #Constraints: 97407
233.00/233.67 c #Conflicts: 266000 | #Constraints: 98407
233.00/233.67 c INPROCESSING
233.00/233.67 c GARBAGE COLLECT
233.00/233.67 c #Conflicts: 267000 | #Constraints: 89198
233.00/233.67 c #Conflicts: 268000 | #Constraints: 90199
233.00/233.67 c #Conflicts: 269000 | #Constraints: 91199
233.00/233.67 c #Conflicts: 270000 | #Constraints: 92199
233.00/233.67 c #Conflicts: 271000 | #Constraints: 93199
233.00/233.67 c #Conflicts: 272000 | #Constraints: 94199
233.00/233.67 c #Conflicts: 273000 | #Constraints: 95199
233.00/233.67 c #Conflicts: 274000 | #Constraints: 96199
233.00/233.67 c #Conflicts: 275000 | #Constraints: 97200
233.00/233.67 c #Conflicts: 276000 | #Constraints: 98200
233.00/233.67 c #Conflicts: 277000 | #Constraints: 99200
233.00/233.67 c INPROCESSING
233.00/233.67 c GARBAGE COLLECT
233.00/233.67 c #Conflicts: 278000 | #Constraints: 89801
233.00/233.67 c #Conflicts: 279000 | #Constraints: 90801
233.00/233.67 c #Conflicts: 280000 | #Constraints: 91801
233.00/233.67 c #Conflicts: 281000 | #Constraints: 92801
233.00/233.67 c #Conflicts: 282000 | #Constraints: 93801
321.68/322.52 c #Conflicts: 283000 | #Constraints: 94801
321.68/322.52 c #Conflicts: 284000 | #Constraints: 95801
321.68/322.52 c #Conflicts: 285000 | #Constraints: 96801
321.68/322.52 c #Conflicts: 286000 | #Constraints: 97802
321.68/322.52 c #Conflicts: 287000 | #Constraints: 98802
321.68/322.52 c #Conflicts: 288000 | #Constraints: 99802
321.68/322.52 c INPROCESSING
321.68/322.52 c GARBAGE COLLECT
321.68/322.52 c #Conflicts: 289000 | #Constraints: 90211
321.68/322.52 c #Conflicts: 290000 | #Constraints: 91211
321.68/322.52 c #Conflicts: 291000 | #Constraints: 92211
321.68/322.52 c #Conflicts: 292000 | #Constraints: 93211
321.68/322.52 c #Conflicts: 293000 | #Constraints: 94211
321.68/322.52 c #Conflicts: 294000 | #Constraints: 95211
321.68/322.52 c #Conflicts: 295000 | #Constraints: 96211
321.68/322.52 c #Conflicts: 296000 | #Constraints: 97211
321.68/322.52 c #Conflicts: 297000 | #Constraints: 98211
321.68/322.52 c #Conflicts: 298000 | #Constraints: 99211
321.68/322.52 c #Conflicts: 299000 | #Constraints: 100212
321.68/322.52 c INPROCESSING
321.68/322.52 c GARBAGE COLLECT
321.68/322.52 c #Conflicts: 300000 | #Constraints: 90405
321.68/322.52 c #Conflicts: 301000 | #Constraints: 91405
321.68/322.52 c #Conflicts: 302000 | #Constraints: 92406
321.68/322.52 c #Conflicts: 303000 | #Constraints: 93406
321.68/322.52 c #Conflicts: 304000 | #Constraints: 94407
321.68/322.52 c #Conflicts: 305000 | #Constraints: 95408
321.68/322.52 c #Conflicts: 306000 | #Constraints: 96408
321.68/322.52 c #Conflicts: 307000 | #Constraints: 97408
321.68/322.52 c #Conflicts: 308000 | #Constraints: 98410
321.68/322.52 c #Conflicts: 309000 | #Constraints: 99410
321.68/322.52 c #Conflicts: 310000 | #Constraints: 100410
321.68/322.52 c INPROCESSING
321.68/322.52 c GARBAGE COLLECT
321.68/322.52 c #Conflicts: 311000 | #Constraints: 90417
321.68/322.52 c #Conflicts: 312000 | #Constraints: 91419
321.68/322.52 c #Conflicts: 313000 | #Constraints: 92419
321.68/322.52 c #Conflicts: 314000 | #Constraints: 93420
321.68/322.52 c #Conflicts: 315000 | #Constraints: 94420
321.68/322.52 c #Conflicts: 316000 | #Constraints: 95422
321.68/322.52 c #Conflicts: 317000 | #Constraints: 96423
321.68/322.52 c #Conflicts: 318000 | #Constraints: 97423
321.68/322.52 c #Conflicts: 319000 | #Constraints: 98424
321.68/322.52 c #Conflicts: 320000 | #Constraints: 99425
321.68/322.52 c #Conflicts: 321000 | #Constraints: 100425
321.68/322.52 c #Conflicts: 322000 | #Constraints: 101425
321.68/322.52 c #Conflicts: 323000 | #Constraints: 102425
321.68/322.52 c #Conflicts: 324000 | #Constraints: 103425
321.68/322.52 c #Conflicts: 325000 | #Constraints: 104425
321.68/322.52 c #Conflicts: 326000 | #Constraints: 105426
321.68/322.52 c #Conflicts: 327000 | #Constraints: 106430
321.68/322.52 c #Conflicts: 328000 | #Constraints: 107430
321.68/322.52 c #Conflicts: 329000 | #Constraints: 108430
321.68/322.52 c #Conflicts: 330000 | #Constraints: 109432
321.68/322.52 c #Conflicts: 331000 | #Constraints: 110434
321.68/322.52 c #Conflicts: 332000 | #Constraints: 111434
321.68/322.52 c #Conflicts: 333000 | #Constraints: 112434
321.68/322.52 c #Conflicts: 334000 | #Constraints: 113434
321.68/322.52 c #Conflicts: 335000 | #Constraints: 114434
321.68/322.52 c #Conflicts: 336000 | #Constraints: 115434
321.68/322.52 c #Conflicts: 337000 | #Constraints: 116434
321.68/322.52 c #Conflicts: 338000 | #Constraints: 117434
321.68/322.52 c #Conflicts: 339000 | #Constraints: 118434
321.68/322.52 c #Conflicts: 340000 | #Constraints: 119434
321.68/322.52 c #Conflicts: 341000 | #Constraints: 120434
321.68/322.52 c #Conflicts: 342000 | #Constraints: 121435
321.68/322.52 c #Conflicts: 343000 | #Constraints: 122435
321.68/322.52 c #Conflicts: 344000 | #Constraints: 123436
321.68/322.52 c #Conflicts: 345000 | #Constraints: 124436
321.68/322.52 c #Conflicts: 346000 | #Constraints: 125436
321.68/322.52 c #Conflicts: 347000 | #Constraints: 126437
321.68/322.52 c #Conflicts: 348000 | #Constraints: 127437
321.68/322.52 c #Conflicts: 349000 | #Constraints: 128438
321.68/322.52 c #Conflicts: 350000 | #Constraints: 129439
321.68/322.52 c #Conflicts: 351000 | #Constraints: 130440
321.68/322.52 c #Conflicts: 352000 | #Constraints: 131440
321.68/322.52 c #Conflicts: 353000 | #Constraints: 132440
321.68/322.52 c #Conflicts: 354000 | #Constraints: 133441
321.68/322.52 c #Conflicts: 355000 | #Constraints: 134441
321.68/322.52 c #Conflicts: 356000 | #Constraints: 135441
321.68/322.52 c #Conflicts: 357000 | #Constraints: 136441
321.68/322.52 c #Conflicts: 358000 | #Constraints: 137442
321.68/322.52 c #Conflicts: 359000 | #Constraints: 138442
332.74/333.61 c #Conflicts: 360000 | #Constraints: 139443
332.74/333.61 c #Conflicts: 361000 | #Constraints: 140443
332.74/333.61 c #Conflicts: 362000 | #Constraints: 141443
332.74/333.61 c #Conflicts: 363000 | #Constraints: 142444
332.74/333.61 c #Conflicts: 364000 | #Constraints: 143445
332.74/333.61 c INPROCESSING
332.74/333.61 c GARBAGE COLLECT
332.74/333.61 c rational objective 72.8125
414.54/415.69 c #Conflicts: 365000 | #Constraints: 111623
414.54/415.69 c #Conflicts: 366000 | #Constraints: 112623
414.54/415.69 c #Conflicts: 367000 | #Constraints: 113623
414.54/415.69 c #Conflicts: 368000 | #Constraints: 114623
414.54/415.69 c #Conflicts: 369000 | #Constraints: 115623
414.54/415.69 c #Conflicts: 370000 | #Constraints: 116623
414.54/415.69 c #Conflicts: 371000 | #Constraints: 117623
414.54/415.69 c #Conflicts: 372000 | #Constraints: 118623
414.54/415.69 c #Conflicts: 373000 | #Constraints: 119623
414.54/415.69 c #Conflicts: 374000 | #Constraints: 120623
414.54/415.69 c #Conflicts: 375000 | #Constraints: 121623
414.54/415.69 c #Conflicts: 376000 | #Constraints: 122623
414.54/415.69 c #Conflicts: 377000 | #Constraints: 123623
414.54/415.69 c INPROCESSING
414.54/415.69 c GARBAGE COLLECT
414.54/415.69 c #Conflicts: 378000 | #Constraints: 101972
414.54/415.69 c #Conflicts: 379000 | #Constraints: 102973
414.54/415.69 c #Conflicts: 380000 | #Constraints: 103973
414.54/415.69 c #Conflicts: 381000 | #Constraints: 104973
414.54/415.69 c #Conflicts: 382000 | #Constraints: 105973
414.54/415.69 c #Conflicts: 383000 | #Constraints: 106973
414.54/415.69 c #Conflicts: 384000 | #Constraints: 107973
414.54/415.69 c #Conflicts: 385000 | #Constraints: 108973
414.54/415.69 c #Conflicts: 386000 | #Constraints: 109973
414.54/415.69 c #Conflicts: 387000 | #Constraints: 110973
414.54/415.69 c #Conflicts: 388000 | #Constraints: 111973
414.54/415.69 c #Conflicts: 389000 | #Constraints: 112973
414.54/415.69 c #Conflicts: 390000 | #Constraints: 113973
414.54/415.69 c INPROCESSING
414.54/415.69 c GARBAGE COLLECT
414.54/415.69 c #Conflicts: 391000 | #Constraints: 97279
414.54/415.69 c #Conflicts: 392000 | #Constraints: 98279
414.54/415.69 c #Conflicts: 393000 | #Constraints: 99279
414.54/415.69 c #Conflicts: 394000 | #Constraints: 100279
414.54/415.69 c #Conflicts: 395000 | #Constraints: 101279
414.54/415.69 c #Conflicts: 396000 | #Constraints: 102279
414.54/415.69 c #Conflicts: 397000 | #Constraints: 103279
414.54/415.69 c #Conflicts: 398000 | #Constraints: 104279
414.54/415.69 c #Conflicts: 399000 | #Constraints: 105279
414.54/415.69 c #Conflicts: 400000 | #Constraints: 106279
414.54/415.69 c #Conflicts: 401000 | #Constraints: 107279
414.54/415.69 c #Conflicts: 402000 | #Constraints: 108279
414.54/415.69 c INPROCESSING
414.54/415.69 c GARBAGE COLLECT
414.54/415.69 c #Conflicts: 403000 | #Constraints: 94013
414.54/415.69 c #Conflicts: 404000 | #Constraints: 95013
414.54/415.69 c #Conflicts: 405000 | #Constraints: 96013
414.54/415.69 c #Conflicts: 406000 | #Constraints: 97014
414.54/415.69 c #Conflicts: 407000 | #Constraints: 98014
414.54/415.69 c #Conflicts: 408000 | #Constraints: 99014
414.54/415.69 c #Conflicts: 409000 | #Constraints: 100014
414.54/415.69 c #Conflicts: 410000 | #Constraints: 101014
414.54/415.69 c #Conflicts: 411000 | #Constraints: 102014
414.54/415.69 c #Conflicts: 412000 | #Constraints: 103014
414.54/415.69 c #Conflicts: 413000 | #Constraints: 104014
414.54/415.69 c #Conflicts: 414000 | #Constraints: 105014
414.54/415.69 c #Conflicts: 415000 | #Constraints: 106015
414.54/415.69 c #Conflicts: 416000 | #Constraints: 107015
414.54/415.69 c INPROCESSING
414.54/415.69 c GARBAGE COLLECT
414.54/415.69 c #Conflicts: 417000 | #Constraints: 93820
414.54/415.69 c #Conflicts: 418000 | #Constraints: 94820
414.54/415.69 c #Conflicts: 419000 | #Constraints: 95820
414.54/415.69 c #Conflicts: 420000 | #Constraints: 96820
414.54/415.69 c #Conflicts: 421000 | #Constraints: 97821
414.54/415.69 c #Conflicts: 422000 | #Constraints: 98821
414.54/415.69 c #Conflicts: 423000 | #Constraints: 99822
414.54/415.69 c #Conflicts: 424000 | #Constraints: 100822
414.54/415.69 c #Conflicts: 425000 | #Constraints: 101822
414.54/415.69 c #Conflicts: 426000 | #Constraints: 102822
414.54/415.69 c #Conflicts: 427000 | #Constraints: 103823
414.54/415.69 c #Conflicts: 428000 | #Constraints: 104823
414.54/415.69 c #Conflicts: 429000 | #Constraints: 105823
414.54/415.69 c #Conflicts: 430000 | #Constraints: 106825
414.54/415.69 c #Conflicts: 431000 | #Constraints: 107827
414.54/415.69 c #Conflicts: 432000 | #Constraints: 108827
414.54/415.69 c #Conflicts: 433000 | #Constraints: 109827
414.54/415.69 c #Conflicts: 434000 | #Constraints: 110827
414.54/415.69 c #Conflicts: 435000 | #Constraints: 111828
414.54/415.69 c #Conflicts: 436000 | #Constraints: 112829
414.54/415.69 c #Conflicts: 437000 | #Constraints: 113829
414.54/415.69 c #Conflicts: 438000 | #Constraints: 114829
414.54/415.69 c #Conflicts: 439000 | #Constraints: 115829
414.54/415.69 c #Conflicts: 440000 | #Constraints: 116829
414.54/415.69 c #Conflicts: 441000 | #Constraints: 117829
551.71/553.19 c #Conflicts: 442000 | #Constraints: 118829
551.71/553.19 c #Conflicts: 443000 | #Constraints: 119829
551.71/553.19 c #Conflicts: 444000 | #Constraints: 120829
551.71/553.19 c #Conflicts: 445000 | #Constraints: 121829
551.71/553.19 c #Conflicts: 446000 | #Constraints: 122829
551.71/553.19 c #Conflicts: 447000 | #Constraints: 123829
551.71/553.19 c #Conflicts: 448000 | #Constraints: 124829
551.71/553.19 c #Conflicts: 449000 | #Constraints: 125829
551.71/553.19 c #Conflicts: 450000 | #Constraints: 126830
551.71/553.19 c #Conflicts: 451000 | #Constraints: 127830
551.71/553.19 c #Conflicts: 452000 | #Constraints: 128830
551.71/553.19 c #Conflicts: 453000 | #Constraints: 129830
551.71/553.19 c #Conflicts: 454000 | #Constraints: 130830
551.71/553.19 c #Conflicts: 455000 | #Constraints: 131831
551.71/553.19 c #Conflicts: 456000 | #Constraints: 132832
551.71/553.19 c #Conflicts: 457000 | #Constraints: 133833
551.71/553.19 c #Conflicts: 458000 | #Constraints: 134833
551.71/553.19 c #Conflicts: 459000 | #Constraints: 135833
551.71/553.19 c #Conflicts: 460000 | #Constraints: 136833
551.71/553.19 c #Conflicts: 461000 | #Constraints: 137833
551.71/553.19 c #Conflicts: 462000 | #Constraints: 138833
551.71/553.19 c #Conflicts: 463000 | #Constraints: 139833
551.71/553.19 c #Conflicts: 464000 | #Constraints: 140833
551.71/553.19 c #Conflicts: 465000 | #Constraints: 141833
551.71/553.19 c #Conflicts: 466000 | #Constraints: 142833
551.71/553.19 c #Conflicts: 467000 | #Constraints: 143833
551.71/553.19 c #Conflicts: 468000 | #Constraints: 144833
551.71/553.19 c #Conflicts: 469000 | #Constraints: 145833
551.71/553.19 c #Conflicts: 470000 | #Constraints: 146833
551.71/553.19 c #Conflicts: 471000 | #Constraints: 147833
551.71/553.19 c #Conflicts: 472000 | #Constraints: 148833
551.71/553.19 c #Conflicts: 473000 | #Constraints: 149833
551.71/553.19 c #Conflicts: 474000 | #Constraints: 150833
551.71/553.19 c #Conflicts: 475000 | #Constraints: 151833
551.71/553.19 c #Conflicts: 476000 | #Constraints: 152833
551.71/553.19 c #Conflicts: 477000 | #Constraints: 153833
551.71/553.19 c INPROCESSING
551.71/553.19 c GARBAGE COLLECT
551.71/553.19 c #Conflicts: 478000 | #Constraints: 117231
551.71/553.19 c #Conflicts: 479000 | #Constraints: 118231
551.71/553.19 c #Conflicts: 480000 | #Constraints: 119231
551.71/553.19 c #Conflicts: 481000 | #Constraints: 120232
551.71/553.19 c #Conflicts: 482000 | #Constraints: 121234
551.71/553.19 c #Conflicts: 483000 | #Constraints: 122234
551.71/553.19 c #Conflicts: 484000 | #Constraints: 123234
551.71/553.19 c #Conflicts: 485000 | #Constraints: 124234
551.71/553.19 c #Conflicts: 486000 | #Constraints: 125234
551.71/553.19 c #Conflicts: 487000 | #Constraints: 126234
551.71/553.19 c #Conflicts: 488000 | #Constraints: 127235
551.71/553.19 c #Conflicts: 489000 | #Constraints: 128235
551.71/553.19 c #Conflicts: 490000 | #Constraints: 129236
551.71/553.19 c #Conflicts: 491000 | #Constraints: 130236
551.71/553.19 c INPROCESSING
551.71/553.19 c GARBAGE COLLECT
551.71/553.19 c #Conflicts: 492000 | #Constraints: 105231
551.71/553.19 c #Conflicts: 493000 | #Constraints: 106232
551.71/553.19 c #Conflicts: 494000 | #Constraints: 107233
551.71/553.19 c #Conflicts: 495000 | #Constraints: 108234
551.71/553.19 c #Conflicts: 496000 | #Constraints: 109235
551.71/553.19 c #Conflicts: 497000 | #Constraints: 110235
551.71/553.19 c #Conflicts: 498000 | #Constraints: 111235
551.71/553.19 c #Conflicts: 499000 | #Constraints: 112235
551.71/553.19 c #Conflicts: 500000 | #Constraints: 113235
551.71/553.19 c #Conflicts: 501000 | #Constraints: 114235
551.71/553.19 c #Conflicts: 502000 | #Constraints: 115235
551.71/553.19 c #Conflicts: 503000 | #Constraints: 116235
551.71/553.19 c #Conflicts: 504000 | #Constraints: 117235
551.71/553.19 c #Conflicts: 505000 | #Constraints: 118235
551.71/553.19 c #Conflicts: 506000 | #Constraints: 119236
551.71/553.19 c INPROCESSING
551.71/553.19 c GARBAGE COLLECT
551.71/553.19 c #Conflicts: 507000 | #Constraints: 99964
551.71/553.19 c #Conflicts: 508000 | #Constraints: 100964
551.71/553.19 c #Conflicts: 509000 | #Constraints: 101964
551.71/553.19 c #Conflicts: 510000 | #Constraints: 102965
551.71/553.19 c #Conflicts: 511000 | #Constraints: 103965
551.71/553.19 c #Conflicts: 512000 | #Constraints: 104965
551.71/553.19 c #Conflicts: 513000 | #Constraints: 105965
551.71/553.19 c #Conflicts: 514000 | #Constraints: 106965
551.71/553.19 c #Conflicts: 515000 | #Constraints: 107965
551.71/553.19 c #Conflicts: 516000 | #Constraints: 108965
551.71/553.19 c #Conflicts: 517000 | #Constraints: 109965
551.71/553.19 c #Conflicts: 518000 | #Constraints: 110965
641.86/643.59 c #Conflicts: 519000 | #Constraints: 111965
641.86/643.59 c #Conflicts: 520000 | #Constraints: 112965
641.86/643.59 c INPROCESSING
641.86/643.59 c GARBAGE COLLECT
641.86/643.59 c #Conflicts: 521000 | #Constraints: 96402
641.86/643.59 c #Conflicts: 522000 | #Constraints: 97402
641.86/643.59 c #Conflicts: 523000 | #Constraints: 98402
641.86/643.59 c #Conflicts: 524000 | #Constraints: 99402
641.86/643.59 c #Conflicts: 525000 | #Constraints: 100402
641.86/643.59 c #Conflicts: 526000 | #Constraints: 101402
641.86/643.59 c #Conflicts: 527000 | #Constraints: 102402
641.86/643.59 c #Conflicts: 528000 | #Constraints: 103402
641.86/643.59 c #Conflicts: 529000 | #Constraints: 104403
641.86/643.59 c #Conflicts: 530000 | #Constraints: 105403
641.86/643.59 c #Conflicts: 531000 | #Constraints: 106403
641.86/643.59 c #Conflicts: 532000 | #Constraints: 107403
641.86/643.59 c #Conflicts: 533000 | #Constraints: 108403
641.86/643.59 c #Conflicts: 534000 | #Constraints: 109403
641.86/643.59 c #Conflicts: 535000 | #Constraints: 110403
641.86/643.59 c INPROCESSING
641.86/643.59 c GARBAGE COLLECT
641.86/643.59 c #Conflicts: 536000 | #Constraints: 95124
641.86/643.59 c #Conflicts: 537000 | #Constraints: 96124
641.86/643.59 c #Conflicts: 538000 | #Constraints: 97124
641.86/643.59 c #Conflicts: 539000 | #Constraints: 98124
641.86/643.59 c #Conflicts: 540000 | #Constraints: 99124
641.86/643.59 c #Conflicts: 541000 | #Constraints: 100124
641.86/643.59 c #Conflicts: 542000 | #Constraints: 101124
641.86/643.59 c #Conflicts: 543000 | #Constraints: 102124
641.86/643.59 c #Conflicts: 544000 | #Constraints: 103124
641.86/643.59 c #Conflicts: 545000 | #Constraints: 104124
641.86/643.59 c #Conflicts: 546000 | #Constraints: 105124
641.86/643.59 c #Conflicts: 547000 | #Constraints: 106124
641.86/643.59 c #Conflicts: 548000 | #Constraints: 107125
641.86/643.59 c #Conflicts: 549000 | #Constraints: 108125
641.86/643.59 c #Conflicts: 550000 | #Constraints: 109125
641.86/643.59 c #Conflicts: 551000 | #Constraints: 110125
641.86/643.59 c #Conflicts: 552000 | #Constraints: 111125
641.86/643.59 c #Conflicts: 553000 | #Constraints: 112125
641.86/643.59 c #Conflicts: 554000 | #Constraints: 113125
641.86/643.59 c #Conflicts: 555000 | #Constraints: 114125
641.86/643.59 c #Conflicts: 556000 | #Constraints: 115125
641.86/643.59 c #Conflicts: 557000 | #Constraints: 116125
641.86/643.59 c #Conflicts: 558000 | #Constraints: 117125
641.86/643.59 c #Conflicts: 559000 | #Constraints: 118125
641.86/643.59 c #Conflicts: 560000 | #Constraints: 119126
641.86/643.59 c #Conflicts: 561000 | #Constraints: 120126
641.86/643.59 c #Conflicts: 562000 | #Constraints: 121126
641.86/643.59 c #Conflicts: 563000 | #Constraints: 122126
641.86/643.59 c #Conflicts: 564000 | #Constraints: 123126
641.86/643.59 c #Conflicts: 565000 | #Constraints: 124126
641.86/643.59 c #Conflicts: 566000 | #Constraints: 125126
641.86/643.59 c #Conflicts: 567000 | #Constraints: 126126
641.86/643.59 c #Conflicts: 568000 | #Constraints: 127127
641.86/643.59 c #Conflicts: 569000 | #Constraints: 128127
641.86/643.59 c #Conflicts: 570000 | #Constraints: 129127
641.86/643.59 c #Conflicts: 571000 | #Constraints: 130127
641.86/643.59 c #Conflicts: 572000 | #Constraints: 131127
641.86/643.59 c #Conflicts: 573000 | #Constraints: 132127
641.86/643.59 c #Conflicts: 574000 | #Constraints: 133127
641.86/643.59 c #Conflicts: 575000 | #Constraints: 134127
641.86/643.59 c #Conflicts: 576000 | #Constraints: 135127
641.86/643.59 c #Conflicts: 577000 | #Constraints: 136127
641.86/643.59 c #Conflicts: 578000 | #Constraints: 137127
641.86/643.59 c #Conflicts: 579000 | #Constraints: 138127
641.86/643.59 c #Conflicts: 580000 | #Constraints: 139127
641.86/643.59 c #Conflicts: 581000 | #Constraints: 140127
641.86/643.59 c #Conflicts: 582000 | #Constraints: 141127
641.86/643.59 c #Conflicts: 583000 | #Constraints: 142127
641.86/643.59 c #Conflicts: 584000 | #Constraints: 143127
641.86/643.59 c #Conflicts: 585000 | #Constraints: 144127
641.86/643.59 c #Conflicts: 586000 | #Constraints: 145127
641.86/643.59 c #Conflicts: 587000 | #Constraints: 146127
641.86/643.59 c #Conflicts: 588000 | #Constraints: 147127
641.86/643.59 c #Conflicts: 589000 | #Constraints: 148127
641.86/643.59 c #Conflicts: 590000 | #Constraints: 149127
641.86/643.59 c #Conflicts: 591000 | #Constraints: 150127
641.86/643.59 c #Conflicts: 592000 | #Constraints: 151127
641.86/643.59 c #Conflicts: 593000 | #Constraints: 152127
641.86/643.59 c #Conflicts: 594000 | #Constraints: 153127
641.86/643.59 c #Conflicts: 595000 | #Constraints: 154128
736.93/738.81 c #Conflicts: 596000 | #Constraints: 155128
736.93/738.81 c #Conflicts: 597000 | #Constraints: 156129
736.93/738.81 c #Conflicts: 598000 | #Constraints: 157129
736.93/738.81 c #Conflicts: 599000 | #Constraints: 158129
736.93/738.81 c #Conflicts: 600000 | #Constraints: 159129
736.93/738.81 c #Conflicts: 601000 | #Constraints: 160129
736.93/738.81 c #Conflicts: 602000 | #Constraints: 161129
736.93/738.81 c #Conflicts: 603000 | #Constraints: 162129
736.93/738.81 c INPROCESSING
736.93/738.81 c GARBAGE COLLECT
736.93/738.81 c #Conflicts: 604000 | #Constraints: 121292
736.93/738.81 c #Conflicts: 605000 | #Constraints: 122292
736.93/738.81 c #Conflicts: 606000 | #Constraints: 123292
736.93/738.81 c #Conflicts: 607000 | #Constraints: 124292
736.93/738.81 c #Conflicts: 608000 | #Constraints: 125292
736.93/738.81 c #Conflicts: 609000 | #Constraints: 126292
736.93/738.81 c #Conflicts: 610000 | #Constraints: 127292
736.93/738.81 c #Conflicts: 611000 | #Constraints: 128292
736.93/738.81 c #Conflicts: 612000 | #Constraints: 129292
736.93/738.81 c #Conflicts: 613000 | #Constraints: 130292
736.93/738.81 c #Conflicts: 614000 | #Constraints: 131292
736.93/738.81 c #Conflicts: 615000 | #Constraints: 132293
736.93/738.81 c #Conflicts: 616000 | #Constraints: 133293
736.93/738.81 c #Conflicts: 617000 | #Constraints: 134293
736.93/738.81 c #Conflicts: 618000 | #Constraints: 135293
736.93/738.81 c #Conflicts: 619000 | #Constraints: 136293
736.93/738.81 c INPROCESSING
736.93/738.81 c GARBAGE COLLECT
736.93/738.81 c #Conflicts: 620000 | #Constraints: 108222
736.93/738.81 c #Conflicts: 621000 | #Constraints: 109222
736.93/738.81 c #Conflicts: 622000 | #Constraints: 110222
736.93/738.81 c #Conflicts: 623000 | #Constraints: 111222
736.93/738.81 c #Conflicts: 624000 | #Constraints: 112222
736.93/738.81 c #Conflicts: 625000 | #Constraints: 113222
736.93/738.81 c #Conflicts: 626000 | #Constraints: 114222
736.93/738.81 c #Conflicts: 627000 | #Constraints: 115222
736.93/738.81 c #Conflicts: 628000 | #Constraints: 116222
736.93/738.81 c #Conflicts: 629000 | #Constraints: 117222
736.93/738.81 c #Conflicts: 630000 | #Constraints: 118222
736.93/738.81 c #Conflicts: 631000 | #Constraints: 119222
736.93/738.81 c #Conflicts: 632000 | #Constraints: 120222
736.93/738.81 c #Conflicts: 633000 | #Constraints: 121222
736.93/738.81 c #Conflicts: 634000 | #Constraints: 122222
736.93/738.81 c #Conflicts: 635000 | #Constraints: 123222
736.93/738.81 c #Conflicts: 636000 | #Constraints: 124222
736.93/738.81 c INPROCESSING
736.93/738.81 c GARBAGE COLLECT
736.93/738.81 c #Conflicts: 637000 | #Constraints: 102436
736.93/738.81 c #Conflicts: 638000 | #Constraints: 103436
736.93/738.81 c #Conflicts: 639000 | #Constraints: 104436
736.93/738.81 c #Conflicts: 640000 | #Constraints: 105436
736.93/738.81 c #Conflicts: 641000 | #Constraints: 106436
736.93/738.81 c #Conflicts: 642000 | #Constraints: 107436
736.93/738.81 c #Conflicts: 643000 | #Constraints: 108436
736.93/738.81 c #Conflicts: 644000 | #Constraints: 109438
736.93/738.81 c #Conflicts: 645000 | #Constraints: 110438
736.93/738.81 c #Conflicts: 646000 | #Constraints: 111438
736.93/738.81 c #Conflicts: 647000 | #Constraints: 112438
736.93/738.81 c #Conflicts: 648000 | #Constraints: 113438
736.93/738.81 c #Conflicts: 649000 | #Constraints: 114438
736.93/738.81 c #Conflicts: 650000 | #Constraints: 115439
736.93/738.81 c #Conflicts: 651000 | #Constraints: 116439
736.93/738.81 c #Conflicts: 652000 | #Constraints: 117439
736.93/738.81 c INPROCESSING
736.93/738.81 c GARBAGE COLLECT
736.93/738.81 c #Conflicts: 653000 | #Constraints: 98689
736.93/738.81 c #Conflicts: 654000 | #Constraints: 99689
736.93/738.81 c #Conflicts: 655000 | #Constraints: 100689
736.93/738.81 c #Conflicts: 656000 | #Constraints: 101689
736.93/738.81 c #Conflicts: 657000 | #Constraints: 102689
736.93/738.81 c #Conflicts: 658000 | #Constraints: 103689
736.93/738.81 c #Conflicts: 659000 | #Constraints: 104689
736.93/738.81 c #Conflicts: 660000 | #Constraints: 105689
736.93/738.81 c #Conflicts: 661000 | #Constraints: 106689
736.93/738.81 c #Conflicts: 662000 | #Constraints: 107689
736.93/738.81 c #Conflicts: 663000 | #Constraints: 108689
736.93/738.81 c #Conflicts: 664000 | #Constraints: 109690
736.93/738.81 c #Conflicts: 665000 | #Constraints: 110690
736.93/738.81 c #Conflicts: 666000 | #Constraints: 111690
736.93/738.81 c #Conflicts: 667000 | #Constraints: 112690
736.93/738.81 c #Conflicts: 668000 | #Constraints: 113690
736.93/738.81 c #Conflicts: 669000 | #Constraints: 114690
736.93/738.81 c #Conflicts: 670000 | #Constraints: 115690
736.93/738.81 c #Conflicts: 671000 | #Constraints: 116690
865.42/867.63 c #Conflicts: 672000 | #Constraints: 117691
865.42/867.63 c #Conflicts: 673000 | #Constraints: 118691
865.42/867.63 c #Conflicts: 674000 | #Constraints: 119691
865.42/867.63 c #Conflicts: 675000 | #Constraints: 120691
865.42/867.63 c #Conflicts: 676000 | #Constraints: 121691
865.42/867.63 c #Conflicts: 677000 | #Constraints: 122691
865.42/867.63 c #Conflicts: 678000 | #Constraints: 123691
865.42/867.63 c #Conflicts: 679000 | #Constraints: 124692
865.42/867.63 c #Conflicts: 680000 | #Constraints: 125692
865.42/867.63 c #Conflicts: 681000 | #Constraints: 126693
865.42/867.63 c #Conflicts: 682000 | #Constraints: 127693
865.42/867.63 c #Conflicts: 683000 | #Constraints: 128693
865.42/867.63 c #Conflicts: 684000 | #Constraints: 129693
865.42/867.63 c #Conflicts: 685000 | #Constraints: 130693
865.42/867.63 c #Conflicts: 686000 | #Constraints: 131693
865.42/867.63 c #Conflicts: 687000 | #Constraints: 132693
865.42/867.63 c #Conflicts: 688000 | #Constraints: 133693
865.42/867.63 c #Conflicts: 689000 | #Constraints: 134693
865.42/867.63 c #Conflicts: 690000 | #Constraints: 135694
865.42/867.63 c #Conflicts: 691000 | #Constraints: 136694
865.42/867.63 c #Conflicts: 692000 | #Constraints: 137694
865.42/867.63 c #Conflicts: 693000 | #Constraints: 138694
865.42/867.63 c #Conflicts: 694000 | #Constraints: 139694
865.42/867.63 c #Conflicts: 695000 | #Constraints: 140694
865.42/867.63 c #Conflicts: 696000 | #Constraints: 141694
865.42/867.63 c #Conflicts: 697000 | #Constraints: 142694
865.42/867.63 c #Conflicts: 698000 | #Constraints: 143694
865.42/867.63 c #Conflicts: 699000 | #Constraints: 144695
865.42/867.63 c #Conflicts: 700000 | #Constraints: 145695
865.42/867.63 c #Conflicts: 701000 | #Constraints: 146696
865.42/867.63 c #Conflicts: 702000 | #Constraints: 147696
865.42/867.63 c #Conflicts: 703000 | #Constraints: 148696
865.42/867.63 c #Conflicts: 704000 | #Constraints: 149696
865.42/867.63 c #Conflicts: 705000 | #Constraints: 150696
865.42/867.63 c #Conflicts: 706000 | #Constraints: 151696
865.42/867.63 c #Conflicts: 707000 | #Constraints: 152697
865.42/867.63 c #Conflicts: 708000 | #Constraints: 153697
865.42/867.63 c #Conflicts: 709000 | #Constraints: 154698
865.42/867.63 c #Conflicts: 710000 | #Constraints: 155701
865.42/867.63 c #Conflicts: 711000 | #Constraints: 156705
865.42/867.63 c #Conflicts: 712000 | #Constraints: 157707
865.42/867.63 c #Conflicts: 713000 | #Constraints: 158711
865.42/867.63 c #Conflicts: 714000 | #Constraints: 159712
865.42/867.63 c #Conflicts: 715000 | #Constraints: 160715
865.42/867.63 c #Conflicts: 716000 | #Constraints: 161717
865.42/867.63 c #Conflicts: 717000 | #Constraints: 162719
865.42/867.63 c #Conflicts: 718000 | #Constraints: 163719
865.42/867.63 c #Conflicts: 719000 | #Constraints: 164719
865.42/867.63 c #Conflicts: 720000 | #Constraints: 165719
865.42/867.63 c #Conflicts: 721000 | #Constraints: 166719
865.42/867.63 c #Conflicts: 722000 | #Constraints: 167719
865.42/867.63 c #Conflicts: 723000 | #Constraints: 168719
865.42/867.63 c #Conflicts: 724000 | #Constraints: 169719
865.42/867.63 c #Conflicts: 725000 | #Constraints: 170720
865.42/867.63 c INPROCESSING
865.42/867.63 c GARBAGE COLLECT
865.42/867.63 c #Conflicts: 726000 | #Constraints: 125500
865.42/867.63 c #Conflicts: 727000 | #Constraints: 126501
865.42/867.63 c #Conflicts: 728000 | #Constraints: 127501
865.42/867.63 c #Conflicts: 729000 | #Constraints: 128501
865.42/867.63 c #Conflicts: 730000 | #Constraints: 129501
865.42/867.63 c #Conflicts: 731000 | #Constraints: 130501
865.42/867.63 c #Conflicts: 732000 | #Constraints: 131501
865.42/867.63 c #Conflicts: 733000 | #Constraints: 132501
865.42/867.63 c #Conflicts: 734000 | #Constraints: 133501
865.42/867.63 c #Conflicts: 735000 | #Constraints: 134501
865.42/867.63 c #Conflicts: 736000 | #Constraints: 135501
865.42/867.63 c #Conflicts: 737000 | #Constraints: 136501
865.42/867.63 c #Conflicts: 738000 | #Constraints: 137501
865.42/867.63 c #Conflicts: 739000 | #Constraints: 138501
865.42/867.63 c #Conflicts: 740000 | #Constraints: 139501
865.42/867.63 c #Conflicts: 741000 | #Constraints: 140501
865.42/867.63 c #Conflicts: 742000 | #Constraints: 141501
865.42/867.63 c #Conflicts: 743000 | #Constraints: 142501
865.42/867.63 c INPROCESSING
865.42/867.63 c GARBAGE COLLECT
865.42/867.63 c #Conflicts: 744000 | #Constraints: 111401
865.42/867.63 c #Conflicts: 745000 | #Constraints: 112401
865.42/867.63 c #Conflicts: 746000 | #Constraints: 113401
865.42/867.63 c #Conflicts: 747000 | #Constraints: 114401
865.42/867.63 c #Conflicts: 748000 | #Constraints: 115401
865.42/867.63 c #Conflicts: 749000 | #Constraints: 116401
893.06/895.31 c #Conflicts: 750000 | #Constraints: 117401
893.06/895.31 c #Conflicts: 751000 | #Constraints: 118401
893.06/895.31 c #Conflicts: 752000 | #Constraints: 119401
893.06/895.31 c #Conflicts: 753000 | #Constraints: 120401
893.06/895.31 c #Conflicts: 754000 | #Constraints: 121401
893.06/895.31 c #Conflicts: 755000 | #Constraints: 122401
893.06/895.31 c #Conflicts: 756000 | #Constraints: 123401
893.06/895.31 c #Conflicts: 757000 | #Constraints: 124401
893.06/895.31 c #Conflicts: 758000 | #Constraints: 125401
893.06/895.31 c #Conflicts: 759000 | #Constraints: 126401
893.06/895.31 c #Conflicts: 760000 | #Constraints: 127401
893.06/895.31 c #Conflicts: 761000 | #Constraints: 128401
893.06/895.31 c INPROCESSING
893.06/895.31 c GARBAGE COLLECT
893.06/895.31 c #Conflicts: 762000 | #Constraints: 104246
893.06/895.31 c #Conflicts: 763000 | #Constraints: 105246
893.06/895.31 c #Conflicts: 764000 | #Constraints: 106246
893.06/895.31 c #Conflicts: 765000 | #Constraints: 107246
893.06/895.31 c #Conflicts: 766000 | #Constraints: 108247
893.06/895.31 c #Conflicts: 767000 | #Constraints: 109248
893.06/895.31 c #Conflicts: 768000 | #Constraints: 110249
893.06/895.31 c #Conflicts: 769000 | #Constraints: 111250
893.06/895.31 c #Conflicts: 770000 | #Constraints: 112250
893.06/895.31 c #Conflicts: 771000 | #Constraints: 113252
893.06/895.31 WSVECS04 Frhs2[47]: 6 -1.00008 0 shouldn't be
893.06/895.31 WSVECS04 Frhs2[108]: 6 -0.500011 0 shouldn't be
893.06/895.31 WSVECS04 Frhs2[158]: 6 -0.500035 0 shouldn't be
893.06/895.31 WSVECS04 Frhs2[188]: 6 -0.500067 0 shouldn't be
893.06/895.31 WSVECS04 Frhs2[396]: 6 0 0.187549 shouldn't be
893.06/895.31 WSVECS04 Frhs2[398]: 6 0 0.312597 shouldn't be
893.06/895.31 WSVECS04 Frhs2[400]: 6 0 0.437547 shouldn't be
893.06/895.31 WSVECS04 Frhs2[666]: 6 0 0.0937627 shouldn't be
893.06/895.31 WSVECS04 Frhs2[861]: 6 0 1.63561 shouldn't be
893.06/895.31 WSVECS04 Frhs2[889]: 6 0 1.00008 shouldn't be
893.06/895.31 WSVECS04 Frhs2[968]: 6 0 0.75007 shouldn't be
893.06/895.31 WSVECS04 Frhs2[971]: 6 0 1.12504 shouldn't be
893.06/895.31 WSVECS04 Frhs2[1022]: 6 0 0.0625505 shouldn't be
893.06/895.31 WSVECS04 Frhs2[1024]: 6 0 0.187511 shouldn't be
893.06/895.31 WSVECS04 Frhs2[1192]: 6 0 0.075099 shouldn't be
893.06/895.31 WSVECS04 Frhs2[1193]: 6 0 0.137548 shouldn't be
893.06/895.31 WSVECS04 Frhs2[1238]: 6 0 0.250013 shouldn't be
893.06/895.31 WSVECS04 Frhs2[1851]: 6 0 0.187551 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2127]: 6 -1.06255 0 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2146]: 6 0 0.125059 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2186]: 6 0 0.0185213 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2193]: 6 0 0.080993 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2547]: 6 0 0.0196089 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2548]: 6 0 0.039122 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2551]: 6 0 0.0977962 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2577]: 6 0 12.5943 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2868]: 6 0 0.218838 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2913]: 6 0 0.0369445 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2914]: 6 0 0.0995066 shouldn't be
893.06/895.31 WSVECS04 Frhs2[2922]: 6 0 0.749478 shouldn't be
893.06/895.31 WSVECS04 Frhs2[3430]: 6 0 0.174997 shouldn't be
893.06/895.31 WSVECS04 Frhs2[3433]: 6 0 0.250089 shouldn't be
1009.38/1011.99 c #Conflicts: 772000 | #Constraints: 114252
1009.38/1011.99 c #Conflicts: 773000 | #Constraints: 115252
1009.38/1011.99 c #Conflicts: 774000 | #Constraints: 116252
1009.38/1011.99 c #Conflicts: 775000 | #Constraints: 117252
1009.38/1011.99 c #Conflicts: 776000 | #Constraints: 118252
1009.38/1011.99 c #Conflicts: 777000 | #Constraints: 119252
1009.38/1011.99 c #Conflicts: 778000 | #Constraints: 120252
1009.38/1011.99 c #Conflicts: 779000 | #Constraints: 121252
1009.38/1011.99 c #Conflicts: 780000 | #Constraints: 122252
1009.38/1011.99 c INPROCESSING
1009.38/1011.99 c GARBAGE COLLECT
1009.38/1011.99 c #Conflicts: 781000 | #Constraints: 101469
1009.38/1011.99 c #Conflicts: 782000 | #Constraints: 102469
1009.38/1011.99 c #Conflicts: 783000 | #Constraints: 103469
1009.38/1011.99 c #Conflicts: 784000 | #Constraints: 104469
1009.38/1011.99 c #Conflicts: 785000 | #Constraints: 105469
1009.38/1011.99 c #Conflicts: 786000 | #Constraints: 106469
1009.38/1011.99 c #Conflicts: 787000 | #Constraints: 107469
1009.38/1011.99 c #Conflicts: 788000 | #Constraints: 108469
1009.38/1011.99 c #Conflicts: 789000 | #Constraints: 109469
1009.38/1011.99 c #Conflicts: 790000 | #Constraints: 110469
1009.38/1011.99 c #Conflicts: 791000 | #Constraints: 111469
1009.38/1011.99 c #Conflicts: 792000 | #Constraints: 112469
1009.38/1011.99 c #Conflicts: 793000 | #Constraints: 113469
1009.38/1011.99 c #Conflicts: 794000 | #Constraints: 114469
1009.38/1011.99 c #Conflicts: 795000 | #Constraints: 115469
1009.38/1011.99 c #Conflicts: 796000 | #Constraints: 116469
1009.38/1011.99 c #Conflicts: 797000 | #Constraints: 117469
1009.38/1011.99 c #Conflicts: 798000 | #Constraints: 118469
1009.38/1011.99 c #Conflicts: 799000 | #Constraints: 119469
1009.38/1011.99 c #Conflicts: 800000 | #Constraints: 120469
1009.38/1011.99 c #Conflicts: 801000 | #Constraints: 121469
1009.38/1011.99 c #Conflicts: 802000 | #Constraints: 122469
1009.38/1011.99 c #Conflicts: 803000 | #Constraints: 123469
1009.38/1011.99 c #Conflicts: 804000 | #Constraints: 124469
1009.38/1011.99 c #Conflicts: 805000 | #Constraints: 125469
1009.38/1011.99 c #Conflicts: 806000 | #Constraints: 126469
1009.38/1011.99 c #Conflicts: 807000 | #Constraints: 127469
1009.38/1011.99 c #Conflicts: 808000 | #Constraints: 128469
1009.38/1011.99 c #Conflicts: 809000 | #Constraints: 129469
1009.38/1011.99 c #Conflicts: 810000 | #Constraints: 130469
1009.38/1011.99 c #Conflicts: 811000 | #Constraints: 131469
1009.38/1011.99 c #Conflicts: 812000 | #Constraints: 132469
1009.38/1011.99 c #Conflicts: 813000 | #Constraints: 133469
1009.38/1011.99 c #Conflicts: 814000 | #Constraints: 134469
1009.38/1011.99 c #Conflicts: 815000 | #Constraints: 135469
1009.38/1011.99 c #Conflicts: 816000 | #Constraints: 136469
1009.38/1011.99 c #Conflicts: 817000 | #Constraints: 137469
1009.38/1011.99 c #Conflicts: 818000 | #Constraints: 138469
1009.38/1011.99 c #Conflicts: 819000 | #Constraints: 139469
1009.38/1011.99 c #Conflicts: 820000 | #Constraints: 140469
1009.38/1011.99 c #Conflicts: 821000 | #Constraints: 141469
1009.38/1011.99 c #Conflicts: 822000 | #Constraints: 142469
1009.38/1011.99 c #Conflicts: 823000 | #Constraints: 143469
1009.38/1011.99 c #Conflicts: 824000 | #Constraints: 144469
1009.38/1011.99 c #Conflicts: 825000 | #Constraints: 145469
1009.38/1011.99 c #Conflicts: 826000 | #Constraints: 146469
1009.38/1011.99 c #Conflicts: 827000 | #Constraints: 147469
1009.38/1011.99 c #Conflicts: 828000 | #Constraints: 148469
1009.38/1011.99 c #Conflicts: 829000 | #Constraints: 149469
1009.38/1011.99 c #Conflicts: 830000 | #Constraints: 150469
1009.38/1011.99 c #Conflicts: 831000 | #Constraints: 151469
1009.38/1011.99 c #Conflicts: 832000 | #Constraints: 152469
1009.38/1011.99 c #Conflicts: 833000 | #Constraints: 153469
1009.38/1011.99 c #Conflicts: 834000 | #Constraints: 154469
1009.38/1011.99 c #Conflicts: 835000 | #Constraints: 155469
1009.38/1011.99 c #Conflicts: 836000 | #Constraints: 156469
1009.38/1011.99 c #Conflicts: 837000 | #Constraints: 157469
1009.38/1011.99 c #Conflicts: 838000 | #Constraints: 158469
1009.38/1011.99 c #Conflicts: 839000 | #Constraints: 159469
1009.38/1011.99 c #Conflicts: 840000 | #Constraints: 160469
1009.38/1011.99 c #Conflicts: 841000 | #Constraints: 161469
1009.38/1011.99 c #Conflicts: 842000 | #Constraints: 162469
1009.38/1011.99 c #Conflicts: 843000 | #Constraints: 163469
1009.38/1011.99 c #Conflicts: 844000 | #Constraints: 164469
1009.38/1011.99 c #Conflicts: 845000 | #Constraints: 165469
1009.38/1011.99 c #Conflicts: 846000 | #Constraints: 166469
1009.38/1011.99 c #Conflicts: 847000 | #Constraints: 167469
1009.38/1011.99 c #Conflicts: 848000 | #Constraints: 168469
1009.38/1011.99 c #Conflicts: 849000 | #Constraints: 169469
1009.38/1011.99 c #Conflicts: 850000 | #Constraints: 170469
1113.93/1116.71 c #Conflicts: 851000 | #Constraints: 171469
1113.93/1116.71 c #Conflicts: 852000 | #Constraints: 172469
1113.93/1116.71 c #Conflicts: 853000 | #Constraints: 173469
1113.93/1116.71 c #Conflicts: 854000 | #Constraints: 174469
1113.93/1116.71 c #Conflicts: 855000 | #Constraints: 175469
1113.93/1116.71 c #Conflicts: 856000 | #Constraints: 176469
1113.93/1116.71 c #Conflicts: 857000 | #Constraints: 177469
1113.93/1116.71 c #Conflicts: 858000 | #Constraints: 178469
1113.93/1116.71 c INPROCESSING
1113.93/1116.71 c GARBAGE COLLECT
1113.93/1116.71 c #Conflicts: 859000 | #Constraints: 129580
1113.93/1116.71 c #Conflicts: 860000 | #Constraints: 130580
1113.93/1116.71 c #Conflicts: 861000 | #Constraints: 131581
1113.93/1116.71 c #Conflicts: 862000 | #Constraints: 132581
1113.93/1116.71 c #Conflicts: 863000 | #Constraints: 133581
1113.93/1116.71 c #Conflicts: 864000 | #Constraints: 134581
1113.93/1116.71 c #Conflicts: 865000 | #Constraints: 135581
1113.93/1116.71 c #Conflicts: 866000 | #Constraints: 136581
1113.93/1116.71 c #Conflicts: 867000 | #Constraints: 137581
1113.93/1116.71 c #Conflicts: 868000 | #Constraints: 138581
1113.93/1116.71 c #Conflicts: 869000 | #Constraints: 139581
1113.93/1116.71 c #Conflicts: 870000 | #Constraints: 140581
1113.93/1116.71 c #Conflicts: 871000 | #Constraints: 141581
1113.93/1116.71 c #Conflicts: 872000 | #Constraints: 142581
1113.93/1116.71 c #Conflicts: 873000 | #Constraints: 143581
1113.93/1116.71 c #Conflicts: 874000 | #Constraints: 144582
1113.93/1116.71 c #Conflicts: 875000 | #Constraints: 145582
1113.93/1116.71 c #Conflicts: 876000 | #Constraints: 146582
1113.93/1116.71 c #Conflicts: 877000 | #Constraints: 147582
1113.93/1116.71 c INPROCESSING
1113.93/1116.71 c GARBAGE COLLECT
1113.93/1116.71 c #Conflicts: 878000 | #Constraints: 113773
1113.93/1116.71 c #Conflicts: 879000 | #Constraints: 114773
1113.93/1116.71 c #Conflicts: 880000 | #Constraints: 115773
1113.93/1116.71 c #Conflicts: 881000 | #Constraints: 116773
1113.93/1116.71 c #Conflicts: 882000 | #Constraints: 117773
1113.93/1116.71 c #Conflicts: 883000 | #Constraints: 118773
1113.93/1116.71 c #Conflicts: 884000 | #Constraints: 119773
1113.93/1116.71 c #Conflicts: 885000 | #Constraints: 120775
1113.93/1116.71 c #Conflicts: 886000 | #Constraints: 121776
1113.93/1116.71 c #Conflicts: 887000 | #Constraints: 122777
1113.93/1116.71 c #Conflicts: 888000 | #Constraints: 123777
1113.93/1116.71 c #Conflicts: 889000 | #Constraints: 124787
1113.93/1116.71 c #Conflicts: 890000 | #Constraints: 125789
1113.93/1116.71 c #Conflicts: 891000 | #Constraints: 126789
1113.93/1116.71 c #Conflicts: 892000 | #Constraints: 127789
1113.93/1116.71 c #Conflicts: 893000 | #Constraints: 128789
1113.93/1116.71 c #Conflicts: 894000 | #Constraints: 129790
1113.93/1116.71 c #Conflicts: 895000 | #Constraints: 130790
1113.93/1116.71 c #Conflicts: 896000 | #Constraints: 131792
1113.93/1116.71 c #Conflicts: 897000 | #Constraints: 132792
1113.93/1116.71 c INPROCESSING
1113.93/1116.71 c GARBAGE COLLECT
1113.93/1116.71 c #Conflicts: 898000 | #Constraints: 106411
1113.93/1116.71 c #Conflicts: 899000 | #Constraints: 107411
1113.93/1116.71 c #Conflicts: 900000 | #Constraints: 108412
1113.93/1116.71 c #Conflicts: 901000 | #Constraints: 109413
1113.93/1116.71 c #Conflicts: 902000 | #Constraints: 110414
1113.93/1116.71 c #Conflicts: 903000 | #Constraints: 111414
1113.93/1116.71 c #Conflicts: 904000 | #Constraints: 112416
1113.93/1116.71 c #Conflicts: 905000 | #Constraints: 113416
1113.93/1116.71 c #Conflicts: 906000 | #Constraints: 114416
1113.93/1116.71 c #Conflicts: 907000 | #Constraints: 115416
1113.93/1116.71 c #Conflicts: 908000 | #Constraints: 116416
1113.93/1116.71 c #Conflicts: 909000 | #Constraints: 117417
1113.93/1116.71 c #Conflicts: 910000 | #Constraints: 118417
1113.93/1116.71 c #Conflicts: 911000 | #Constraints: 119418
1113.93/1116.71 c #Conflicts: 912000 | #Constraints: 120418
1113.93/1116.71 c #Conflicts: 913000 | #Constraints: 121419
1113.93/1116.71 c #Conflicts: 914000 | #Constraints: 122419
1113.93/1116.71 c #Conflicts: 915000 | #Constraints: 123419
1113.93/1116.71 c #Conflicts: 916000 | #Constraints: 124420
1113.93/1116.71 c #Conflicts: 917000 | #Constraints: 125420
1113.93/1116.71 c INPROCESSING
1113.93/1116.71 c GARBAGE COLLECT
1113.93/1116.71 c #Conflicts: 918000 | #Constraints: 102719
1113.93/1116.71 c #Conflicts: 919000 | #Constraints: 103721
1113.93/1116.71 c #Conflicts: 920000 | #Constraints: 104722
1113.93/1116.71 c #Conflicts: 921000 | #Constraints: 105724
1113.93/1116.71 c #Conflicts: 922000 | #Constraints: 106725
1113.93/1116.71 c #Conflicts: 923000 | #Constraints: 107726
1113.93/1116.71 c #Conflicts: 924000 | #Constraints: 108726
1113.93/1116.71 c #Conflicts: 925000 | #Constraints: 109726
1113.93/1116.71 c #Conflicts: 926000 | #Constraints: 110726
1275.93/1279.19 c #Conflicts: 927000 | #Constraints: 111726
1275.93/1279.19 c #Conflicts: 928000 | #Constraints: 112726
1275.93/1279.19 c #Conflicts: 929000 | #Constraints: 113726
1275.93/1279.19 c #Conflicts: 930000 | #Constraints: 114726
1275.93/1279.19 c #Conflicts: 931000 | #Constraints: 115726
1275.93/1279.19 c #Conflicts: 932000 | #Constraints: 116727
1275.93/1279.19 c #Conflicts: 933000 | #Constraints: 117727
1275.93/1279.19 c #Conflicts: 934000 | #Constraints: 118727
1275.93/1279.19 c #Conflicts: 935000 | #Constraints: 119727
1275.93/1279.19 c #Conflicts: 936000 | #Constraints: 120727
1275.93/1279.19 c #Conflicts: 937000 | #Constraints: 121727
1275.93/1279.19 c #Conflicts: 938000 | #Constraints: 122727
1275.93/1279.19 c #Conflicts: 939000 | #Constraints: 123727
1275.93/1279.19 c #Conflicts: 940000 | #Constraints: 124727
1275.93/1279.19 c #Conflicts: 941000 | #Constraints: 125727
1275.93/1279.19 c #Conflicts: 942000 | #Constraints: 126727
1275.93/1279.19 c #Conflicts: 943000 | #Constraints: 127727
1275.93/1279.19 c #Conflicts: 944000 | #Constraints: 128727
1275.93/1279.19 c #Conflicts: 945000 | #Constraints: 129727
1275.93/1279.19 c #Conflicts: 946000 | #Constraints: 130727
1275.93/1279.19 c #Conflicts: 947000 | #Constraints: 131727
1275.93/1279.19 c #Conflicts: 948000 | #Constraints: 132727
1275.93/1279.19 c #Conflicts: 949000 | #Constraints: 133727
1275.93/1279.19 c #Conflicts: 950000 | #Constraints: 134727
1275.93/1279.19 c #Conflicts: 951000 | #Constraints: 135727
1275.93/1279.19 c #Conflicts: 952000 | #Constraints: 136727
1275.93/1279.19 c #Conflicts: 953000 | #Constraints: 137727
1275.93/1279.19 c #Conflicts: 954000 | #Constraints: 138727
1275.93/1279.19 c #Conflicts: 955000 | #Constraints: 139728
1275.93/1279.19 c #Conflicts: 956000 | #Constraints: 140728
1275.93/1279.19 c #Conflicts: 957000 | #Constraints: 141729
1275.93/1279.19 c #Conflicts: 958000 | #Constraints: 142729
1275.93/1279.19 c #Conflicts: 959000 | #Constraints: 143732
1275.93/1279.19 c #Conflicts: 960000 | #Constraints: 144733
1275.93/1279.19 c #Conflicts: 961000 | #Constraints: 145733
1275.93/1279.19 c #Conflicts: 962000 | #Constraints: 146733
1275.93/1279.19 c #Conflicts: 963000 | #Constraints: 147733
1275.93/1279.19 c #Conflicts: 964000 | #Constraints: 148734
1275.93/1279.19 c #Conflicts: 965000 | #Constraints: 149735
1275.93/1279.19 c #Conflicts: 966000 | #Constraints: 150736
1275.93/1279.19 c #Conflicts: 967000 | #Constraints: 151738
1275.93/1279.19 c #Conflicts: 968000 | #Constraints: 152739
1275.93/1279.19 c #Conflicts: 969000 | #Constraints: 153740
1275.93/1279.19 c #Conflicts: 970000 | #Constraints: 154746
1275.93/1279.19 c #Conflicts: 971000 | #Constraints: 155746
1275.93/1279.19 c #Conflicts: 972000 | #Constraints: 156746
1275.93/1279.19 c #Conflicts: 973000 | #Constraints: 157746
1275.93/1279.19 c #Conflicts: 974000 | #Constraints: 158746
1275.93/1279.19 c #Conflicts: 975000 | #Constraints: 159746
1275.93/1279.19 c #Conflicts: 976000 | #Constraints: 160746
1275.93/1279.19 c #Conflicts: 977000 | #Constraints: 161746
1275.93/1279.19 c #Conflicts: 978000 | #Constraints: 162746
1275.93/1279.19 c #Conflicts: 979000 | #Constraints: 163746
1275.93/1279.19 c #Conflicts: 980000 | #Constraints: 164746
1275.93/1279.19 c #Conflicts: 981000 | #Constraints: 165746
1275.93/1279.19 c #Conflicts: 982000 | #Constraints: 166746
1275.93/1279.19 c #Conflicts: 983000 | #Constraints: 167746
1275.93/1279.19 c #Conflicts: 984000 | #Constraints: 168746
1275.93/1279.19 c #Conflicts: 985000 | #Constraints: 169746
1275.93/1279.19 c #Conflicts: 986000 | #Constraints: 170746
1275.93/1279.19 c #Conflicts: 987000 | #Constraints: 171746
1275.93/1279.19 c #Conflicts: 988000 | #Constraints: 172746
1275.93/1279.19 c #Conflicts: 989000 | #Constraints: 173746
1275.93/1279.19 c #Conflicts: 990000 | #Constraints: 174746
1275.93/1279.19 c #Conflicts: 991000 | #Constraints: 175746
1275.93/1279.19 c #Conflicts: 992000 | #Constraints: 176746
1275.93/1279.19 c #Conflicts: 993000 | #Constraints: 177746
1275.93/1279.19 c #Conflicts: 994000 | #Constraints: 178746
1275.93/1279.19 c #Conflicts: 995000 | #Constraints: 179746
1275.93/1279.19 c #Conflicts: 996000 | #Constraints: 180746
1275.93/1279.19 c #Conflicts: 997000 | #Constraints: 181746
1275.93/1279.19 c #Conflicts: 998000 | #Constraints: 182747
1275.93/1279.19 c #Conflicts: 999000 | #Constraints: 183747
1275.93/1279.19 c #Conflicts: 1000000 | #Constraints: 184747
1275.93/1279.19 c #Conflicts: 1001000 | #Constraints: 185747
1275.93/1279.19 c INPROCESSING
1275.93/1279.19 c GARBAGE COLLECT
1275.93/1279.19 c #Conflicts: 1002000 | #Constraints: 133235
1275.93/1279.19 c #Conflicts: 1003000 | #Constraints: 134235
1275.93/1279.19 c #Conflicts: 1004000 | #Constraints: 135236
1405.62/1409.14 c #Conflicts: 1005000 | #Constraints: 136236
1405.62/1409.14 c #Conflicts: 1006000 | #Constraints: 137237
1405.62/1409.14 c #Conflicts: 1007000 | #Constraints: 138237
1405.62/1409.14 c #Conflicts: 1008000 | #Constraints: 139237
1405.62/1409.14 c #Conflicts: 1009000 | #Constraints: 140237
1405.62/1409.14 c #Conflicts: 1010000 | #Constraints: 141237
1405.62/1409.14 c #Conflicts: 1011000 | #Constraints: 142237
1405.62/1409.14 c #Conflicts: 1012000 | #Constraints: 143237
1405.62/1409.14 c #Conflicts: 1013000 | #Constraints: 144237
1405.62/1409.14 c #Conflicts: 1014000 | #Constraints: 145237
1405.62/1409.14 c #Conflicts: 1015000 | #Constraints: 146237
1405.62/1409.14 c #Conflicts: 1016000 | #Constraints: 147237
1405.62/1409.14 c #Conflicts: 1017000 | #Constraints: 148237
1405.62/1409.14 c #Conflicts: 1018000 | #Constraints: 149237
1405.62/1409.14 c #Conflicts: 1019000 | #Constraints: 150237
1405.62/1409.14 c #Conflicts: 1020000 | #Constraints: 151238
1405.62/1409.14 c #Conflicts: 1021000 | #Constraints: 152238
1405.62/1409.14 c #Conflicts: 1022000 | #Constraints: 153238
1405.62/1409.14 c INPROCESSING
1405.62/1409.14 c GARBAGE COLLECT
1405.62/1409.14 c #Conflicts: 1023000 | #Constraints: 116813
1405.62/1409.14 c #Conflicts: 1024000 | #Constraints: 117813
1405.62/1409.14 c #Conflicts: 1025000 | #Constraints: 118813
1405.62/1409.14 c #Conflicts: 1026000 | #Constraints: 119813
1405.62/1409.14 c #Conflicts: 1027000 | #Constraints: 120813
1405.62/1409.14 c #Conflicts: 1028000 | #Constraints: 121813
1405.62/1409.14 c #Conflicts: 1029000 | #Constraints: 122813
1405.62/1409.14 c #Conflicts: 1030000 | #Constraints: 123813
1405.62/1409.14 c #Conflicts: 1031000 | #Constraints: 124813
1405.62/1409.14 c #Conflicts: 1032000 | #Constraints: 125813
1405.62/1409.14 c #Conflicts: 1033000 | #Constraints: 126813
1405.62/1409.14 c #Conflicts: 1034000 | #Constraints: 127813
1405.62/1409.14 c #Conflicts: 1035000 | #Constraints: 128813
1405.62/1409.14 c #Conflicts: 1036000 | #Constraints: 129813
1405.62/1409.14 c #Conflicts: 1037000 | #Constraints: 130813
1405.62/1409.14 c #Conflicts: 1038000 | #Constraints: 131813
1405.62/1409.14 c #Conflicts: 1039000 | #Constraints: 132813
1405.62/1409.14 c #Conflicts: 1040000 | #Constraints: 133813
1405.62/1409.14 c #Conflicts: 1041000 | #Constraints: 134813
1405.62/1409.14 c #Conflicts: 1042000 | #Constraints: 135813
1405.62/1409.14 c #Conflicts: 1043000 | #Constraints: 136813
1405.62/1409.14 c #Conflicts: 1044000 | #Constraints: 137813
1405.62/1409.14 c INPROCESSING
1405.62/1409.14 c GARBAGE COLLECT
1405.62/1409.14 c #Conflicts: 1045000 | #Constraints: 109251
1405.62/1409.14 c #Conflicts: 1046000 | #Constraints: 110251
1405.62/1409.14 c #Conflicts: 1047000 | #Constraints: 111251
1405.62/1409.14 c #Conflicts: 1048000 | #Constraints: 112251
1405.62/1409.14 c #Conflicts: 1049000 | #Constraints: 113251
1405.62/1409.14 c #Conflicts: 1050000 | #Constraints: 114251
1405.62/1409.14 c #Conflicts: 1051000 | #Constraints: 115251
1405.62/1409.14 c #Conflicts: 1052000 | #Constraints: 116251
1405.62/1409.14 c #Conflicts: 1053000 | #Constraints: 117251
1405.62/1409.14 c #Conflicts: 1054000 | #Constraints: 118251
1405.62/1409.14 c #Conflicts: 1055000 | #Constraints: 119251
1405.62/1409.14 c #Conflicts: 1056000 | #Constraints: 120252
1405.62/1409.14 c #Conflicts: 1057000 | #Constraints: 121252
1405.62/1409.14 c #Conflicts: 1058000 | #Constraints: 122252
1405.62/1409.14 c #Conflicts: 1059000 | #Constraints: 123252
1405.62/1409.14 c #Conflicts: 1060000 | #Constraints: 124252
1405.62/1409.14 c #Conflicts: 1061000 | #Constraints: 125252
1405.62/1409.14 c #Conflicts: 1062000 | #Constraints: 126252
1405.62/1409.14 c #Conflicts: 1063000 | #Constraints: 127252
1405.62/1409.14 c #Conflicts: 1064000 | #Constraints: 128252
1405.62/1409.14 c #Conflicts: 1065000 | #Constraints: 129252
1405.62/1409.14 c INPROCESSING
1405.62/1409.14 c GARBAGE COLLECT
1405.62/1409.14 c #Conflicts: 1066000 | #Constraints: 104577
1405.62/1409.14 c #Conflicts: 1067000 | #Constraints: 105578
1405.62/1409.14 c #Conflicts: 1068000 | #Constraints: 106578
1405.62/1409.14 c #Conflicts: 1069000 | #Constraints: 107578
1405.62/1409.14 c #Conflicts: 1070000 | #Constraints: 108578
1405.62/1409.14 c #Conflicts: 1071000 | #Constraints: 109578
1405.62/1409.14 c #Conflicts: 1072000 | #Constraints: 110578
1405.62/1409.14 c #Conflicts: 1073000 | #Constraints: 111578
1405.62/1409.14 c #Conflicts: 1074000 | #Constraints: 112578
1405.62/1409.14 c #Conflicts: 1075000 | #Constraints: 113578
1405.62/1409.14 c #Conflicts: 1076000 | #Constraints: 114578
1405.62/1409.14 c #Conflicts: 1077000 | #Constraints: 115578
1405.62/1409.14 c #Conflicts: 1078000 | #Constraints: 116578
1405.62/1409.14 c #Conflicts: 1079000 | #Constraints: 117578
1405.62/1409.14 c #Conflicts: 1080000 | #Constraints: 118578
1405.62/1409.14 c #Conflicts: 1081000 | #Constraints: 119578
1587.25/1591.20 c #Conflicts: 1082000 | #Constraints: 120578
1587.25/1591.20 c #Conflicts: 1083000 | #Constraints: 121578
1587.25/1591.20 c #Conflicts: 1084000 | #Constraints: 122578
1587.25/1591.20 c #Conflicts: 1085000 | #Constraints: 123578
1587.25/1591.20 c #Conflicts: 1086000 | #Constraints: 124578
1587.25/1591.20 c #Conflicts: 1087000 | #Constraints: 125578
1587.25/1591.20 c #Conflicts: 1088000 | #Constraints: 126578
1587.25/1591.20 c #Conflicts: 1089000 | #Constraints: 127578
1587.25/1591.20 c #Conflicts: 1090000 | #Constraints: 128579
1587.25/1591.20 c #Conflicts: 1091000 | #Constraints: 129579
1587.25/1591.20 c #Conflicts: 1092000 | #Constraints: 130579
1587.25/1591.20 c #Conflicts: 1093000 | #Constraints: 131579
1587.25/1591.20 c #Conflicts: 1094000 | #Constraints: 132579
1587.25/1591.20 c #Conflicts: 1095000 | #Constraints: 133579
1587.25/1591.20 c #Conflicts: 1096000 | #Constraints: 134579
1587.25/1591.20 c #Conflicts: 1097000 | #Constraints: 135579
1587.25/1591.20 c #Conflicts: 1098000 | #Constraints: 136579
1587.25/1591.20 c #Conflicts: 1099000 | #Constraints: 137579
1587.25/1591.20 c #Conflicts: 1100000 | #Constraints: 138580
1587.25/1591.20 c #Conflicts: 1101000 | #Constraints: 139581
1587.25/1591.20 c #Conflicts: 1102000 | #Constraints: 140581
1587.25/1591.20 c #Conflicts: 1103000 | #Constraints: 141583
1587.25/1591.20 c #Conflicts: 1104000 | #Constraints: 142583
1587.25/1591.20 c #Conflicts: 1105000 | #Constraints: 143583
1587.25/1591.20 c #Conflicts: 1106000 | #Constraints: 144583
1587.25/1591.20 c #Conflicts: 1107000 | #Constraints: 145583
1587.25/1591.20 c #Conflicts: 1108000 | #Constraints: 146583
1587.25/1591.20 c #Conflicts: 1109000 | #Constraints: 147583
1587.25/1591.20 c #Conflicts: 1110000 | #Constraints: 148583
1587.25/1591.20 c #Conflicts: 1111000 | #Constraints: 149583
1587.25/1591.20 c #Conflicts: 1112000 | #Constraints: 150583
1587.25/1591.20 c #Conflicts: 1113000 | #Constraints: 151583
1587.25/1591.20 c #Conflicts: 1114000 | #Constraints: 152583
1587.25/1591.20 c #Conflicts: 1115000 | #Constraints: 153584
1587.25/1591.20 c #Conflicts: 1116000 | #Constraints: 154584
1587.25/1591.20 c #Conflicts: 1117000 | #Constraints: 155584
1587.25/1591.20 c #Conflicts: 1118000 | #Constraints: 156584
1587.25/1591.20 c #Conflicts: 1119000 | #Constraints: 157584
1587.25/1591.20 c #Conflicts: 1120000 | #Constraints: 158584
1587.25/1591.20 c #Conflicts: 1121000 | #Constraints: 159584
1587.25/1591.20 c #Conflicts: 1122000 | #Constraints: 160584
1587.25/1591.20 c #Conflicts: 1123000 | #Constraints: 161584
1587.25/1591.20 c #Conflicts: 1124000 | #Constraints: 162584
1587.25/1591.20 c #Conflicts: 1125000 | #Constraints: 163584
1587.25/1591.20 c #Conflicts: 1126000 | #Constraints: 164584
1587.25/1591.20 c #Conflicts: 1127000 | #Constraints: 165585
1587.25/1591.20 c #Conflicts: 1128000 | #Constraints: 166585
1587.25/1591.20 c #Conflicts: 1129000 | #Constraints: 167585
1587.25/1591.20 c #Conflicts: 1130000 | #Constraints: 168585
1587.25/1591.20 c #Conflicts: 1131000 | #Constraints: 169585
1587.25/1591.20 c #Conflicts: 1132000 | #Constraints: 170585
1587.25/1591.20 c #Conflicts: 1133000 | #Constraints: 171585
1587.25/1591.20 c #Conflicts: 1134000 | #Constraints: 172586
1587.25/1591.20 c #Conflicts: 1135000 | #Constraints: 173586
1587.25/1591.20 c #Conflicts: 1136000 | #Constraints: 174587
1587.25/1591.20 c #Conflicts: 1137000 | #Constraints: 175587
1587.25/1591.20 c #Conflicts: 1138000 | #Constraints: 176587
1587.25/1591.20 c #Conflicts: 1139000 | #Constraints: 177587
1587.25/1591.20 c #Conflicts: 1140000 | #Constraints: 178587
1587.25/1591.20 c #Conflicts: 1141000 | #Constraints: 179587
1587.25/1591.20 c #Conflicts: 1142000 | #Constraints: 180588
1587.25/1591.20 c #Conflicts: 1143000 | #Constraints: 181588
1587.25/1591.20 c #Conflicts: 1144000 | #Constraints: 182589
1587.25/1591.20 c #Conflicts: 1145000 | #Constraints: 183589
1587.25/1591.20 c #Conflicts: 1146000 | #Constraints: 184589
1587.25/1591.20 c #Conflicts: 1147000 | #Constraints: 185589
1587.25/1591.20 c #Conflicts: 1148000 | #Constraints: 186589
1587.25/1591.20 c #Conflicts: 1149000 | #Constraints: 187589
1587.25/1591.20 c #Conflicts: 1150000 | #Constraints: 188589
1587.25/1591.20 c #Conflicts: 1151000 | #Constraints: 189589
1587.25/1591.20 c #Conflicts: 1152000 | #Constraints: 190589
1587.25/1591.20 c #Conflicts: 1153000 | #Constraints: 191589
1587.25/1591.20 c #Conflicts: 1154000 | #Constraints: 192590
1587.25/1591.20 c INPROCESSING
1587.25/1591.20 c GARBAGE COLLECT
1587.25/1591.20 c #Conflicts: 1155000 | #Constraints: 136459
1587.25/1591.20 c #Conflicts: 1156000 | #Constraints: 137459
1587.25/1591.20 c #Conflicts: 1157000 | #Constraints: 138459
1587.25/1591.20 c #Conflicts: 1158000 | #Constraints: 139459
1587.25/1591.20 c #Conflicts: 1159000 | #Constraints: 140459
1694.69/1698.91 c #Conflicts: 1160000 | #Constraints: 141460
1694.69/1698.91 c #Conflicts: 1161000 | #Constraints: 142460
1694.69/1698.91 c #Conflicts: 1162000 | #Constraints: 143460
1694.69/1698.91 c #Conflicts: 1163000 | #Constraints: 144460
1694.69/1698.91 c #Conflicts: 1164000 | #Constraints: 145460
1694.69/1698.91 c #Conflicts: 1165000 | #Constraints: 146460
1694.69/1698.91 c #Conflicts: 1166000 | #Constraints: 147460
1694.69/1698.91 c #Conflicts: 1167000 | #Constraints: 148460
1694.69/1698.91 c #Conflicts: 1168000 | #Constraints: 149460
1694.69/1698.91 c #Conflicts: 1169000 | #Constraints: 150461
1694.69/1698.91 c #Conflicts: 1170000 | #Constraints: 151461
1694.69/1698.91 c #Conflicts: 1171000 | #Constraints: 152461
1694.69/1698.91 c #Conflicts: 1172000 | #Constraints: 153461
1694.69/1698.91 c #Conflicts: 1173000 | #Constraints: 154462
1694.69/1698.91 c #Conflicts: 1174000 | #Constraints: 155462
1694.69/1698.91 c #Conflicts: 1175000 | #Constraints: 156462
1694.69/1698.91 c #Conflicts: 1176000 | #Constraints: 157464
1694.69/1698.91 c #Conflicts: 1177000 | #Constraints: 158465
1694.69/1698.91 c INPROCESSING
1694.69/1698.91 c GARBAGE COLLECT
1694.69/1698.91 c #Conflicts: 1178000 | #Constraints: 119340
1694.69/1698.91 c #Conflicts: 1179000 | #Constraints: 120348
1694.69/1698.91 c #Conflicts: 1180000 | #Constraints: 121348
1694.69/1698.91 c #Conflicts: 1181000 | #Constraints: 122348
1694.69/1698.91 c #Conflicts: 1182000 | #Constraints: 123348
1694.69/1698.91 c #Conflicts: 1183000 | #Constraints: 124348
1694.69/1698.91 c #Conflicts: 1184000 | #Constraints: 125348
1694.69/1698.91 c #Conflicts: 1185000 | #Constraints: 126348
1694.69/1698.91 c #Conflicts: 1186000 | #Constraints: 127348
1694.69/1698.91 c #Conflicts: 1187000 | #Constraints: 128348
1694.69/1698.91 c #Conflicts: 1188000 | #Constraints: 129349
1694.69/1698.91 c #Conflicts: 1189000 | #Constraints: 130349
1694.69/1698.91 c #Conflicts: 1190000 | #Constraints: 131350
1694.69/1698.91 c #Conflicts: 1191000 | #Constraints: 132350
1694.69/1698.91 c #Conflicts: 1192000 | #Constraints: 133352
1694.69/1698.91 c #Conflicts: 1193000 | #Constraints: 134354
1694.69/1698.91 c #Conflicts: 1194000 | #Constraints: 135356
1694.69/1698.91 c #Conflicts: 1195000 | #Constraints: 136357
1694.69/1698.91 c #Conflicts: 1196000 | #Constraints: 137357
1694.69/1698.91 c #Conflicts: 1197000 | #Constraints: 138357
1694.69/1698.91 c #Conflicts: 1198000 | #Constraints: 139358
1694.69/1698.91 c #Conflicts: 1199000 | #Constraints: 140358
1694.69/1698.91 c #Conflicts: 1200000 | #Constraints: 141358
1694.69/1698.91 c INPROCESSING
1694.69/1698.91 c GARBAGE COLLECT
1694.69/1698.91 c #Conflicts: 1201000 | #Constraints: 110624
1694.69/1698.91 c #Conflicts: 1202000 | #Constraints: 111624
1694.69/1698.91 c #Conflicts: 1203000 | #Constraints: 112624
1694.69/1698.91 c #Conflicts: 1204000 | #Constraints: 113626
1694.69/1698.91 c #Conflicts: 1205000 | #Constraints: 114627
1694.69/1698.91 c #Conflicts: 1206000 | #Constraints: 115628
1694.69/1698.91 c #Conflicts: 1207000 | #Constraints: 116628
1694.69/1698.91 c #Conflicts: 1208000 | #Constraints: 117628
1694.69/1698.91 c #Conflicts: 1209000 | #Constraints: 118628
1694.69/1698.91 c #Conflicts: 1210000 | #Constraints: 119628
1694.69/1698.91 c #Conflicts: 1211000 | #Constraints: 120628
1694.69/1698.91 c #Conflicts: 1212000 | #Constraints: 121628
1694.69/1698.91 c #Conflicts: 1213000 | #Constraints: 122628
1694.69/1698.91 c #Conflicts: 1214000 | #Constraints: 123628
1694.69/1698.91 c #Conflicts: 1215000 | #Constraints: 124628
1694.69/1698.91 c #Conflicts: 1216000 | #Constraints: 125629
1694.69/1698.91 c #Conflicts: 1217000 | #Constraints: 126629
1694.69/1698.91 c #Conflicts: 1218000 | #Constraints: 127629
1694.69/1698.91 c #Conflicts: 1219000 | #Constraints: 128629
1694.69/1698.91 c #Conflicts: 1220000 | #Constraints: 129629
1694.69/1698.91 c #Conflicts: 1221000 | #Constraints: 130629
1694.69/1698.91 c #Conflicts: 1222000 | #Constraints: 131629
1694.69/1698.91 c #Conflicts: 1223000 | #Constraints: 132630
1694.69/1698.91 c #Conflicts: 1224000 | #Constraints: 133630
1694.69/1698.91 c INPROCESSING
1694.69/1698.91 c GARBAGE COLLECT
1694.69/1698.91 c #Conflicts: 1225000 | #Constraints: 107019
1694.69/1698.91 c #Conflicts: 1226000 | #Constraints: 108019
1694.69/1698.91 c #Conflicts: 1227000 | #Constraints: 109020
1694.69/1698.91 c #Conflicts: 1228000 | #Constraints: 110039
1694.69/1698.91 c #Conflicts: 1229000 | #Constraints: 111039
1694.69/1698.91 c #Conflicts: 1230000 | #Constraints: 112039
1694.69/1698.91 c #Conflicts: 1231000 | #Constraints: 113039
1694.69/1698.91 c #Conflicts: 1232000 | #Constraints: 114039
1694.69/1698.91 c #Conflicts: 1233000 | #Constraints: 115039
1694.69/1698.91 c #Conflicts: 1234000 | #Constraints: 116040
1694.69/1698.91 c #Conflicts: 1235000 | #Constraints: 117040
1694.69/1698.91 c #Conflicts: 1236000 | #Constraints: 118040
1831.94/1836.51 c #Conflicts: 1237000 | #Constraints: 119040
1831.94/1836.51 c #Conflicts: 1238000 | #Constraints: 120040
1831.94/1836.51 c #Conflicts: 1239000 | #Constraints: 121040
1831.94/1836.51 c #Conflicts: 1240000 | #Constraints: 122040
1831.94/1836.51 c #Conflicts: 1241000 | #Constraints: 123040
1831.94/1836.51 c #Conflicts: 1242000 | #Constraints: 124040
1831.94/1836.51 c #Conflicts: 1243000 | #Constraints: 125040
1831.94/1836.51 c #Conflicts: 1244000 | #Constraints: 126040
1831.94/1836.51 c #Conflicts: 1245000 | #Constraints: 127041
1831.94/1836.51 c #Conflicts: 1246000 | #Constraints: 128041
1831.94/1836.51 c #Conflicts: 1247000 | #Constraints: 129041
1831.94/1836.51 c #Conflicts: 1248000 | #Constraints: 130042
1831.94/1836.51 c #Conflicts: 1249000 | #Constraints: 131042
1831.94/1836.51 c #Conflicts: 1250000 | #Constraints: 132042
1831.94/1836.51 c #Conflicts: 1251000 | #Constraints: 133042
1831.94/1836.51 c #Conflicts: 1252000 | #Constraints: 134042
1831.94/1836.51 c #Conflicts: 1253000 | #Constraints: 135044
1831.94/1836.51 c #Conflicts: 1254000 | #Constraints: 136044
1831.94/1836.51 c #Conflicts: 1255000 | #Constraints: 137044
1831.94/1836.51 c #Conflicts: 1256000 | #Constraints: 138044
1831.94/1836.51 c #Conflicts: 1257000 | #Constraints: 139044
1831.94/1836.51 c #Conflicts: 1258000 | #Constraints: 140044
1831.94/1836.51 c #Conflicts: 1259000 | #Constraints: 141044
1831.94/1836.51 c #Conflicts: 1260000 | #Constraints: 142044
1831.94/1836.51 c #Conflicts: 1261000 | #Constraints: 143045
1831.94/1836.51 c #Conflicts: 1262000 | #Constraints: 144045
1831.94/1836.51 c #Conflicts: 1263000 | #Constraints: 145046
1831.94/1836.51 c #Conflicts: 1264000 | #Constraints: 146046
1831.94/1836.51 c #Conflicts: 1265000 | #Constraints: 147047
1831.94/1836.51 c #Conflicts: 1266000 | #Constraints: 148047
1831.94/1836.51 c #Conflicts: 1267000 | #Constraints: 149047
1831.94/1836.51 c #Conflicts: 1268000 | #Constraints: 150048
1831.94/1836.51 c #Conflicts: 1269000 | #Constraints: 151049
1831.94/1836.51 c #Conflicts: 1270000 | #Constraints: 152049
1831.94/1836.51 c #Conflicts: 1271000 | #Constraints: 153050
1831.94/1836.51 c #Conflicts: 1272000 | #Constraints: 154051
1831.94/1836.51 c #Conflicts: 1273000 | #Constraints: 155052
1831.94/1836.51 c #Conflicts: 1274000 | #Constraints: 156052
1831.94/1836.51 c #Conflicts: 1275000 | #Constraints: 157052
1831.94/1836.51 c #Conflicts: 1276000 | #Constraints: 158052
1831.94/1836.51 c #Conflicts: 1277000 | #Constraints: 159052
1831.94/1836.51 c #Conflicts: 1278000 | #Constraints: 160052
1831.94/1836.51 c #Conflicts: 1279000 | #Constraints: 161052
1831.94/1836.51 c #Conflicts: 1280000 | #Constraints: 162052
1831.94/1836.51 c #Conflicts: 1281000 | #Constraints: 163052
1831.94/1836.51 c #Conflicts: 1282000 | #Constraints: 164052
1831.94/1836.51 c #Conflicts: 1283000 | #Constraints: 165052
1831.94/1836.51 c #Conflicts: 1284000 | #Constraints: 166052
1831.94/1836.51 c #Conflicts: 1285000 | #Constraints: 167052
1831.94/1836.51 c #Conflicts: 1286000 | #Constraints: 168052
1831.94/1836.51 c #Conflicts: 1287000 | #Constraints: 169052
1831.94/1836.51 c #Conflicts: 1288000 | #Constraints: 170052
1831.94/1836.51 c #Conflicts: 1289000 | #Constraints: 171052
1831.94/1836.51 c #Conflicts: 1290000 | #Constraints: 172052
1831.94/1836.51 c #Conflicts: 1291000 | #Constraints: 173052
1831.94/1836.51 c #Conflicts: 1292000 | #Constraints: 174052
1831.94/1836.51 c #Conflicts: 1293000 | #Constraints: 175052
1831.94/1836.51 c #Conflicts: 1294000 | #Constraints: 176052
1831.94/1836.51 c #Conflicts: 1295000 | #Constraints: 177052
1831.94/1836.51 c #Conflicts: 1296000 | #Constraints: 178052
1831.94/1836.51 c #Conflicts: 1297000 | #Constraints: 179052
1831.94/1836.51 c #Conflicts: 1298000 | #Constraints: 180052
1831.94/1836.51 c #Conflicts: 1299000 | #Constraints: 181052
1831.94/1836.51 c #Conflicts: 1300000 | #Constraints: 182053
1831.94/1836.51 c #Conflicts: 1301000 | #Constraints: 183053
1831.94/1836.51 c #Conflicts: 1302000 | #Constraints: 184053
1831.94/1836.51 c #Conflicts: 1303000 | #Constraints: 185053
1831.94/1836.51 c #Conflicts: 1304000 | #Constraints: 186053
1831.94/1836.51 c #Conflicts: 1305000 | #Constraints: 187053
1831.94/1836.51 c #Conflicts: 1306000 | #Constraints: 188053
1831.94/1836.51 c #Conflicts: 1307000 | #Constraints: 189053
1831.94/1836.51 c #Conflicts: 1308000 | #Constraints: 190053
1831.94/1836.51 c #Conflicts: 1309000 | #Constraints: 191053
1831.94/1836.51 c #Conflicts: 1310000 | #Constraints: 192054
1831.94/1836.51 c #Conflicts: 1311000 | #Constraints: 193054
1831.94/1836.51 c #Conflicts: 1312000 | #Constraints: 194054
1831.94/1836.51 c #Conflicts: 1313000 | #Constraints: 195054
1831.94/1836.51 c #Conflicts: 1314000 | #Constraints: 196054
1831.94/1836.51 c #Conflicts: 1315000 | #Constraints: 197054
1959.82/1964.70 c #Conflicts: 1316000 | #Constraints: 198054
1959.82/1964.70 c #Conflicts: 1317000 | #Constraints: 199054
1959.82/1964.70 c #Conflicts: 1318000 | #Constraints: 200054
1959.82/1964.70 c INPROCESSING
1959.82/1964.70 c GARBAGE COLLECT
1959.82/1964.70 c #Conflicts: 1319000 | #Constraints: 140282
1959.82/1964.70 c #Conflicts: 1320000 | #Constraints: 141282
1959.82/1964.70 c #Conflicts: 1321000 | #Constraints: 142282
1959.82/1964.70 c #Conflicts: 1322000 | #Constraints: 143282
1959.82/1964.70 c #Conflicts: 1323000 | #Constraints: 144282
1959.82/1964.70 c #Conflicts: 1324000 | #Constraints: 145282
1959.82/1964.70 c #Conflicts: 1325000 | #Constraints: 146282
1959.82/1964.70 c #Conflicts: 1326000 | #Constraints: 147282
1959.82/1964.70 c #Conflicts: 1327000 | #Constraints: 148283
1959.82/1964.70 c #Conflicts: 1328000 | #Constraints: 149283
1959.82/1964.70 c #Conflicts: 1329000 | #Constraints: 150283
1959.82/1964.70 c #Conflicts: 1330000 | #Constraints: 151283
1959.82/1964.70 c #Conflicts: 1331000 | #Constraints: 152283
1959.82/1964.70 c #Conflicts: 1332000 | #Constraints: 153283
1959.82/1964.70 c #Conflicts: 1333000 | #Constraints: 154283
1959.82/1964.70 c #Conflicts: 1334000 | #Constraints: 155283
1959.82/1964.70 c #Conflicts: 1335000 | #Constraints: 156283
1959.82/1964.70 c #Conflicts: 1336000 | #Constraints: 157283
1959.82/1964.70 c #Conflicts: 1337000 | #Constraints: 158284
1959.82/1964.70 c #Conflicts: 1338000 | #Constraints: 159284
1959.82/1964.70 c #Conflicts: 1339000 | #Constraints: 160284
1959.82/1964.70 c #Conflicts: 1340000 | #Constraints: 161284
1959.82/1964.70 c #Conflicts: 1341000 | #Constraints: 162284
1959.82/1964.70 c #Conflicts: 1342000 | #Constraints: 163284
1959.82/1964.70 c #Conflicts: 1343000 | #Constraints: 164285
1959.82/1964.70 c INPROCESSING
1959.82/1964.70 c GARBAGE COLLECT
1959.82/1964.70 c #Conflicts: 1344000 | #Constraints: 122500
1959.82/1964.70 c #Conflicts: 1345000 | #Constraints: 123500
1959.82/1964.70 c #Conflicts: 1346000 | #Constraints: 124500
1959.82/1964.70 c #Conflicts: 1347000 | #Constraints: 125501
1959.82/1964.70 c #Conflicts: 1348000 | #Constraints: 126502
1959.82/1964.70 c #Conflicts: 1349000 | #Constraints: 127503
1959.82/1964.70 c #Conflicts: 1350000 | #Constraints: 128503
1959.82/1964.70 c #Conflicts: 1351000 | #Constraints: 129503
1959.82/1964.70 c #Conflicts: 1352000 | #Constraints: 130503
1959.82/1964.70 c #Conflicts: 1353000 | #Constraints: 131503
1959.82/1964.70 c #Conflicts: 1354000 | #Constraints: 132503
1959.82/1964.70 c #Conflicts: 1355000 | #Constraints: 133503
1959.82/1964.70 c #Conflicts: 1356000 | #Constraints: 134503
1959.82/1964.70 c #Conflicts: 1357000 | #Constraints: 135504
1959.82/1964.70 c #Conflicts: 1358000 | #Constraints: 136505
1959.82/1964.70 c #Conflicts: 1359000 | #Constraints: 137505
1959.82/1964.70 c #Conflicts: 1360000 | #Constraints: 138506
1959.82/1964.70 c #Conflicts: 1361000 | #Constraints: 139506
1959.82/1964.70 c #Conflicts: 1362000 | #Constraints: 140506
1959.82/1964.70 c #Conflicts: 1363000 | #Constraints: 141506
1959.82/1964.70 c #Conflicts: 1364000 | #Constraints: 142507
1959.82/1964.70 c #Conflicts: 1365000 | #Constraints: 143507
1959.82/1964.70 c #Conflicts: 1366000 | #Constraints: 144508
1959.82/1964.70 c #Conflicts: 1367000 | #Constraints: 145508
1959.82/1964.70 c #Conflicts: 1368000 | #Constraints: 146509
1959.82/1964.70 c INPROCESSING
1959.82/1964.70 c GARBAGE COLLECT
1959.82/1964.70 c #Conflicts: 1369000 | #Constraints: 113587
1959.82/1964.70 c #Conflicts: 1370000 | #Constraints: 114587
1959.82/1964.70 c #Conflicts: 1371000 | #Constraints: 115587
1959.82/1964.70 c #Conflicts: 1372000 | #Constraints: 116587
1959.82/1964.70 c #Conflicts: 1373000 | #Constraints: 117587
1959.82/1964.70 c #Conflicts: 1374000 | #Constraints: 118587
1959.82/1964.70 c #Conflicts: 1375000 | #Constraints: 119588
1959.82/1964.70 c #Conflicts: 1376000 | #Constraints: 120588
1959.82/1964.70 c #Conflicts: 1377000 | #Constraints: 121588
1959.82/1964.70 c #Conflicts: 1378000 | #Constraints: 122588
1959.82/1964.70 c #Conflicts: 1379000 | #Constraints: 123589
1959.82/1964.70 c #Conflicts: 1380000 | #Constraints: 124590
1959.82/1964.70 c #Conflicts: 1381000 | #Constraints: 125591
1959.82/1964.70 c #Conflicts: 1382000 | #Constraints: 126591
1959.82/1964.70 c #Conflicts: 1383000 | #Constraints: 127592
1959.82/1964.70 c #Conflicts: 1384000 | #Constraints: 128593
1959.82/1964.70 c #Conflicts: 1385000 | #Constraints: 129593
1959.82/1964.70 c #Conflicts: 1386000 | #Constraints: 130593
1959.82/1964.70 c #Conflicts: 1387000 | #Constraints: 131593
1959.82/1964.70 c #Conflicts: 1388000 | #Constraints: 132593
1959.82/1964.70 c #Conflicts: 1389000 | #Constraints: 133594
1959.82/1964.70 c #Conflicts: 1390000 | #Constraints: 134594
1959.82/1964.70 c #Conflicts: 1391000 | #Constraints: 135595
2089.98/2095.20 c #Conflicts: 1392000 | #Constraints: 136595
2089.98/2095.20 c #Conflicts: 1393000 | #Constraints: 137595
2089.98/2095.20 c INPROCESSING
2089.98/2095.20 c GARBAGE COLLECT
2089.98/2095.20 c #Conflicts: 1394000 | #Constraints: 109056
2089.98/2095.20 c #Conflicts: 1395000 | #Constraints: 110056
2089.98/2095.20 c #Conflicts: 1396000 | #Constraints: 111056
2089.98/2095.20 c #Conflicts: 1397000 | #Constraints: 112056
2089.98/2095.20 c #Conflicts: 1398000 | #Constraints: 113056
2089.98/2095.20 c #Conflicts: 1399000 | #Constraints: 114056
2089.98/2095.20 c #Conflicts: 1400000 | #Constraints: 115056
2089.98/2095.20 c #Conflicts: 1401000 | #Constraints: 116056
2089.98/2095.20 c #Conflicts: 1402000 | #Constraints: 117057
2089.98/2095.20 c #Conflicts: 1403000 | #Constraints: 118058
2089.98/2095.20 c #Conflicts: 1404000 | #Constraints: 119059
2089.98/2095.20 c #Conflicts: 1405000 | #Constraints: 120060
2089.98/2095.20 c #Conflicts: 1406000 | #Constraints: 121060
2089.98/2095.20 c #Conflicts: 1407000 | #Constraints: 122062
2089.98/2095.20 c #Conflicts: 1408000 | #Constraints: 123064
2089.98/2095.20 c #Conflicts: 1409000 | #Constraints: 124065
2089.98/2095.20 c #Conflicts: 1410000 | #Constraints: 125068
2089.98/2095.20 c #Conflicts: 1411000 | #Constraints: 126069
2089.98/2095.20 c #Conflicts: 1412000 | #Constraints: 127069
2089.98/2095.20 c #Conflicts: 1413000 | #Constraints: 128069
2089.98/2095.20 c #Conflicts: 1414000 | #Constraints: 129070
2089.98/2095.20 c #Conflicts: 1415000 | #Constraints: 130070
2089.98/2095.20 c #Conflicts: 1416000 | #Constraints: 131071
2089.98/2095.20 c #Conflicts: 1417000 | #Constraints: 132071
2089.98/2095.20 c #Conflicts: 1418000 | #Constraints: 133071
2089.98/2095.20 c #Conflicts: 1419000 | #Constraints: 134071
2089.98/2095.20 c #Conflicts: 1420000 | #Constraints: 135071
2089.98/2095.20 c #Conflicts: 1421000 | #Constraints: 136072
2089.98/2095.20 c #Conflicts: 1422000 | #Constraints: 137072
2089.98/2095.20 c #Conflicts: 1423000 | #Constraints: 138073
2089.98/2095.20 c #Conflicts: 1424000 | #Constraints: 139074
2089.98/2095.20 c #Conflicts: 1425000 | #Constraints: 140075
2089.98/2095.20 c #Conflicts: 1426000 | #Constraints: 141075
2089.98/2095.20 c #Conflicts: 1427000 | #Constraints: 142076
2089.98/2095.20 c #Conflicts: 1428000 | #Constraints: 143076
2089.98/2095.20 c #Conflicts: 1429000 | #Constraints: 144077
2089.98/2095.20 c #Conflicts: 1430000 | #Constraints: 145078
2089.98/2095.20 c #Conflicts: 1431000 | #Constraints: 146078
2089.98/2095.20 c #Conflicts: 1432000 | #Constraints: 147080
2089.98/2095.20 c #Conflicts: 1433000 | #Constraints: 148081
2089.98/2095.20 c #Conflicts: 1434000 | #Constraints: 149081
2089.98/2095.20 c #Conflicts: 1435000 | #Constraints: 150082
2089.98/2095.20 c #Conflicts: 1436000 | #Constraints: 151082
2089.98/2095.20 c #Conflicts: 1437000 | #Constraints: 152083
2089.98/2095.20 c #Conflicts: 1438000 | #Constraints: 153083
2089.98/2095.20 c #Conflicts: 1439000 | #Constraints: 154083
2089.98/2095.20 c #Conflicts: 1440000 | #Constraints: 155084
2089.98/2095.20 c #Conflicts: 1441000 | #Constraints: 156098
2089.98/2095.20 c #Conflicts: 1442000 | #Constraints: 157101
2089.98/2095.20 c #Conflicts: 1443000 | #Constraints: 158101
2089.98/2095.20 c #Conflicts: 1444000 | #Constraints: 159101
2089.98/2095.20 c #Conflicts: 1445000 | #Constraints: 160101
2089.98/2095.20 c #Conflicts: 1446000 | #Constraints: 161101
2089.98/2095.20 c #Conflicts: 1447000 | #Constraints: 162101
2089.98/2095.20 c #Conflicts: 1448000 | #Constraints: 163101
2089.98/2095.20 c #Conflicts: 1449000 | #Constraints: 164101
2089.98/2095.20 c #Conflicts: 1450000 | #Constraints: 165101
2089.98/2095.20 c #Conflicts: 1451000 | #Constraints: 166101
2089.98/2095.20 c #Conflicts: 1452000 | #Constraints: 167101
2089.98/2095.20 c #Conflicts: 1453000 | #Constraints: 168101
2089.98/2095.20 c #Conflicts: 1454000 | #Constraints: 169101
2089.98/2095.20 c #Conflicts: 1455000 | #Constraints: 170101
2089.98/2095.20 c #Conflicts: 1456000 | #Constraints: 171101
2089.98/2095.20 c #Conflicts: 1457000 | #Constraints: 172101
2089.98/2095.20 c #Conflicts: 1458000 | #Constraints: 173101
2089.98/2095.20 c #Conflicts: 1459000 | #Constraints: 174101
2089.98/2095.20 c #Conflicts: 1460000 | #Constraints: 175101
2089.98/2095.20 c #Conflicts: 1461000 | #Constraints: 176101
2089.98/2095.20 c #Conflicts: 1462000 | #Constraints: 177101
2089.98/2095.20 c #Conflicts: 1463000 | #Constraints: 178102
2089.98/2095.20 c #Conflicts: 1464000 | #Constraints: 179102
2089.98/2095.20 c #Conflicts: 1465000 | #Constraints: 180102
2089.98/2095.20 c #Conflicts: 1466000 | #Constraints: 181104
2089.98/2095.20 c #Conflicts: 1467000 | #Constraints: 182105
2089.98/2095.20 c #Conflicts: 1468000 | #Constraints: 183105
2089.98/2095.20 c #Conflicts: 1469000 | #Constraints: 184105
2089.98/2095.20 c #Conflicts: 1470000 | #Constraints: 185106
2230.03/2235.67 c #Conflicts: 1471000 | #Constraints: 186106
2230.03/2235.67 c #Conflicts: 1472000 | #Constraints: 187106
2230.03/2235.67 c #Conflicts: 1473000 | #Constraints: 188106
2230.03/2235.67 c #Conflicts: 1474000 | #Constraints: 189107
2230.03/2235.67 c #Conflicts: 1475000 | #Constraints: 190108
2230.03/2235.67 c #Conflicts: 1476000 | #Constraints: 191108
2230.03/2235.67 c #Conflicts: 1477000 | #Constraints: 192108
2230.03/2235.67 c #Conflicts: 1478000 | #Constraints: 193108
2230.03/2235.67 c #Conflicts: 1479000 | #Constraints: 194109
2230.03/2235.67 c #Conflicts: 1480000 | #Constraints: 195109
2230.03/2235.67 c #Conflicts: 1481000 | #Constraints: 196109
2230.03/2235.67 c #Conflicts: 1482000 | #Constraints: 197109
2230.03/2235.67 c #Conflicts: 1483000 | #Constraints: 198109
2230.03/2235.67 c #Conflicts: 1484000 | #Constraints: 199110
2230.03/2235.67 c #Conflicts: 1485000 | #Constraints: 200110
2230.03/2235.67 c #Conflicts: 1486000 | #Constraints: 201110
2230.03/2235.67 c #Conflicts: 1487000 | #Constraints: 202110
2230.03/2235.67 c #Conflicts: 1488000 | #Constraints: 203110
2230.03/2235.67 c #Conflicts: 1489000 | #Constraints: 204111
2230.03/2235.67 c #Conflicts: 1490000 | #Constraints: 205112
2230.03/2235.67 c #Conflicts: 1491000 | #Constraints: 206112
2230.03/2235.67 c #Conflicts: 1492000 | #Constraints: 207112
2230.03/2235.67 c INPROCESSING
2230.03/2235.67 c GARBAGE COLLECT
2230.03/2235.67 c #Conflicts: 1493000 | #Constraints: 143698
2230.03/2235.67 c #Conflicts: 1494000 | #Constraints: 144698
2230.03/2235.67 c #Conflicts: 1495000 | #Constraints: 145698
2230.03/2235.67 c #Conflicts: 1496000 | #Constraints: 146698
2230.03/2235.67 c #Conflicts: 1497000 | #Constraints: 147698
2230.03/2235.67 c #Conflicts: 1498000 | #Constraints: 148699
2230.03/2235.67 c #Conflicts: 1499000 | #Constraints: 149699
2230.03/2235.67 c #Conflicts: 1500000 | #Constraints: 150699
2230.03/2235.67 c #Conflicts: 1501000 | #Constraints: 151699
2230.03/2235.67 c #Conflicts: 1502000 | #Constraints: 152699
2230.03/2235.67 c #Conflicts: 1503000 | #Constraints: 153699
2230.03/2235.67 c #Conflicts: 1504000 | #Constraints: 154699
2230.03/2235.67 c #Conflicts: 1505000 | #Constraints: 155699
2230.03/2235.67 c #Conflicts: 1506000 | #Constraints: 156700
2230.03/2235.67 c #Conflicts: 1507000 | #Constraints: 157700
2230.03/2235.67 c #Conflicts: 1508000 | #Constraints: 158700
2230.03/2235.67 c #Conflicts: 1509000 | #Constraints: 159700
2230.03/2235.67 c #Conflicts: 1510000 | #Constraints: 160701
2230.03/2235.67 c #Conflicts: 1511000 | #Constraints: 161701
2230.03/2235.67 c #Conflicts: 1512000 | #Constraints: 162702
2230.03/2235.67 c #Conflicts: 1513000 | #Constraints: 163703
2230.03/2235.67 c #Conflicts: 1514000 | #Constraints: 164703
2230.03/2235.67 c #Conflicts: 1515000 | #Constraints: 165704
2230.03/2235.67 c #Conflicts: 1516000 | #Constraints: 166705
2230.03/2235.67 c #Conflicts: 1517000 | #Constraints: 167705
2230.03/2235.67 c #Conflicts: 1518000 | #Constraints: 168705
2230.03/2235.67 c INPROCESSING
2230.03/2235.67 c GARBAGE COLLECT
2230.03/2235.67 c #Conflicts: 1519000 | #Constraints: 124322
2230.03/2235.67 c #Conflicts: 1520000 | #Constraints: 125322
2230.03/2235.67 c #Conflicts: 1521000 | #Constraints: 126322
2230.03/2235.67 c #Conflicts: 1522000 | #Constraints: 127322
2230.03/2235.67 c #Conflicts: 1523000 | #Constraints: 128322
2230.03/2235.67 c #Conflicts: 1524000 | #Constraints: 129322
2230.03/2235.67 c #Conflicts: 1525000 | #Constraints: 130322
2230.03/2235.67 c #Conflicts: 1526000 | #Constraints: 131322
2230.03/2235.67 c #Conflicts: 1527000 | #Constraints: 132322
2230.03/2235.67 c #Conflicts: 1528000 | #Constraints: 133322
2230.03/2235.67 c #Conflicts: 1529000 | #Constraints: 134322
2230.03/2235.67 c #Conflicts: 1530000 | #Constraints: 135322
2230.03/2235.67 c #Conflicts: 1531000 | #Constraints: 136322
2230.03/2235.67 c #Conflicts: 1532000 | #Constraints: 137322
2230.03/2235.67 c #Conflicts: 1533000 | #Constraints: 138322
2230.03/2235.67 c #Conflicts: 1534000 | #Constraints: 139323
2230.03/2235.67 c #Conflicts: 1535000 | #Constraints: 140323
2230.03/2235.67 c #Conflicts: 1536000 | #Constraints: 141324
2230.03/2235.67 c #Conflicts: 1537000 | #Constraints: 142324
2230.03/2235.67 c #Conflicts: 1538000 | #Constraints: 143325
2230.03/2235.67 c #Conflicts: 1539000 | #Constraints: 144325
2230.03/2235.67 c #Conflicts: 1540000 | #Constraints: 145325
2230.03/2235.67 c #Conflicts: 1541000 | #Constraints: 146325
2230.03/2235.67 c #Conflicts: 1542000 | #Constraints: 147326
2230.03/2235.67 c #Conflicts: 1543000 | #Constraints: 148327
2230.03/2235.67 c #Conflicts: 1544000 | #Constraints: 149328
2230.03/2235.67 c #Conflicts: 1545000 | #Constraints: 150330
2230.03/2235.67 c INPROCESSING
2230.03/2235.67 c GARBAGE COLLECT
2230.03/2235.67 c #Conflicts: 1546000 | #Constraints: 115249
2367.78/2373.79 c #Conflicts: 1547000 | #Constraints: 116249
2367.78/2373.79 c #Conflicts: 1548000 | #Constraints: 117249
2367.78/2373.79 c #Conflicts: 1549000 | #Constraints: 118249
2367.78/2373.79 c #Conflicts: 1550000 | #Constraints: 119249
2367.78/2373.79 c #Conflicts: 1551000 | #Constraints: 120249
2367.78/2373.79 c #Conflicts: 1552000 | #Constraints: 121249
2367.78/2373.79 c #Conflicts: 1553000 | #Constraints: 122249
2367.78/2373.79 c #Conflicts: 1554000 | #Constraints: 123250
2367.78/2373.79 c #Conflicts: 1555000 | #Constraints: 124250
2367.78/2373.79 c #Conflicts: 1556000 | #Constraints: 125251
2367.78/2373.79 c #Conflicts: 1557000 | #Constraints: 126256
2367.78/2373.79 c #Conflicts: 1558000 | #Constraints: 127256
2367.78/2373.79 c #Conflicts: 1559000 | #Constraints: 128261
2367.78/2373.79 c #Conflicts: 1560000 | #Constraints: 129261
2367.78/2373.79 c #Conflicts: 1561000 | #Constraints: 130262
2367.78/2373.79 c #Conflicts: 1562000 | #Constraints: 131262
2367.78/2373.79 c #Conflicts: 1563000 | #Constraints: 132263
2367.78/2373.79 c #Conflicts: 1564000 | #Constraints: 133264
2367.78/2373.79 c #Conflicts: 1565000 | #Constraints: 134264
2367.78/2373.79 c #Conflicts: 1566000 | #Constraints: 135265
2367.78/2373.79 c #Conflicts: 1567000 | #Constraints: 136265
2367.78/2373.79 c #Conflicts: 1568000 | #Constraints: 137265
2367.78/2373.79 c #Conflicts: 1569000 | #Constraints: 138265
2367.78/2373.79 c #Conflicts: 1570000 | #Constraints: 139266
2367.78/2373.79 c #Conflicts: 1571000 | #Constraints: 140266
2367.78/2373.79 c #Conflicts: 1572000 | #Constraints: 141267
2367.78/2373.79 c INPROCESSING
2367.78/2373.79 c GARBAGE COLLECT
2367.78/2373.79 c #Conflicts: 1573000 | #Constraints: 110794
2367.78/2373.79 c #Conflicts: 1574000 | #Constraints: 111795
2367.78/2373.79 c #Conflicts: 1575000 | #Constraints: 112796
2367.78/2373.79 c #Conflicts: 1576000 | #Constraints: 113798
2367.78/2373.79 c #Conflicts: 1577000 | #Constraints: 114799
2367.78/2373.79 c #Conflicts: 1578000 | #Constraints: 115801
2367.78/2373.79 c #Conflicts: 1579000 | #Constraints: 116802
2367.78/2373.79 c #Conflicts: 1580000 | #Constraints: 117804
2367.78/2373.79 c #Conflicts: 1581000 | #Constraints: 118804
2367.78/2373.79 c #Conflicts: 1582000 | #Constraints: 119804
2367.78/2373.79 c #Conflicts: 1583000 | #Constraints: 120805
2367.78/2373.79 c #Conflicts: 1584000 | #Constraints: 121805
2367.78/2373.79 c #Conflicts: 1585000 | #Constraints: 122805
2367.78/2373.79 c #Conflicts: 1586000 | #Constraints: 123805
2367.78/2373.79 c #Conflicts: 1587000 | #Constraints: 124805
2367.78/2373.79 c #Conflicts: 1588000 | #Constraints: 125805
2367.78/2373.79 c #Conflicts: 1589000 | #Constraints: 126805
2367.78/2373.79 c #Conflicts: 1590000 | #Constraints: 127805
2367.78/2373.79 c #Conflicts: 1591000 | #Constraints: 128805
2367.78/2373.79 c #Conflicts: 1592000 | #Constraints: 129805
2367.78/2373.79 c #Conflicts: 1593000 | #Constraints: 130805
2367.78/2373.79 c #Conflicts: 1594000 | #Constraints: 131805
2367.78/2373.79 c #Conflicts: 1595000 | #Constraints: 132805
2367.78/2373.79 c #Conflicts: 1596000 | #Constraints: 133805
2367.78/2373.79 c #Conflicts: 1597000 | #Constraints: 134805
2367.78/2373.79 c #Conflicts: 1598000 | #Constraints: 135805
2367.78/2373.79 c #Conflicts: 1599000 | #Constraints: 136805
2367.78/2373.79 c #Conflicts: 1600000 | #Constraints: 137805
2367.78/2373.79 c #Conflicts: 1601000 | #Constraints: 138805
2367.78/2373.79 c #Conflicts: 1602000 | #Constraints: 139807
2367.78/2373.79 c #Conflicts: 1603000 | #Constraints: 140807
2367.78/2373.79 c #Conflicts: 1604000 | #Constraints: 141807
2367.78/2373.79 c #Conflicts: 1605000 | #Constraints: 142808
2367.78/2373.79 c #Conflicts: 1606000 | #Constraints: 143808
2367.78/2373.79 c #Conflicts: 1607000 | #Constraints: 144808
2367.78/2373.79 c #Conflicts: 1608000 | #Constraints: 145809
2367.78/2373.79 c #Conflicts: 1609000 | #Constraints: 146809
2367.78/2373.79 c #Conflicts: 1610000 | #Constraints: 147809
2367.78/2373.79 c #Conflicts: 1611000 | #Constraints: 148809
2367.78/2373.79 c #Conflicts: 1612000 | #Constraints: 149809
2367.78/2373.79 c #Conflicts: 1613000 | #Constraints: 150809
2367.78/2373.79 c #Conflicts: 1614000 | #Constraints: 151809
2367.78/2373.79 c #Conflicts: 1615000 | #Constraints: 152809
2367.78/2373.79 c #Conflicts: 1616000 | #Constraints: 153809
2367.78/2373.79 c #Conflicts: 1617000 | #Constraints: 154809
2367.78/2373.79 c #Conflicts: 1618000 | #Constraints: 155809
2367.78/2373.79 c #Conflicts: 1619000 | #Constraints: 156809
2367.78/2373.79 c #Conflicts: 1620000 | #Constraints: 157809
2367.78/2373.79 c #Conflicts: 1621000 | #Constraints: 158809
2367.78/2373.79 c #Conflicts: 1622000 | #Constraints: 159809
2367.78/2373.79 c #Conflicts: 1623000 | #Constraints: 160809
2367.78/2373.79 c #Conflicts: 1624000 | #Constraints: 161809
2367.78/2373.79 c #Conflicts: 1625000 | #Constraints: 162809
2543.16/2549.58 c #Conflicts: 1626000 | #Constraints: 163809
2543.16/2549.58 c #Conflicts: 1627000 | #Constraints: 164810
2543.16/2549.58 c #Conflicts: 1628000 | #Constraints: 165810
2543.16/2549.58 c #Conflicts: 1629000 | #Constraints: 166810
2543.16/2549.58 c #Conflicts: 1630000 | #Constraints: 167810
2543.16/2549.58 c #Conflicts: 1631000 | #Constraints: 168811
2543.16/2549.58 c #Conflicts: 1632000 | #Constraints: 169811
2543.16/2549.58 c #Conflicts: 1633000 | #Constraints: 170811
2543.16/2549.58 c #Conflicts: 1634000 | #Constraints: 171811
2543.16/2549.58 c #Conflicts: 1635000 | #Constraints: 172811
2543.16/2549.58 c #Conflicts: 1636000 | #Constraints: 173812
2543.16/2549.58 c #Conflicts: 1637000 | #Constraints: 174812
2543.16/2549.58 c #Conflicts: 1638000 | #Constraints: 175812
2543.16/2549.58 c #Conflicts: 1639000 | #Constraints: 176812
2543.16/2549.58 c #Conflicts: 1640000 | #Constraints: 177812
2543.16/2549.58 c #Conflicts: 1641000 | #Constraints: 178812
2543.16/2549.58 c #Conflicts: 1642000 | #Constraints: 179812
2543.16/2549.58 c #Conflicts: 1643000 | #Constraints: 180812
2543.16/2549.58 c #Conflicts: 1644000 | #Constraints: 181813
2543.16/2549.58 c #Conflicts: 1645000 | #Constraints: 182813
2543.16/2549.58 c #Conflicts: 1646000 | #Constraints: 183813
2543.16/2549.58 c #Conflicts: 1647000 | #Constraints: 184813
2543.16/2549.58 c #Conflicts: 1648000 | #Constraints: 185813
2543.16/2549.58 c #Conflicts: 1649000 | #Constraints: 186813
2543.16/2549.58 c #Conflicts: 1650000 | #Constraints: 187813
2543.16/2549.58 c #Conflicts: 1651000 | #Constraints: 188813
2543.16/2549.58 c #Conflicts: 1652000 | #Constraints: 189813
2543.16/2549.58 c #Conflicts: 1653000 | #Constraints: 190813
2543.16/2549.58 c #Conflicts: 1654000 | #Constraints: 191813
2543.16/2549.58 c #Conflicts: 1655000 | #Constraints: 192813
2543.16/2549.58 c #Conflicts: 1656000 | #Constraints: 193813
2543.16/2549.58 c #Conflicts: 1657000 | #Constraints: 194814
2543.16/2549.58 c #Conflicts: 1658000 | #Constraints: 195814
2543.16/2549.58 c #Conflicts: 1659000 | #Constraints: 196814
2543.16/2549.58 c #Conflicts: 1660000 | #Constraints: 197814
2543.16/2549.58 c #Conflicts: 1661000 | #Constraints: 198814
2543.16/2549.58 c #Conflicts: 1662000 | #Constraints: 199815
2543.16/2549.58 c #Conflicts: 1663000 | #Constraints: 200815
2543.16/2549.58 c #Conflicts: 1664000 | #Constraints: 201817
2543.16/2549.58 c #Conflicts: 1665000 | #Constraints: 202817
2543.16/2549.58 c #Conflicts: 1666000 | #Constraints: 203817
2543.16/2549.58 c #Conflicts: 1667000 | #Constraints: 204818
2543.16/2549.58 c #Conflicts: 1668000 | #Constraints: 205818
2543.16/2549.58 c #Conflicts: 1669000 | #Constraints: 206819
2543.16/2549.58 c #Conflicts: 1670000 | #Constraints: 207820
2543.16/2549.58 c #Conflicts: 1671000 | #Constraints: 208820
2543.16/2549.58 c #Conflicts: 1672000 | #Constraints: 209820
2543.16/2549.58 c #Conflicts: 1673000 | #Constraints: 210820
2543.16/2549.58 c #Conflicts: 1674000 | #Constraints: 211820
2543.16/2549.58 c #Conflicts: 1675000 | #Constraints: 212821
2543.16/2549.58 c #Conflicts: 1676000 | #Constraints: 213822
2543.16/2549.58 c #Conflicts: 1677000 | #Constraints: 214822
2543.16/2549.58 c INPROCESSING
2543.16/2549.58 c GARBAGE COLLECT
2543.16/2549.58 c #Conflicts: 1678000 | #Constraints: 147803
2543.16/2549.58 c #Conflicts: 1679000 | #Constraints: 148850
2543.16/2549.58 c #Conflicts: 1680000 | #Constraints: 149850
2543.16/2549.58 c #Conflicts: 1681000 | #Constraints: 150850
2543.16/2549.58 c #Conflicts: 1682000 | #Constraints: 151850
2543.16/2549.58 c #Conflicts: 1683000 | #Constraints: 152850
2543.16/2549.58 c #Conflicts: 1684000 | #Constraints: 153850
2543.16/2549.58 c #Conflicts: 1685000 | #Constraints: 154850
2543.16/2549.58 c #Conflicts: 1686000 | #Constraints: 155851
2543.16/2549.58 c #Conflicts: 1687000 | #Constraints: 156851
2543.16/2549.58 c #Conflicts: 1688000 | #Constraints: 157851
2543.16/2549.58 c #Conflicts: 1689000 | #Constraints: 158851
2543.16/2549.58 c #Conflicts: 1690000 | #Constraints: 159851
2543.16/2549.58 c #Conflicts: 1691000 | #Constraints: 160851
2543.16/2549.58 c #Conflicts: 1692000 | #Constraints: 161851
2543.16/2549.58 c #Conflicts: 1693000 | #Constraints: 162851
2543.16/2549.58 c #Conflicts: 1694000 | #Constraints: 163851
2543.16/2549.58 c #Conflicts: 1695000 | #Constraints: 164851
2543.16/2549.58 c #Conflicts: 1696000 | #Constraints: 165851
2543.16/2549.58 c #Conflicts: 1697000 | #Constraints: 166851
2543.16/2549.58 c #Conflicts: 1698000 | #Constraints: 167851
2543.16/2549.58 c #Conflicts: 1699000 | #Constraints: 168851
2543.16/2549.58 c #Conflicts: 1700000 | #Constraints: 169851
2543.16/2549.58 c #Conflicts: 1701000 | #Constraints: 170852
2543.16/2549.58 c #Conflicts: 1702000 | #Constraints: 171857
2543.16/2549.58 c #Conflicts: 1703000 | #Constraints: 172858
2602.62/2609.19 c #Conflicts: 1704000 | #Constraints: 173859
2602.62/2609.19 c #Conflicts: 1705000 | #Constraints: 174859
2602.62/2609.19 c INPROCESSING
2602.62/2609.19 c GARBAGE COLLECT
2602.62/2609.19 c #Conflicts: 1706000 | #Constraints: 127691
2602.62/2609.19 c #Conflicts: 1707000 | #Constraints: 128691
2602.62/2609.19 c #Conflicts: 1708000 | #Constraints: 129691
2602.62/2609.19 c #Conflicts: 1709000 | #Constraints: 130691
2602.62/2609.19 c #Conflicts: 1710000 | #Constraints: 131691
2602.62/2609.19 c #Conflicts: 1711000 | #Constraints: 132692
2602.62/2609.19 c #Conflicts: 1712000 | #Constraints: 133692
2602.62/2609.19 c #Conflicts: 1713000 | #Constraints: 134692
2602.62/2609.19 c #Conflicts: 1714000 | #Constraints: 135692
2602.62/2609.19 c #Conflicts: 1715000 | #Constraints: 136693
2602.62/2609.19 c #Conflicts: 1716000 | #Constraints: 137694
2602.62/2609.19 c #Conflicts: 1717000 | #Constraints: 138694
2602.62/2609.19 c #Conflicts: 1718000 | #Constraints: 139695
2602.62/2609.19 c #Conflicts: 1719000 | #Constraints: 140695
2602.62/2609.19 c #Conflicts: 1720000 | #Constraints: 141696
2602.62/2609.19 c #Conflicts: 1721000 | #Constraints: 142696
2602.62/2609.19 c #Conflicts: 1722000 | #Constraints: 143697
2602.62/2609.19 c #Conflicts: 1723000 | #Constraints: 144697
2602.62/2609.19 c #Conflicts: 1724000 | #Constraints: 145698
2602.62/2609.19 c #Conflicts: 1725000 | #Constraints: 146698
2602.62/2609.19 c #Conflicts: 1726000 | #Constraints: 147698
2602.62/2609.19 c #Conflicts: 1727000 | #Constraints: 148698
2602.62/2609.19 c #Conflicts: 1728000 | #Constraints: 149698
2602.62/2609.19 c #Conflicts: 1729000 | #Constraints: 150698
2602.62/2609.19 c #Conflicts: 1730000 | #Constraints: 151698
2602.62/2609.19 c #Conflicts: 1731000 | #Constraints: 152698
2602.62/2609.19 c #Conflicts: 1732000 | #Constraints: 153698
2602.62/2609.19 c #Conflicts: 1733000 | #Constraints: 154698
2602.62/2609.19 c INPROCESSING
2602.62/2609.19 c GARBAGE COLLECT
2602.62/2609.19 c #Conflicts: 1734000 | #Constraints: 117447
2602.62/2609.19 c #Conflicts: 1735000 | #Constraints: 118458
2602.62/2609.19 c #Conflicts: 1736000 | #Constraints: 119459
2602.62/2609.19 c #Conflicts: 1737000 | #Constraints: 120459
2602.62/2609.19 WSVECS04 Frhs2[28]: 6 -0.500026 0 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[327]: 6 0 22.2501 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[332]: 6 0 22.5626 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[333]: 6 0 22.625 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[334]: 6 0 22.6875 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[467]: 6 0 0.06257 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[472]: 6 0 0.375086 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[476]: 6 0 0.625093 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[965]: 6 0 6.14176 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[985]: 6 -17.7981 0 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[1121]: 6 -0.187522 0 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[1586]: 6 0 0.0625524 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[1588]: 6 0 0.187598 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[1590]: 6 0 694.487 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[2560]: 6 0 21.8751 shouldn't be
2602.62/2609.19 WSVECS04 Frhs2[2563]: 6 0 22.0625 shouldn't be
2714.64/2721.50 c #Conflicts: 1738000 | #Constraints: 121460
2714.64/2721.50 c #Conflicts: 1739000 | #Constraints: 122460
2714.64/2721.50 c #Conflicts: 1740000 | #Constraints: 123460
2714.64/2721.50 c #Conflicts: 1741000 | #Constraints: 124460
2714.64/2721.50 c #Conflicts: 1742000 | #Constraints: 125460
2714.64/2721.50 c #Conflicts: 1743000 | #Constraints: 126460
2714.64/2721.50 c #Conflicts: 1744000 | #Constraints: 127460
2714.64/2721.50 c #Conflicts: 1745000 | #Constraints: 128460
2714.64/2721.50 c #Conflicts: 1746000 | #Constraints: 129460
2714.64/2721.50 c #Conflicts: 1747000 | #Constraints: 130460
2714.64/2721.50 c #Conflicts: 1748000 | #Constraints: 131460
2714.64/2721.50 c #Conflicts: 1749000 | #Constraints: 132460
2714.64/2721.50 c #Conflicts: 1750000 | #Constraints: 133460
2714.64/2721.50 c #Conflicts: 1751000 | #Constraints: 134460
2714.64/2721.50 c #Conflicts: 1752000 | #Constraints: 135460
2714.64/2721.50 c #Conflicts: 1753000 | #Constraints: 136460
2714.64/2721.50 c #Conflicts: 1754000 | #Constraints: 137460
2714.64/2721.50 c #Conflicts: 1755000 | #Constraints: 138460
2714.64/2721.50 c #Conflicts: 1756000 | #Constraints: 139460
2714.64/2721.50 c #Conflicts: 1757000 | #Constraints: 140460
2714.74/2721.50 c #Conflicts: 1758000 | #Constraints: 141460
2714.74/2721.50 c #Conflicts: 1759000 | #Constraints: 142460
2714.74/2721.50 c #Conflicts: 1760000 | #Constraints: 143460
2714.74/2721.50 c #Conflicts: 1761000 | #Constraints: 144460
2714.74/2721.50 c #Conflicts: 1762000 | #Constraints: 145460
2714.74/2721.50 c INPROCESSING
2714.74/2721.50 c GARBAGE COLLECT
2714.74/2721.50 c #Conflicts: 1763000 | #Constraints: 113001
2714.74/2721.50 c #Conflicts: 1764000 | #Constraints: 114001
2714.74/2721.50 c #Conflicts: 1765000 | #Constraints: 115001
2714.74/2721.50 c #Conflicts: 1766000 | #Constraints: 116001
2714.74/2721.50 c #Conflicts: 1767000 | #Constraints: 117001
2714.74/2721.50 c #Conflicts: 1768000 | #Constraints: 118001
2714.74/2721.50 c #Conflicts: 1769000 | #Constraints: 119001
2714.74/2721.50 c #Conflicts: 1770000 | #Constraints: 120001
2714.74/2721.50 c #Conflicts: 1771000 | #Constraints: 121001
2714.74/2721.50 c #Conflicts: 1772000 | #Constraints: 122001
2714.74/2721.50 c #Conflicts: 1773000 | #Constraints: 123001
2714.74/2721.50 c #Conflicts: 1774000 | #Constraints: 124001
2714.74/2721.50 c #Conflicts: 1775000 | #Constraints: 125001
2714.74/2721.50 c #Conflicts: 1776000 | #Constraints: 126001
2714.74/2721.50 c #Conflicts: 1777000 | #Constraints: 127001
2714.74/2721.50 c #Conflicts: 1778000 | #Constraints: 128001
2714.74/2721.50 c #Conflicts: 1779000 | #Constraints: 129001
2714.74/2721.50 c #Conflicts: 1780000 | #Constraints: 130001
2714.74/2721.50 c #Conflicts: 1781000 | #Constraints: 131001
2714.74/2721.50 c #Conflicts: 1782000 | #Constraints: 132001
2714.74/2721.50 c #Conflicts: 1783000 | #Constraints: 133001
2714.74/2721.50 c #Conflicts: 1784000 | #Constraints: 134001
2714.74/2721.50 c #Conflicts: 1785000 | #Constraints: 135001
2714.74/2721.50 c #Conflicts: 1786000 | #Constraints: 136001
2714.74/2721.50 c #Conflicts: 1787000 | #Constraints: 137001
2714.74/2721.50 c #Conflicts: 1788000 | #Constraints: 138001
2714.74/2721.50 c #Conflicts: 1789000 | #Constraints: 139001
2714.74/2721.50 c #Conflicts: 1790000 | #Constraints: 140001
2714.74/2721.50 c #Conflicts: 1791000 | #Constraints: 141001
2714.74/2721.50 c #Conflicts: 1792000 | #Constraints: 142001
2714.74/2721.50 c #Conflicts: 1793000 | #Constraints: 143001
2714.74/2721.50 c #Conflicts: 1794000 | #Constraints: 144001
2714.74/2721.50 c #Conflicts: 1795000 | #Constraints: 145001
2714.74/2721.50 c #Conflicts: 1796000 | #Constraints: 146001
2714.74/2721.50 c #Conflicts: 1797000 | #Constraints: 147001
2714.74/2721.50 c #Conflicts: 1798000 | #Constraints: 148001
2714.74/2721.50 c #Conflicts: 1799000 | #Constraints: 149001
2714.74/2721.50 c #Conflicts: 1800000 | #Constraints: 150001
2714.74/2721.50 c #Conflicts: 1801000 | #Constraints: 151001
2714.74/2721.50 c #Conflicts: 1802000 | #Constraints: 152001
2714.74/2721.50 c #Conflicts: 1803000 | #Constraints: 153001
2714.74/2721.50 c #Conflicts: 1804000 | #Constraints: 154001
2714.74/2721.50 c #Conflicts: 1805000 | #Constraints: 155001
2714.74/2721.50 c #Conflicts: 1806000 | #Constraints: 156001
2714.74/2721.50 c #Conflicts: 1807000 | #Constraints: 157001
2714.74/2721.50 c #Conflicts: 1808000 | #Constraints: 158001
2714.74/2721.50 c #Conflicts: 1809000 | #Constraints: 159001
2714.74/2721.50 c #Conflicts: 1810000 | #Constraints: 160001
2714.74/2721.50 c #Conflicts: 1811000 | #Constraints: 161001
2714.74/2721.50 c #Conflicts: 1812000 | #Constraints: 162001
2714.74/2721.50 c #Conflicts: 1813000 | #Constraints: 163001
2714.74/2721.50 c #Conflicts: 1814000 | #Constraints: 164001
2714.74/2721.50 c #Conflicts: 1815000 | #Constraints: 165001
2714.74/2721.50 c #Conflicts: 1816000 | #Constraints: 166001
2903.30/2910.54 c #Conflicts: 1817000 | #Constraints: 167001
2903.30/2910.54 c #Conflicts: 1818000 | #Constraints: 168002
2903.30/2910.54 c #Conflicts: 1819000 | #Constraints: 169002
2903.30/2910.54 c #Conflicts: 1820000 | #Constraints: 170002
2903.30/2910.54 c #Conflicts: 1821000 | #Constraints: 171002
2903.30/2910.54 c #Conflicts: 1822000 | #Constraints: 172002
2903.30/2910.54 c #Conflicts: 1823000 | #Constraints: 173002
2903.30/2910.54 c #Conflicts: 1824000 | #Constraints: 174002
2903.30/2910.54 c #Conflicts: 1825000 | #Constraints: 175002
2903.30/2910.54 c #Conflicts: 1826000 | #Constraints: 176002
2903.30/2910.54 c #Conflicts: 1827000 | #Constraints: 177002
2903.30/2910.54 c #Conflicts: 1828000 | #Constraints: 178002
2903.30/2910.54 c #Conflicts: 1829000 | #Constraints: 179002
2903.30/2910.54 c #Conflicts: 1830000 | #Constraints: 180002
2903.30/2910.54 c #Conflicts: 1831000 | #Constraints: 181002
2903.30/2910.54 c #Conflicts: 1832000 | #Constraints: 182002
2903.30/2910.54 c #Conflicts: 1833000 | #Constraints: 183002
2903.30/2910.54 c #Conflicts: 1834000 | #Constraints: 184002
2903.30/2910.54 c #Conflicts: 1835000 | #Constraints: 185002
2903.30/2910.54 c #Conflicts: 1836000 | #Constraints: 186002
2903.30/2910.54 c #Conflicts: 1837000 | #Constraints: 187002
2903.30/2910.54 c #Conflicts: 1838000 | #Constraints: 188002
2903.30/2910.54 c #Conflicts: 1839000 | #Constraints: 189002
2903.30/2910.54 c #Conflicts: 1840000 | #Constraints: 190002
2903.30/2910.54 c #Conflicts: 1841000 | #Constraints: 191002
2903.30/2910.54 c #Conflicts: 1842000 | #Constraints: 192002
2903.30/2910.54 c #Conflicts: 1843000 | #Constraints: 193002
2903.30/2910.54 c #Conflicts: 1844000 | #Constraints: 194002
2903.30/2910.54 c #Conflicts: 1845000 | #Constraints: 195002
2903.30/2910.54 c #Conflicts: 1846000 | #Constraints: 196002
2903.30/2910.54 c #Conflicts: 1847000 | #Constraints: 197002
2903.30/2910.54 c #Conflicts: 1848000 | #Constraints: 198002
2903.30/2910.54 c #Conflicts: 1849000 | #Constraints: 199003
2903.30/2910.54 c #Conflicts: 1850000 | #Constraints: 200003
2903.30/2910.54 c #Conflicts: 1851000 | #Constraints: 201003
2903.30/2910.54 c #Conflicts: 1852000 | #Constraints: 202003
2903.30/2910.54 c #Conflicts: 1853000 | #Constraints: 203003
2903.30/2910.54 c #Conflicts: 1854000 | #Constraints: 204003
2903.30/2910.54 c #Conflicts: 1855000 | #Constraints: 205003
2903.30/2910.54 c #Conflicts: 1856000 | #Constraints: 206003
2903.30/2910.54 c #Conflicts: 1857000 | #Constraints: 207004
2903.30/2910.54 c #Conflicts: 1858000 | #Constraints: 208004
2903.30/2910.54 c #Conflicts: 1859000 | #Constraints: 209004
2903.30/2910.54 c #Conflicts: 1860000 | #Constraints: 210004
2903.30/2910.54 c #Conflicts: 1861000 | #Constraints: 211004
2903.30/2910.54 c #Conflicts: 1862000 | #Constraints: 212004
2903.30/2910.54 c #Conflicts: 1863000 | #Constraints: 213004
2903.30/2910.54 c #Conflicts: 1864000 | #Constraints: 214004
2903.30/2910.54 c #Conflicts: 1865000 | #Constraints: 215004
2903.30/2910.54 c #Conflicts: 1866000 | #Constraints: 216004
2903.30/2910.54 c #Conflicts: 1867000 | #Constraints: 217004
2903.30/2910.54 c #Conflicts: 1868000 | #Constraints: 218004
2903.30/2910.54 c #Conflicts: 1869000 | #Constraints: 219004
2903.30/2910.54 c #Conflicts: 1870000 | #Constraints: 220004
2903.30/2910.54 c #Conflicts: 1871000 | #Constraints: 221004
2903.30/2910.54 c #Conflicts: 1872000 | #Constraints: 222004
2903.30/2910.54 c INPROCESSING
2903.30/2910.54 c GARBAGE COLLECT
2903.30/2910.54 c #Conflicts: 1873000 | #Constraints: 151415
2903.30/2910.54 c #Conflicts: 1874000 | #Constraints: 152415
2903.30/2910.54 c #Conflicts: 1875000 | #Constraints: 153415
2903.30/2910.54 c #Conflicts: 1876000 | #Constraints: 154415
2903.30/2910.54 c #Conflicts: 1877000 | #Constraints: 155415
2903.30/2910.54 c #Conflicts: 1878000 | #Constraints: 156415
2903.30/2910.54 c #Conflicts: 1879000 | #Constraints: 157415
2903.30/2910.54 c #Conflicts: 1880000 | #Constraints: 158415
2903.30/2910.54 c #Conflicts: 1881000 | #Constraints: 159416
2903.30/2910.54 c #Conflicts: 1882000 | #Constraints: 160416
2903.30/2910.54 c #Conflicts: 1883000 | #Constraints: 161416
2903.30/2910.54 c #Conflicts: 1884000 | #Constraints: 162417
2903.30/2910.54 c #Conflicts: 1885000 | #Constraints: 163418
2903.30/2910.54 c #Conflicts: 1886000 | #Constraints: 164419
2903.30/2910.54 c #Conflicts: 1887000 | #Constraints: 165419
2903.30/2910.54 c #Conflicts: 1888000 | #Constraints: 166421
2903.30/2910.54 c #Conflicts: 1889000 | #Constraints: 167421
2903.30/2910.54 c #Conflicts: 1890000 | #Constraints: 168421
2903.30/2910.54 c #Conflicts: 1891000 | #Constraints: 169421
2903.30/2910.54 c #Conflicts: 1892000 | #Constraints: 170421
2903.30/2910.54 c #Conflicts: 1893000 | #Constraints: 171421
2903.30/2910.54 c #Conflicts: 1894000 | #Constraints: 172423
3025.99/3033.58 c #Conflicts: 1895000 | #Constraints: 173423
3025.99/3033.58 c #Conflicts: 1896000 | #Constraints: 174424
3025.99/3033.58 c #Conflicts: 1897000 | #Constraints: 175425
3025.99/3033.58 c #Conflicts: 1898000 | #Constraints: 176427
3025.99/3033.58 c #Conflicts: 1899000 | #Constraints: 177427
3025.99/3033.58 c #Conflicts: 1900000 | #Constraints: 178427
3025.99/3033.58 c #Conflicts: 1901000 | #Constraints: 179427
3025.99/3033.58 c INPROCESSING
3025.99/3033.58 c GARBAGE COLLECT
3025.99/3033.58 c #Conflicts: 1902000 | #Constraints: 129697
3025.99/3033.58 c #Conflicts: 1903000 | #Constraints: 130697
3025.99/3033.58 c #Conflicts: 1904000 | #Constraints: 131697
3025.99/3033.58 c #Conflicts: 1905000 | #Constraints: 132704
3025.99/3033.58 c #Conflicts: 1906000 | #Constraints: 133704
3025.99/3033.58 c #Conflicts: 1907000 | #Constraints: 134704
3025.99/3033.58 c #Conflicts: 1908000 | #Constraints: 135704
3025.99/3033.58 c #Conflicts: 1909000 | #Constraints: 136704
3025.99/3033.58 c #Conflicts: 1910000 | #Constraints: 137704
3025.99/3033.58 c #Conflicts: 1911000 | #Constraints: 138704
3025.99/3033.58 c #Conflicts: 1912000 | #Constraints: 139704
3025.99/3033.58 c #Conflicts: 1913000 | #Constraints: 140704
3025.99/3033.58 c #Conflicts: 1914000 | #Constraints: 141706
3025.99/3033.58 c #Conflicts: 1915000 | #Constraints: 142707
3025.99/3033.58 c #Conflicts: 1916000 | #Constraints: 143709
3025.99/3033.58 c #Conflicts: 1917000 | #Constraints: 144710
3025.99/3033.58 c #Conflicts: 1918000 | #Constraints: 145711
3025.99/3033.58 c #Conflicts: 1919000 | #Constraints: 146711
3025.99/3033.58 c #Conflicts: 1920000 | #Constraints: 147712
3025.99/3033.58 c #Conflicts: 1921000 | #Constraints: 148712
3025.99/3033.58 c #Conflicts: 1922000 | #Constraints: 149712
3025.99/3033.58 c #Conflicts: 1923000 | #Constraints: 150712
3025.99/3033.58 c #Conflicts: 1924000 | #Constraints: 151712
3025.99/3033.58 c #Conflicts: 1925000 | #Constraints: 152712
3025.99/3033.58 c #Conflicts: 1926000 | #Constraints: 153712
3025.99/3033.58 c #Conflicts: 1927000 | #Constraints: 154712
3025.99/3033.58 c #Conflicts: 1928000 | #Constraints: 155713
3025.99/3033.58 c #Conflicts: 1929000 | #Constraints: 156714
3025.99/3033.58 c #Conflicts: 1930000 | #Constraints: 157714
3025.99/3033.58 c #Conflicts: 1931000 | #Constraints: 158714
3025.99/3033.58 c #Conflicts: 1932000 | #Constraints: 159714
3025.99/3033.58 c INPROCESSING
3025.99/3033.58 c GARBAGE COLLECT
3025.99/3033.58 c #Conflicts: 1933000 | #Constraints: 120260
3025.99/3033.58 c #Conflicts: 1934000 | #Constraints: 121261
3025.99/3033.58 c #Conflicts: 1935000 | #Constraints: 122261
3025.99/3033.58 c #Conflicts: 1936000 | #Constraints: 123261
3025.99/3033.58 c #Conflicts: 1937000 | #Constraints: 124261
3025.99/3033.58 c #Conflicts: 1938000 | #Constraints: 125261
3025.99/3033.58 c #Conflicts: 1939000 | #Constraints: 126261
3025.99/3033.58 c #Conflicts: 1940000 | #Constraints: 127261
3025.99/3033.58 c #Conflicts: 1941000 | #Constraints: 128261
3025.99/3033.58 c #Conflicts: 1942000 | #Constraints: 129261
3025.99/3033.58 c #Conflicts: 1943000 | #Constraints: 130261
3025.99/3033.58 c #Conflicts: 1944000 | #Constraints: 131261
3025.99/3033.58 c #Conflicts: 1945000 | #Constraints: 132261
3025.99/3033.58 c #Conflicts: 1946000 | #Constraints: 133262
3025.99/3033.58 c #Conflicts: 1947000 | #Constraints: 134262
3025.99/3033.58 c #Conflicts: 1948000 | #Constraints: 135262
3025.99/3033.58 c #Conflicts: 1949000 | #Constraints: 136262
3025.99/3033.58 c #Conflicts: 1950000 | #Constraints: 137263
3025.99/3033.58 c #Conflicts: 1951000 | #Constraints: 138263
3025.99/3033.58 c #Conflicts: 1952000 | #Constraints: 139264
3025.99/3033.58 c #Conflicts: 1953000 | #Constraints: 140264
3025.99/3033.58 c #Conflicts: 1954000 | #Constraints: 141264
3025.99/3033.58 c #Conflicts: 1955000 | #Constraints: 142264
3025.99/3033.58 c #Conflicts: 1956000 | #Constraints: 143264
3025.99/3033.58 c #Conflicts: 1957000 | #Constraints: 144265
3025.99/3033.58 c #Conflicts: 1958000 | #Constraints: 145265
3025.99/3033.58 c #Conflicts: 1959000 | #Constraints: 146266
3025.99/3033.58 c #Conflicts: 1960000 | #Constraints: 147266
3025.99/3033.58 c #Conflicts: 1961000 | #Constraints: 148267
3025.99/3033.58 c #Conflicts: 1962000 | #Constraints: 149267
3025.99/3033.58 c INPROCESSING
3025.99/3033.58 c GARBAGE COLLECT
3025.99/3033.58 c #Conflicts: 1963000 | #Constraints: 114846
3025.99/3033.58 c #Conflicts: 1964000 | #Constraints: 115847
3025.99/3033.58 c #Conflicts: 1965000 | #Constraints: 116848
3025.99/3033.58 c #Conflicts: 1966000 | #Constraints: 117850
3025.99/3033.58 c #Conflicts: 1967000 | #Constraints: 118865
3025.99/3033.58 c #Conflicts: 1968000 | #Constraints: 119884
3025.99/3033.58 c #Conflicts: 1969000 | #Constraints: 120885
3025.99/3033.58 c #Conflicts: 1970000 | #Constraints: 121886
3025.99/3033.58 c #Conflicts: 1971000 | #Constraints: 122886
3166.96/3174.83 c #Conflicts: 1972000 | #Constraints: 123886
3166.96/3174.83 c #Conflicts: 1973000 | #Constraints: 124887
3166.96/3174.83 c #Conflicts: 1974000 | #Constraints: 125889
3166.96/3174.83 c #Conflicts: 1975000 | #Constraints: 126889
3166.96/3174.83 c #Conflicts: 1976000 | #Constraints: 127889
3166.96/3174.83 c #Conflicts: 1977000 | #Constraints: 128889
3166.96/3174.83 c #Conflicts: 1978000 | #Constraints: 129889
3166.96/3174.83 c #Conflicts: 1979000 | #Constraints: 130889
3166.96/3174.83 c #Conflicts: 1980000 | #Constraints: 131889
3166.96/3174.83 c #Conflicts: 1981000 | #Constraints: 132889
3166.96/3174.83 c #Conflicts: 1982000 | #Constraints: 133889
3166.96/3174.83 c #Conflicts: 1983000 | #Constraints: 134889
3166.96/3174.83 c #Conflicts: 1984000 | #Constraints: 135889
3166.96/3174.83 c #Conflicts: 1985000 | #Constraints: 136889
3166.96/3174.83 c #Conflicts: 1986000 | #Constraints: 137890
3166.96/3174.83 c #Conflicts: 1987000 | #Constraints: 138890
3166.96/3174.83 c #Conflicts: 1988000 | #Constraints: 139890
3166.96/3174.83 c #Conflicts: 1989000 | #Constraints: 140890
3166.96/3174.83 c #Conflicts: 1990000 | #Constraints: 141890
3166.96/3174.83 c #Conflicts: 1991000 | #Constraints: 142890
3166.96/3174.83 c #Conflicts: 1992000 | #Constraints: 143890
3166.96/3174.83 c #Conflicts: 1993000 | #Constraints: 144890
3166.96/3174.83 c #Conflicts: 1994000 | #Constraints: 145890
3166.96/3174.83 c #Conflicts: 1995000 | #Constraints: 146890
3166.96/3174.83 c #Conflicts: 1996000 | #Constraints: 147890
3166.96/3174.83 c #Conflicts: 1997000 | #Constraints: 148890
3166.96/3174.83 c #Conflicts: 1998000 | #Constraints: 149890
3166.96/3174.83 c #Conflicts: 1999000 | #Constraints: 150890
3166.96/3174.83 c #Conflicts: 2000000 | #Constraints: 151890
3166.96/3174.83 c #Conflicts: 2001000 | #Constraints: 152890
3166.96/3174.83 c #Conflicts: 2002000 | #Constraints: 153890
3166.96/3174.83 c #Conflicts: 2003000 | #Constraints: 154890
3166.96/3174.83 c #Conflicts: 2004000 | #Constraints: 155890
3166.96/3174.83 c #Conflicts: 2005000 | #Constraints: 156890
3166.96/3174.83 c #Conflicts: 2006000 | #Constraints: 157890
3166.96/3174.83 c #Conflicts: 2007000 | #Constraints: 158890
3166.96/3174.83 c #Conflicts: 2008000 | #Constraints: 159890
3166.96/3174.83 c #Conflicts: 2009000 | #Constraints: 160890
3166.96/3174.83 c #Conflicts: 2010000 | #Constraints: 161890
3166.96/3174.83 c #Conflicts: 2011000 | #Constraints: 162890
3166.96/3174.83 c #Conflicts: 2012000 | #Constraints: 163890
3166.96/3174.83 c #Conflicts: 2013000 | #Constraints: 164890
3166.96/3174.83 c #Conflicts: 2014000 | #Constraints: 165890
3166.96/3174.83 c #Conflicts: 2015000 | #Constraints: 166890
3166.96/3174.83 c #Conflicts: 2016000 | #Constraints: 167890
3166.96/3174.83 c #Conflicts: 2017000 | #Constraints: 168890
3166.96/3174.83 c #Conflicts: 2018000 | #Constraints: 169890
3166.96/3174.83 c #Conflicts: 2019000 | #Constraints: 170890
3166.96/3174.83 c #Conflicts: 2020000 | #Constraints: 171890
3166.96/3174.83 c #Conflicts: 2021000 | #Constraints: 172890
3166.96/3174.83 c #Conflicts: 2022000 | #Constraints: 173890
3166.96/3174.83 c #Conflicts: 2023000 | #Constraints: 174890
3166.96/3174.83 c #Conflicts: 2024000 | #Constraints: 175890
3166.96/3174.83 c #Conflicts: 2025000 | #Constraints: 176890
3166.96/3174.83 c #Conflicts: 2026000 | #Constraints: 177891
3166.96/3174.83 c #Conflicts: 2027000 | #Constraints: 178891
3166.96/3174.83 c #Conflicts: 2028000 | #Constraints: 179891
3166.96/3174.83 c #Conflicts: 2029000 | #Constraints: 180891
3166.96/3174.83 c #Conflicts: 2030000 | #Constraints: 181892
3166.96/3174.83 c #Conflicts: 2031000 | #Constraints: 182892
3166.96/3174.83 c #Conflicts: 2032000 | #Constraints: 183892
3166.96/3174.83 c #Conflicts: 2033000 | #Constraints: 184892
3166.96/3174.83 c #Conflicts: 2034000 | #Constraints: 185893
3166.96/3174.83 c #Conflicts: 2035000 | #Constraints: 186893
3166.96/3174.83 c #Conflicts: 2036000 | #Constraints: 187893
3166.96/3174.83 c #Conflicts: 2037000 | #Constraints: 188893
3166.96/3174.83 c #Conflicts: 2038000 | #Constraints: 189895
3166.96/3174.83 c #Conflicts: 2039000 | #Constraints: 190895
3166.96/3174.83 c #Conflicts: 2040000 | #Constraints: 191895
3166.96/3174.83 c #Conflicts: 2041000 | #Constraints: 192895
3166.96/3174.83 c #Conflicts: 2042000 | #Constraints: 193895
3166.96/3174.83 c #Conflicts: 2043000 | #Constraints: 194895
3166.96/3174.83 c #Conflicts: 2044000 | #Constraints: 195895
3166.96/3174.83 c #Conflicts: 2045000 | #Constraints: 196895
3166.96/3174.83 c #Conflicts: 2046000 | #Constraints: 197895
3166.96/3174.83 c #Conflicts: 2047000 | #Constraints: 198896
3166.96/3174.83 c #Conflicts: 2048000 | #Constraints: 199896
3166.96/3174.83 c #Conflicts: 2049000 | #Constraints: 200896
3353.01/3361.35 c #Conflicts: 2050000 | #Constraints: 201896
3353.01/3361.35 c #Conflicts: 2051000 | #Constraints: 202896
3353.01/3361.35 c #Conflicts: 2052000 | #Constraints: 203896
3353.01/3361.35 c #Conflicts: 2053000 | #Constraints: 204896
3353.01/3361.35 c #Conflicts: 2054000 | #Constraints: 205897
3353.01/3361.35 c #Conflicts: 2055000 | #Constraints: 206897
3353.01/3361.35 c #Conflicts: 2056000 | #Constraints: 207897
3353.01/3361.35 c #Conflicts: 2057000 | #Constraints: 208898
3353.01/3361.35 c #Conflicts: 2058000 | #Constraints: 209898
3353.01/3361.35 c #Conflicts: 2059000 | #Constraints: 210899
3353.01/3361.35 c #Conflicts: 2060000 | #Constraints: 211899
3353.01/3361.35 c #Conflicts: 2061000 | #Constraints: 212899
3353.01/3361.35 c #Conflicts: 2062000 | #Constraints: 213899
3353.01/3361.35 c #Conflicts: 2063000 | #Constraints: 214900
3353.01/3361.35 c #Conflicts: 2064000 | #Constraints: 215900
3353.01/3361.35 c #Conflicts: 2065000 | #Constraints: 216900
3353.01/3361.35 c #Conflicts: 2066000 | #Constraints: 217900
3353.01/3361.35 c #Conflicts: 2067000 | #Constraints: 218900
3353.01/3361.35 c #Conflicts: 2068000 | #Constraints: 219900
3353.01/3361.35 c #Conflicts: 2069000 | #Constraints: 220900
3353.01/3361.35 c #Conflicts: 2070000 | #Constraints: 221901
3353.01/3361.35 c #Conflicts: 2071000 | #Constraints: 222902
3353.01/3361.35 c #Conflicts: 2072000 | #Constraints: 223902
3353.01/3361.35 c #Conflicts: 2073000 | #Constraints: 224902
3353.01/3361.35 c #Conflicts: 2074000 | #Constraints: 225902
3353.01/3361.35 c #Conflicts: 2075000 | #Constraints: 226903
3353.01/3361.35 c #Conflicts: 2076000 | #Constraints: 227916
3353.01/3361.35 c #Conflicts: 2077000 | #Constraints: 228916
3353.01/3361.35 c INPROCESSING
3353.01/3361.35 c GARBAGE COLLECT
3353.01/3361.35 c #Conflicts: 2078000 | #Constraints: 154668
3353.01/3361.35 c #Conflicts: 2079000 | #Constraints: 155668
3353.01/3361.35 c #Conflicts: 2080000 | #Constraints: 156668
3353.01/3361.35 c #Conflicts: 2081000 | #Constraints: 157668
3353.01/3361.35 c #Conflicts: 2082000 | #Constraints: 158668
3353.01/3361.35 c #Conflicts: 2083000 | #Constraints: 159668
3353.01/3361.35 c #Conflicts: 2084000 | #Constraints: 160668
3353.01/3361.35 c #Conflicts: 2085000 | #Constraints: 161668
3353.01/3361.35 c #Conflicts: 2086000 | #Constraints: 162668
3353.01/3361.35 c #Conflicts: 2087000 | #Constraints: 163668
3353.01/3361.35 c #Conflicts: 2088000 | #Constraints: 164668
3353.01/3361.35 c #Conflicts: 2089000 | #Constraints: 165668
3353.01/3361.35 c #Conflicts: 2090000 | #Constraints: 166668
3353.01/3361.35 c #Conflicts: 2091000 | #Constraints: 167668
3353.01/3361.35 c #Conflicts: 2092000 | #Constraints: 168668
3353.01/3361.35 c #Conflicts: 2093000 | #Constraints: 169668
3353.01/3361.35 c #Conflicts: 2094000 | #Constraints: 170668
3353.01/3361.35 c #Conflicts: 2095000 | #Constraints: 171668
3353.01/3361.35 c #Conflicts: 2096000 | #Constraints: 172668
3353.01/3361.35 c #Conflicts: 2097000 | #Constraints: 173668
3353.01/3361.35 c #Conflicts: 2098000 | #Constraints: 174668
3353.01/3361.35 c #Conflicts: 2099000 | #Constraints: 175668
3353.01/3361.35 c #Conflicts: 2100000 | #Constraints: 176668
3353.01/3361.35 c #Conflicts: 2101000 | #Constraints: 177668
3353.01/3361.35 c #Conflicts: 2102000 | #Constraints: 178668
3353.01/3361.35 c #Conflicts: 2103000 | #Constraints: 179668
3353.01/3361.35 c #Conflicts: 2104000 | #Constraints: 180668
3353.01/3361.35 c #Conflicts: 2105000 | #Constraints: 181668
3353.01/3361.35 c #Conflicts: 2106000 | #Constraints: 182671
3353.01/3361.35 c #Conflicts: 2107000 | #Constraints: 183671
3353.01/3361.35 c #Conflicts: 2108000 | #Constraints: 184671
3353.01/3361.35 c #Conflicts: 2109000 | #Constraints: 185671
3353.01/3361.35 c INPROCESSING
3353.01/3361.35 c GARBAGE COLLECT
3353.01/3361.35 c #Conflicts: 2110000 | #Constraints: 133216
3353.01/3361.35 c #Conflicts: 2111000 | #Constraints: 134216
3353.01/3361.35 c #Conflicts: 2112000 | #Constraints: 135216
3353.01/3361.35 c #Conflicts: 2113000 | #Constraints: 136216
3353.01/3361.35 c #Conflicts: 2114000 | #Constraints: 137216
3353.01/3361.35 c #Conflicts: 2115000 | #Constraints: 138216
3353.01/3361.35 c #Conflicts: 2116000 | #Constraints: 139216
3353.01/3361.35 c #Conflicts: 2117000 | #Constraints: 140216
3353.01/3361.35 c #Conflicts: 2118000 | #Constraints: 141216
3353.01/3361.35 c #Conflicts: 2119000 | #Constraints: 142216
3353.01/3361.35 c #Conflicts: 2120000 | #Constraints: 143217
3353.01/3361.35 c #Conflicts: 2121000 | #Constraints: 144217
3353.01/3361.35 c #Conflicts: 2122000 | #Constraints: 145217
3353.01/3361.35 c #Conflicts: 2123000 | #Constraints: 146217
3353.01/3361.35 c #Conflicts: 2124000 | #Constraints: 147217
3353.01/3361.35 c #Conflicts: 2125000 | #Constraints: 148217
3353.01/3361.35 c #Conflicts: 2126000 | #Constraints: 149217
3353.01/3361.35 c #Conflicts: 2127000 | #Constraints: 150217
3391.52/3399.92 c #Conflicts: 2128000 | #Constraints: 151217
3391.52/3399.92 c #Conflicts: 2129000 | #Constraints: 152217
3391.52/3399.92 c #Conflicts: 2130000 | #Constraints: 153217
3391.52/3399.92 c #Conflicts: 2131000 | #Constraints: 154217
3391.52/3399.92 c #Conflicts: 2132000 | #Constraints: 155217
3391.52/3399.92 c #Conflicts: 2133000 | #Constraints: 156231
3391.52/3399.92 c #Conflicts: 2134000 | #Constraints: 157233
3391.52/3399.92 c #Conflicts: 2135000 | #Constraints: 158234
3391.52/3399.92 c #Conflicts: 2136000 | #Constraints: 159245
3391.52/3399.92 c #Conflicts: 2137000 | #Constraints: 160245
3391.52/3399.92 c #Conflicts: 2138000 | #Constraints: 161246
3391.52/3399.92 c #Conflicts: 2139000 | #Constraints: 162246
3391.52/3399.92 c #Conflicts: 2140000 | #Constraints: 163246
3391.52/3399.92 c INPROCESSING
3391.52/3399.92 c GARBAGE COLLECT
3391.52/3399.92 WSVECS04 Frhs2[27]: 6 -0.764706 0 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[68]: 6 0 6.98662 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[194]: 6 -0.750001 0 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[265]: 6 -0.750001 0 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[303]: 6 0 0.75 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[304]: 6 0 0.812501 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[307]: 6 0 1 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[314]: 6 0 1.4375 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[901]: 6 0 0.0625005 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[902]: 6 0 0.125001 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[904]: 6 0 0.250001 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[905]: 6 0 0.312501 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[908]: 6 0 0.500001 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[956]: 6 0 0.125001 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[959]: 6 0 0.5625 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[960]: 6 0 0.5625 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[970]: 6 0 0.562501 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[971]: 6 0 0.5625 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[974]: 6 0 0.562501 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[975]: 6 0 0.5625 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[977]: 6 0 0.5625 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1004]: 6 0 0.718751 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1076]: 6 -1.0625 0 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1202]: 6 0 0.125001 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1208]: 6 0 0.5 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1209]: 6 0 0.5625 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1210]: 6 0 0.625 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1212]: 6 0 0.75 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1216]: 6 0 1 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1218]: 6 0 1.125 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1220]: 6 0 1.01766 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[1567]: 6 0 0.0625008 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2145]: 6 0 0.187501 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2146]: 6 0 0.250001 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2171]: 6 0 4.86789 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2173]: 6 0 3.65092 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2174]: 6 0 3.04243 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2185]: 6 -1.68478 0 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2563]: 6 -0.937501 0 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[2889]: 6 0 0.125001 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[3438]: 6 -0.0625008 0 shouldn't be
3391.52/3399.92 WSVECS04 Frhs2[4146]: 6 0 1.25 shouldn't be
3554.03/3562.81 c #Conflicts: 2141000 | #Constraints: 121625
3554.03/3562.81 c #Conflicts: 2142000 | #Constraints: 122628
3554.03/3562.81 c #Conflicts: 2143000 | #Constraints: 123628
3554.03/3562.81 c #Conflicts: 2144000 | #Constraints: 124628
3554.03/3562.81 c #Conflicts: 2145000 | #Constraints: 125628
3554.03/3562.81 c #Conflicts: 2146000 | #Constraints: 126629
3554.03/3562.81 c #Conflicts: 2147000 | #Constraints: 127629
3554.03/3562.81 c #Conflicts: 2148000 | #Constraints: 128629
3554.03/3562.81 c #Conflicts: 2149000 | #Constraints: 129629
3554.03/3562.81 c #Conflicts: 2150000 | #Constraints: 130629
3554.03/3562.81 c #Conflicts: 2151000 | #Constraints: 131630
3554.03/3562.81 c #Conflicts: 2152000 | #Constraints: 132630
3554.03/3562.81 c #Conflicts: 2153000 | #Constraints: 133630
3554.03/3562.81 c #Conflicts: 2154000 | #Constraints: 134630
3554.03/3562.81 c #Conflicts: 2155000 | #Constraints: 135630
3554.03/3562.81 c #Conflicts: 2156000 | #Constraints: 136630
3554.03/3562.81 c #Conflicts: 2157000 | #Constraints: 137630
3554.03/3562.81 c #Conflicts: 2158000 | #Constraints: 138630
3554.03/3562.81 c #Conflicts: 2159000 | #Constraints: 139631
3554.03/3562.81 c #Conflicts: 2160000 | #Constraints: 140631
3554.03/3562.81 c #Conflicts: 2161000 | #Constraints: 141631
3554.03/3562.81 c #Conflicts: 2162000 | #Constraints: 142632
3554.03/3562.81 c #Conflicts: 2163000 | #Constraints: 143633
3554.03/3562.81 c #Conflicts: 2164000 | #Constraints: 144633
3554.03/3562.81 c #Conflicts: 2165000 | #Constraints: 145634
3554.03/3562.81 c #Conflicts: 2166000 | #Constraints: 146635
3554.03/3562.81 c #Conflicts: 2167000 | #Constraints: 147635
3554.03/3562.81 c #Conflicts: 2168000 | #Constraints: 148635
3554.03/3562.81 c #Conflicts: 2169000 | #Constraints: 149635
3554.03/3562.81 c #Conflicts: 2170000 | #Constraints: 150635
3554.03/3562.81 c #Conflicts: 2171000 | #Constraints: 151636
3554.03/3562.81 c #Conflicts: 2172000 | #Constraints: 152636
3554.03/3562.81 c INPROCESSING
3554.03/3562.81 c GARBAGE COLLECT
3554.03/3562.81 c #Conflicts: 2173000 | #Constraints: 116304
3554.03/3562.81 c #Conflicts: 2174000 | #Constraints: 117304
3554.03/3562.81 c #Conflicts: 2175000 | #Constraints: 118304
3554.03/3562.81 c #Conflicts: 2176000 | #Constraints: 119304
3554.03/3562.81 c #Conflicts: 2177000 | #Constraints: 120304
3554.03/3562.81 c #Conflicts: 2178000 | #Constraints: 121304
3554.03/3562.81 c #Conflicts: 2179000 | #Constraints: 122304
3554.03/3562.81 c #Conflicts: 2180000 | #Constraints: 123304
3554.03/3562.81 c #Conflicts: 2181000 | #Constraints: 124304
3554.03/3562.81 c #Conflicts: 2182000 | #Constraints: 125304
3554.03/3562.81 c #Conflicts: 2183000 | #Constraints: 126304
3554.03/3562.81 c #Conflicts: 2184000 | #Constraints: 127304
3554.03/3562.81 c #Conflicts: 2185000 | #Constraints: 128304
3554.03/3562.81 c #Conflicts: 2186000 | #Constraints: 129304
3554.03/3562.81 c #Conflicts: 2187000 | #Constraints: 130304
3554.03/3562.81 c #Conflicts: 2188000 | #Constraints: 131304
3554.03/3562.81 c #Conflicts: 2189000 | #Constraints: 132304
3554.03/3562.81 c #Conflicts: 2190000 | #Constraints: 133304
3554.03/3562.81 c #Conflicts: 2191000 | #Constraints: 134304
3554.03/3562.81 c #Conflicts: 2192000 | #Constraints: 135304
3554.03/3562.81 c #Conflicts: 2193000 | #Constraints: 136304
3554.03/3562.81 c #Conflicts: 2194000 | #Constraints: 137304
3554.03/3562.81 c #Conflicts: 2195000 | #Constraints: 138304
3554.03/3562.81 c #Conflicts: 2196000 | #Constraints: 139304
3554.03/3562.81 c #Conflicts: 2197000 | #Constraints: 140304
3554.03/3562.81 c #Conflicts: 2198000 | #Constraints: 141304
3554.03/3562.81 c #Conflicts: 2199000 | #Constraints: 142304
3554.03/3562.81 c #Conflicts: 2200000 | #Constraints: 143304
3554.03/3562.81 c #Conflicts: 2201000 | #Constraints: 144304
3554.03/3562.81 c #Conflicts: 2202000 | #Constraints: 145304
3554.03/3562.81 c #Conflicts: 2203000 | #Constraints: 146304
3554.03/3562.81 c #Conflicts: 2204000 | #Constraints: 147304
3554.03/3562.81 c #Conflicts: 2205000 | #Constraints: 148304
3554.03/3562.81 c #Conflicts: 2206000 | #Constraints: 149304
3554.03/3562.81 c #Conflicts: 2207000 | #Constraints: 150304
3554.03/3562.81 c #Conflicts: 2208000 | #Constraints: 151304
3554.03/3562.81 c #Conflicts: 2209000 | #Constraints: 152304
3554.03/3562.81 c #Conflicts: 2210000 | #Constraints: 153304
3554.03/3562.81 c #Conflicts: 2211000 | #Constraints: 154304
3554.03/3562.81 c #Conflicts: 2212000 | #Constraints: 155304
3554.03/3562.81 c #Conflicts: 2213000 | #Constraints: 156304
3554.03/3562.81 c #Conflicts: 2214000 | #Constraints: 157304
3554.03/3562.81 c #Conflicts: 2215000 | #Constraints: 158304
3554.03/3562.81 c #Conflicts: 2216000 | #Constraints: 159304
3554.03/3562.81 c #Conflicts: 2217000 | #Constraints: 160305
3554.03/3562.81 c #Conflicts: 2218000 | #Constraints: 161305
3554.03/3562.81 c #Conflicts: 2219000 | #Constraints: 162305
3600.02/3608.90 c #Conflicts: 2220000 | #Constraints: 163305
3600.02/3608.90 c #Conflicts: 2221000 | #Constraints: 164305
3600.02/3608.90 c #Conflicts: 2222000 | #Constraints: 165306
3600.02/3608.90 c #Conflicts: 2223000 | #Constraints: 166306
3600.02/3608.90 c #Conflicts: 2224000 | #Constraints: 167306
3600.02/3608.90 c #Conflicts: 2225000 | #Constraints: 168306
3600.02/3608.90 c #Conflicts: 2226000 | #Constraints: 169306
3600.02/3608.90 c #Conflicts: 2227000 | #Constraints: 170307
3600.02/3608.90 c #Conflicts: 2228000 | #Constraints: 171307
3600.02/3608.90 c #Conflicts: 2229000 | #Constraints: 172307
3600.02/3608.90 c #Conflicts: 2230000 | #Constraints: 173307
3600.02/3608.90 c #Conflicts: 2231000 | #Constraints: 174307
3600.02/3608.90 c #Conflicts: 2232000 | #Constraints: 175308
3600.02/3608.90 c #Conflicts: 2233000 | #Constraints: 176308
3600.02/3608.90 c #Conflicts: 2234000 | #Constraints: 177309
3600.02/3608.90 c #Conflicts: 2235000 | #Constraints: 178310
3600.02/3608.90 c cpu time 3589.06 s
3600.02/3608.90 c deterministic time 251255196254 2.51e+11
3600.02/3608.90 c optimization time 142.965 s
3600.02/3608.90 c total solve time 3445.87 s
3600.02/3608.90 c core-guided solve time 0 s
3600.02/3608.90 c propagation time 1788.9 s
3600.02/3608.90 c conflict analysis time 1685.03 s
3600.02/3608.90 c propagations 896879223
3600.02/3608.90 c resolve steps 94264369
3600.02/3608.90 c decisions 4176466
3600.02/3608.90 c conflicts 2235296
3600.02/3608.90 c restarts 4093
3600.02/3608.90 c inprocessing phases 97
3600.02/3608.90 c garbage collections 97 ,( 100.00 )
3600.02/3608.90 c input clauses 74490 ,( 94.86 )
3600.02/3608.90 c input cardinalities 53 ,( 0.07 )
3600.02/3608.90 c input general constraints 3984 ,( 5.07 )
3600.02/3608.90 c input average constraint length 2.16
3600.02/3608.90 c input average constraint degree 1.27
3600.02/3608.90 c learned clauses 2147607 ,( 96.05 )
3600.02/3608.90 c learned cardinalities 22646 ,( 1.01 )
3600.02/3608.90 c learned general constraints 65777 ,( 2.94 )
3600.02/3608.90 c learned average constraint length 1048.25
3600.02/3608.90 c learned average constraint degree 2522890.30
3600.02/3608.90 c watched CF 32, 64, 128, Arb: 55528 , 0 , 0 , 0
3600.02/3608.90 c counting CF 32, 64, 128, Arb: 14233 , 0 , 0 , 0
3600.02/3608.90 c watched constraints 55528 ,( 79.60 )
3600.02/3608.90 c counting constraints 14233 ,( 20.40 )
3600.02/3608.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 7823909366 , 923426413 , 2337398677 ,( 426474686 , 1910923991 )
3600.02/3608.90 c gcd simplifications 9044
3600.02/3608.90 c detected cardinalities 198
3600.02/3608.90 c weakened non-implied lits 11421996
3600.02/3608.90 c weakened non-implying lits 8545
3600.02/3608.90 c original variables 5363
3600.02/3608.90 c clausal propagations 339493278
3600.02/3608.90 c cardinality propagations 14025062
3600.02/3608.90 c watched propagations 27350149
3600.02/3608.90 c counting propagations 513720963
3600.02/3608.90 c watch lookups 38303990885
3600.02/3608.90 c watch backjump lookups 0
3600.02/3608.90 c watch checks 178444597020
3600.02/3608.90 c propagation checks 28113563602
3600.02/3608.90 c constraint additions 4588291851
3600.02/3608.90 c trail pops 903287319
3600.02/3608.90 c formula constraints 78527
3600.02/3608.90 c learned constraints 2235295
3600.02/3608.90 c bound constraints 0
3600.02/3608.90 c core-guided constraints 0
3600.02/3608.90 c encountered formula constraints 75684202
3600.02/3608.90 c encountered learned constraints 20811913
3600.02/3608.90 c encountered bound constraints 0
3600.02/3608.90 c encountered core-guided constraints 0
3600.02/3608.90 c LP total time 98.1673 s
3600.02/3608.90 c LP solve time 90.7 s
3600.02/3608.90 c LP constraints added 78710
3600.02/3608.90 c LP constraints removed 122
3600.02/3608.90 c LP pivots internal 223949
3600.02/3608.90 c LP pivots root 185938
3600.02/3608.90 c LP calls 789
3600.02/3608.90 c LP optimalities 42
3600.02/3608.90 c LP no pivot count 1
3600.02/3608.90 c LP infeasibilities 686
3600.02/3608.90 c LP valid Farkas constraints 686
3600.02/3608.90 c LP learned Farkas constraints 0
3600.02/3608.90 c LP basis resets 57
3600.02/3608.90 c LP cycling count 24
3600.02/3608.90 c LP singular count 21
3600.02/3608.90 c LP no primal count 0
3600.02/3608.90 c LP no farkas count 0
3600.02/3608.90 c LP other issue count 12
3600.02/3608.90 c LP Gomory cuts 49
3600.02/3608.90 c LP learned cuts 134
3600.02/3608.90 c LP deleted cuts 122
3600.02/3608.90 c LP encountered Gomory constraints 25
3600.02/3608.90 c LP encountered Farkas constraints 3525
3600.02/3608.90 c LP encountered learned Farkas constraints 0
3600.02/3608.90 c CG auxiliary variables introduced 0
3600.02/3608.90 c CG solutions found 0
3600.02/3608.90 c CG cores constructed 0
3600.02/3608.90 c CG core cardinality constraints returned 0
3600.02/3608.90 c CG unit cores 0
3600.02/3608.90 c CG single cores 0
3600.02/3608.90 c CG blocks removed during cardinality reduction 0
3600.02/3608.90 c CG first core best 0
3600.02/3608.90 c CG decision core best 0
3600.02/3608.90 c CG core reduction tie 0
3600.02/3608.90 c CG core degree average 0.00
3600.02/3608.90 c CG core slack average 0.00
3600.02/3608.90 c CG core upper bound improvements 0
3600.02/3608.90 c STR number of successful calls 0
3600.02/3608.90 c STR number of unsuccessful calls 0
3600.02/3608.90 c STR number of inconclusive calls 0
3600.02/3608.90 c STR number of successful attempts 0
3600.02/3608.90 c STR number of unsuccessful attempts 0
3600.02/3608.90 c STR number of inconclusive attempts 0
3600.02/3608.90 c STR average degree increase per successful call inf
3600.02/3608.90 c STR average degree increase per successful attempt inf
3600.02/3608.90 c STR total number of conflicts for successful attempts 0
3600.02/3608.90 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.90 c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.90 c STR average number of conflicts per successful attempt inf
3600.02/3608.90 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.90 c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.90 c AVG.sumWPerc 27.15
3600.02/3608.90 c bigint constraints 0
3600.02/3608.90 s UNKNOWN
3600.02/3608.90 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 (56227 MiB free)
memory of node 1: 64465 MiB (56408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545037-1753221051/watcher-4545037-1753221051 -o /tmp/evaluation-result-4545037-1753221051/solver-4545037-1753221051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171553 --watchdog 3760 run-dec.sh HOME/instance-4545037-1753221051.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=175558, runsolver pid=175555
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.07 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115337072/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=59208 memory=14092 CPUtime=0.08 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 1385 0 0 0 6 2 0 0 20 0 1 0 237783763 60628992 3523 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 14802 3523 1952 1147 0 2229 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63400 KiB
Current children cumulated memory: 17164 KiB
[startup+0.205824 s]*
/proc/loadavg: 4.07 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115333528/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=76892 memory=28940 CPUtime=0.19 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 4868 0 0 0 14 5 0 0 20 0 1 0 237783763 78737408 7235 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 19223 7235 2272 1147 0 6650 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 81084 KiB
Current children cumulated memory: 32012 KiB
[startup+0.305714 s]*
/proc/loadavg: 4.07 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115284000/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=173288 memory=96484 CPUtime=0.29 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 8202 0 0 0 21 8 0 0 20 0 1 0 237783763 177446912 24121 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 43322 24121 2272 1147 0 30749 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 177480 KiB
Current children cumulated memory: 99556 KiB
[startup+0.700211 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115255964/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=174108 memory=105560 CPUtime=0.68 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 13751 0 0 0 58 10 0 0 20 0 1 0 237783763 178286592 26390 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 43527 26390 2336 1147 0 30954 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 178300 KiB
Current children cumulated memory: 108632 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115255964/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=181248 memory=109784 CPUtime=1.47 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 14778 0 0 0 136 11 0 0 20 0 1 0 237783763 185597952 27446 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 45312 27446 2368 1147 0 32739 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 185440 KiB
Current children cumulated memory: 112856 KiB
[startup+3.10562 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115256216/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=181248 memory=112088 CPUtime=3.08 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 14827 0 0 0 295 13 0 0 20 0 1 0 237783763 185597952 28022 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 45312 28022 2368 1147 0 32739 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 185440 KiB
Current children cumulated memory: 115160 KiB
[startup+6.3002 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115258364/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=181248 memory=112344 CPUtime=6.26 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 14924 0 0 0 610 16 0 0 20 0 1 0 237783763 185597952 28086 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 45312 28086 2368 1147 0 32739 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 185440 KiB
Current children cumulated memory: 115416 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 175560
/proc/meminfo: memFree=115250300/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=198976 memory=123640 CPUtime=12.64 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 16755 0 0 0 1244 20 0 0 20 0 1 0 237783763 203751424 30910 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 49744 30910 2368 1147 0 37171 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 203168 KiB
Current children cumulated memory: 126712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 175560
/proc/meminfo: memFree=115238628/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=214424 memory=142764 CPUtime=25.42 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 19403 0 0 0 2511 31 0 0 20 0 1 0 237783763 219570176 35691 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 53606 35691 2464 1147 0 41033 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 218616 KiB
Current children cumulated memory: 145836 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 175561
/proc/meminfo: memFree=115231340/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=231232 memory=154052 CPUtime=50.95 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 20697 0 0 0 5049 46 0 0 20 0 1 0 237783763 236781568 38513 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 57808 38513 2464 1147 0 45235 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 235424 KiB
Current children cumulated memory: 157124 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 175612
/proc/meminfo: memFree=114720292/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=254304 memory=176376 CPUtime=102.02 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 21681 0 0 0 10125 77 0 0 20 0 1 0 237783763 260407296 44094 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 63576 44094 2464 1147 0 51003 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 258496 KiB
Current children cumulated memory: 179448 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 175619
/proc/meminfo: memFree=114629724/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=264824 memory=189000 CPUtime=161.87 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 22792 0 0 0 16075 112 0 0 20 0 1 0 237783763 271179776 47250 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 66206 47250 2464 1147 0 53633 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 269016 KiB
Current children cumulated memory: 192072 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 175620
/proc/meminfo: memFree=114527420/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=299200 memory=201000 CPUtime=221.73 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 23764 0 0 0 22026 147 0 0 20 0 1 0 237783763 306380800 50250 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 74800 50250 2464 1147 0 62227 0
################
# More data... #
################
/proc/loadavg: 3.08 3.11 3.27 4/261 175863
/proc/meminfo: memFree=113439380/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=887520 memory=818112 CPUtime=3094.63 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44260 0 0 0 308473 990 0 0 20 0 1 0 237783763 908820480 204528 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 221880 204528 2464 1147 0 209307 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 891712 KiB
Current children cumulated memory: 821184 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.12 3.26 4/261 175867
/proc/meminfo: memFree=113406236/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=887520 memory=818112 CPUtime=3154.49 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44316 0 0 0 314446 1003 0 0 20 0 1 0 237783763 908820480 204528 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 221880 204528 2464 1147 0 209307 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 891712 KiB
Current children cumulated memory: 821184 KiB
[startup+3222.3 s]
/proc/loadavg: 3.05 3.09 3.25 4/261 175874
/proc/meminfo: memFree=113437784/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=887520 memory=818112 CPUtime=3214.35 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44366 0 0 0 320421 1014 0 0 20 0 1 0 237783763 908820480 204528 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 221880 204528 2464 1147 0 209307 0
Current children cumulated CPU time: 3214.35 s
Current children cumulated vsize: 891712 KiB
Current children cumulated memory: 821184 KiB
[startup+3282.3 s]
/proc/loadavg: 3.06 3.09 3.23 4/262 175878
/proc/meminfo: memFree=113432876/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=887796 memory=818240 CPUtime=3274.2 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44421 0 0 0 326393 1027 0 0 20 0 1 0 237783763 909103104 204560 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 221949 204560 2464 1147 0 209376 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 891988 KiB
Current children cumulated memory: 821312 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.10 3.23 4/262 175880
/proc/meminfo: memFree=113433524/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=887796 memory=818240 CPUtime=3334.06 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44421 0 0 0 332365 1041 0 0 20 0 1 0 237783763 909103104 204560 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 221949 204560 2464 1147 0 209376 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 891988 KiB
Current children cumulated memory: 821312 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.09 3.22 4/262 175882
/proc/meminfo: memFree=113434484/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=887796 memory=818240 CPUtime=3393.92 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44421 0 0 0 338340 1052 0 0 20 0 1 0 237783763 909103104 204560 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 221949 204560 2464 1147 0 209376 0
Current children cumulated CPU time: 3393.92 s
Current children cumulated vsize: 891988 KiB
Current children cumulated memory: 821312 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.09 3.20 4/262 175885
/proc/meminfo: memFree=113413528/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=887796 memory=818368 CPUtime=3453.77 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44520 0 0 0 344309 1068 0 0 20 0 1 0 237783763 909103104 204592 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 221949 204592 2464 1147 0 209376 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 891988 KiB
Current children cumulated memory: 821440 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.09 3.19 4/261 175887
/proc/meminfo: memFree=113413328/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=888276 memory=818496 CPUtime=3513.63 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44578 0 0 0 350281 1082 0 0 20 0 1 0 237783763 909594624 204624 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 222069 204624 2464 1147 0 209496 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 892468 KiB
Current children cumulated memory: 821568 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.08 3.18 4/260 175889
/proc/meminfo: memFree=113413156/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=888276 memory=818496 CPUtime=3573.48 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44640 0 0 0 356255 1093 0 0 20 0 1 0 237783763 909594624 204624 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 222069 204624 2464 1147 0 209496 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 892468 KiB
Current children cumulated memory: 821568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 3.11 3.09 3.18 4/260 175890
/proc/meminfo: memFree=113413180/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=888276 memory=818496 CPUtime=3600.02 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44668 0 0 0 358905 1097 0 0 20 0 1 0 237783763 909594624 204624 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 222069 204624 2464 1147 0 209496 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 892468 KiB
Current children cumulated memory: 821568 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.9 s]
# the end of solver process 175558 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.06 s, system=10.978 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 3.11 3.09 3.18 4/260 175890
/proc/meminfo: memFree=113413180/131249996 swapFree=33010160/33010684
[pid=175558] ppid=175555 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/175558/stat : 175558 (run-dec.sh) S 175555 175558 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237783762 4292608 768 18446744073709551615 94511552217088 94511553111621 140723582689200 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94511553350672 94511553398416 94511554392064 140723582695787 140723582695910 140723582695910 140723582701514 0
/proc/175558/statm: 1048 768 704 219 0 110 0
[pid=175560] ppid=175558 vsize=888276 memory=818496 CPUtime=3600.02 cores=1,3
/proc/175560/stat : 175560 (roundingsat) R 175558 175558 171541 0 -1 4194304 44668 0 0 0 358905 1097 0 0 20 0 1 0 237783763 909594624 204624 18446744073709551615 4227072 8923433 140722758010128 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29270016 140722758015413 140722758015526 140722758015526 140722758021098 0
/proc/175560/statm: 222069 204624 2464 1147 0 209496 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 892468 KiB
Current children cumulated memory: 821568 KiB
Child status: 2
Real time (s): 3608.9
CPU time (s): 3600.04
CPU user time (s): 3589.06
CPU system time (s): 10.978
CPU usage (%): 99.7544
Max. virtual memory (cumulated for all children) (KiB): 892468
Max. memory (cumulated for all children) (KiB): 821568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.06
system time used= 10.978
maximum resident set size= 818624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44902
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= 208
involuntary context switches= 1542
# summary of solver processes directly reported to runsolver:
# pid: 175558
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.06
# total CPU system time (s): 10.978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94551 second user time and 16.0852 second system time
The end
Begin job on nodeC032 at 2025-07-22 23:50:51
IDJOB=4545037
IDBENCH=180696
IDSOLVER=3349
FILE ID=nodeC032/4545037-1753221051
RUNJOBID= nodeC032-1753211592-171553
SLURM_JOB_ID= 9687796
Free space on /tmp= 432528 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-53-24-1-mgd_c18.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545037-1753221051/watcher-4545037-1753221051 -o /tmp/evaluation-result-4545037-1753221051/solver-4545037-1753221051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171553 --watchdog 3760 run-dec.sh HOME/instance-4545037-1753221051.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa4c4c17affaea5fdc372b8ff9588da4
RANDOM SEED=2059450499
nodeC032 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.054
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.381
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3620.136
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.853
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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.652
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3583.804
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 115339336 kB
MemAvailable: 127425524 kB
Buffers: 2728 kB
Cached: 12765504 kB
SwapCached: 20 kB
Active: 3352256 kB
Inactive: 11634816 kB
Active(anon): 2241972 kB
Inactive(anon): 3124 kB
Active(file): 1110284 kB
Inactive(file): 11631692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9196 kB
Writeback: 16 kB
AnonPages: 2219620 kB
Mapped: 122188 kB
Shmem: 26240 kB
KReclaimable: 366900 kB
Slab: 465732 kB
SReclaimable: 366900 kB
SUnreclaim: 98832 kB
KernelStack: 4304 kB
PageTables: 7544 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2902700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2035712 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432500 MiB
End job on nodeC032 at 2025-07-23 00:51:00