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