0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.19 c [STEP] preprocessing with Papilo
0.39/0.45 c Papilo could not simplify the problem
0.39/0.45 c [STEP] solving with SCIP
299.56/300.64 c [STEP] preprocessing done, loading into solver
299.65/300.79 c [STEP] solving
299.65/300.79 c #variables 1273 #constraints 94127
299.65/300.79 c SMALL=int, LARGE=long long
299.65/300.79 d SCIPUB -46
299.65/300.79 c bounds - >= -1272 @ 299.386
299.65/300.79 c stratification level: 0
330.67/331.83 c bounds - >= -240 @ 299.434
330.67/331.83 c bounds - >= -239 @ 299.435
330.67/331.83 c bounds - >= -238 @ 299.436
330.67/331.83 c bounds - >= -237 @ 299.437
330.67/331.83 c bounds - >= -236 @ 299.437
330.67/331.83 c bounds - >= -235 @ 299.437
330.67/331.83 c bounds - >= -234 @ 299.437
330.67/331.83 c bounds - >= -233 @ 299.437
330.67/331.83 c bounds - >= -232 @ 299.438
330.67/331.83 c bounds - >= -231 @ 299.438
330.67/331.83 c bounds - >= -230 @ 299.439
330.67/331.83 c bounds - >= -229 @ 299.44
330.67/331.83 c bounds - >= -228 @ 299.44
330.67/331.83 c bounds - >= -227 @ 299.441
330.67/331.83 c bounds - >= -226 @ 299.442
330.67/331.83 c bounds - >= -225 @ 299.442
330.67/331.83 c bounds - >= -224 @ 299.442
330.67/331.83 c bounds - >= -223 @ 299.442
330.67/331.83 c bounds - >= -222 @ 299.443
330.67/331.83 c bounds - >= -221 @ 299.443
330.67/331.83 c bounds - >= -220 @ 299.444
330.67/331.83 c bounds - >= -219 @ 299.445
330.67/331.83 c bounds - >= -218 @ 299.445
330.67/331.83 c bounds - >= -217 @ 299.446
330.67/331.83 c bounds - >= -216 @ 299.447
330.67/331.83 c bounds - >= -215 @ 299.448
330.67/331.83 c bounds - >= -214 @ 299.466
330.67/331.83 c #Conflicts: 1000 | #Constraints: 95394
330.67/331.83 c #Conflicts: 2000 | #Constraints: 96394
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 3000 | #Constraints: 96373
330.67/331.83 c #Conflicts: 4000 | #Constraints: 97373
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 5000 | #Constraints: 96780
330.67/331.83 c #Conflicts: 6000 | #Constraints: 97780
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 7000 | #Constraints: 96783
330.67/331.83 c #Conflicts: 8000 | #Constraints: 97783
330.67/331.83 c #Conflicts: 9000 | #Constraints: 98783
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 10000 | #Constraints: 97489
330.67/331.83 c #Conflicts: 11000 | #Constraints: 98489
330.67/331.83 c #Conflicts: 12000 | #Constraints: 99489
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 13000 | #Constraints: 97936
330.67/331.83 c #Conflicts: 14000 | #Constraints: 98936
330.67/331.83 c #Conflicts: 15000 | #Constraints: 99936
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 16000 | #Constraints: 98166
330.67/331.83 c #Conflicts: 17000 | #Constraints: 99166
330.67/331.83 c #Conflicts: 18000 | #Constraints: 100166
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 19000 | #Constraints: 98183
330.67/331.83 c #Conflicts: 20000 | #Constraints: 99183
330.67/331.83 c #Conflicts: 21000 | #Constraints: 100183
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 22000 | #Constraints: 97990
330.67/331.83 c #Conflicts: 23000 | #Constraints: 98990
330.67/331.83 c #Conflicts: 24000 | #Constraints: 99990
330.67/331.83 c #Conflicts: 25000 | #Constraints: 100990
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 26000 | #Constraints: 98595
330.67/331.83 c #Conflicts: 27000 | #Constraints: 99595
330.67/331.83 c #Conflicts: 28000 | #Constraints: 100595
330.67/331.83 c #Conflicts: 29000 | #Constraints: 101595
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 30000 | #Constraints: 99001
330.67/331.83 c #Conflicts: 31000 | #Constraints: 100001
330.67/331.83 c #Conflicts: 32000 | #Constraints: 101001
330.67/331.83 c #Conflicts: 33000 | #Constraints: 102001
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 34000 | #Constraints: 99197
330.67/331.83 c #Conflicts: 35000 | #Constraints: 100197
330.67/331.83 c #Conflicts: 36000 | #Constraints: 101197
330.67/331.83 c #Conflicts: 37000 | #Constraints: 102197
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 38000 | #Constraints: 99201
330.67/331.83 c #Conflicts: 39000 | #Constraints: 100201
330.67/331.83 c #Conflicts: 40000 | #Constraints: 101201
330.67/331.83 c #Conflicts: 41000 | #Constraints: 102201
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 42000 | #Constraints: 99003
330.67/331.83 c #Conflicts: 43000 | #Constraints: 100003
330.67/331.83 c #Conflicts: 44000 | #Constraints: 101003
330.67/331.83 c #Conflicts: 45000 | #Constraints: 102003
330.67/331.83 c #Conflicts: 46000 | #Constraints: 103003
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 47000 | #Constraints: 99601
330.67/331.83 c #Conflicts: 48000 | #Constraints: 100601
330.67/331.83 c #Conflicts: 49000 | #Constraints: 101601
330.67/331.83 c #Conflicts: 50000 | #Constraints: 102601
330.67/331.83 c #Conflicts: 51000 | #Constraints: 103601
330.67/331.83 c INPROCESSING
330.67/331.83 c GARBAGE COLLECT
330.67/331.83 c #Conflicts: 52000 | #Constraints: 100007
330.67/331.83 c #Conflicts: 53000 | #Constraints: 101007
330.67/331.83 c #Conflicts: 54000 | #Constraints: 102007
330.67/331.83 c #Conflicts: 55000 | #Constraints: 103007
395.70/397.04 c #Conflicts: 56000 | #Constraints: 104007
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 57000 | #Constraints: 100216
395.70/397.04 c #Conflicts: 58000 | #Constraints: 101216
395.70/397.04 c #Conflicts: 59000 | #Constraints: 102216
395.70/397.04 c #Conflicts: 60000 | #Constraints: 103216
395.70/397.04 c #Conflicts: 61000 | #Constraints: 104216
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 62000 | #Constraints: 100209
395.70/397.04 c #Conflicts: 63000 | #Constraints: 101209
395.70/397.04 c #Conflicts: 64000 | #Constraints: 102209
395.70/397.04 c #Conflicts: 65000 | #Constraints: 103209
395.70/397.04 c #Conflicts: 66000 | #Constraints: 104209
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 67000 | #Constraints: 100011
395.70/397.04 c #Conflicts: 68000 | #Constraints: 101011
395.70/397.04 c #Conflicts: 69000 | #Constraints: 102011
395.70/397.04 c #Conflicts: 70000 | #Constraints: 103011
395.70/397.04 c #Conflicts: 71000 | #Constraints: 104011
395.70/397.04 c #Conflicts: 72000 | #Constraints: 105011
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 73000 | #Constraints: 100615
395.70/397.04 c #Conflicts: 74000 | #Constraints: 101615
395.70/397.04 c #Conflicts: 75000 | #Constraints: 102615
395.70/397.04 c #Conflicts: 76000 | #Constraints: 103615
395.70/397.04 c #Conflicts: 77000 | #Constraints: 104615
395.70/397.04 c #Conflicts: 78000 | #Constraints: 105615
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 79000 | #Constraints: 101020
395.70/397.04 c #Conflicts: 80000 | #Constraints: 102020
395.70/397.04 c #Conflicts: 81000 | #Constraints: 103020
395.70/397.04 c #Conflicts: 82000 | #Constraints: 104020
395.70/397.04 c #Conflicts: 83000 | #Constraints: 105020
395.70/397.04 c #Conflicts: 84000 | #Constraints: 106020
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 85000 | #Constraints: 101211
395.70/397.04 c #Conflicts: 86000 | #Constraints: 102211
395.70/397.04 c #Conflicts: 87000 | #Constraints: 103211
395.70/397.04 c #Conflicts: 88000 | #Constraints: 104211
395.70/397.04 c #Conflicts: 89000 | #Constraints: 105211
395.70/397.04 c #Conflicts: 90000 | #Constraints: 106211
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 91000 | #Constraints: 101200
395.70/397.04 c #Conflicts: 92000 | #Constraints: 102200
395.70/397.04 c #Conflicts: 93000 | #Constraints: 103200
395.70/397.04 c #Conflicts: 94000 | #Constraints: 104200
395.70/397.04 c #Conflicts: 95000 | #Constraints: 105200
395.70/397.04 c #Conflicts: 96000 | #Constraints: 106200
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 97000 | #Constraints: 101009
395.70/397.04 c #Conflicts: 98000 | #Constraints: 102009
395.70/397.04 c #Conflicts: 99000 | #Constraints: 103009
395.70/397.04 c #Conflicts: 100000 | #Constraints: 104009
395.70/397.04 c #Conflicts: 101000 | #Constraints: 105009
395.70/397.04 c #Conflicts: 102000 | #Constraints: 106009
395.70/397.04 c #Conflicts: 103000 | #Constraints: 107009
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 104000 | #Constraints: 101604
395.70/397.04 c #Conflicts: 105000 | #Constraints: 102604
395.70/397.04 c #Conflicts: 106000 | #Constraints: 103604
395.70/397.04 c #Conflicts: 107000 | #Constraints: 104604
395.70/397.04 c #Conflicts: 108000 | #Constraints: 105604
395.70/397.04 c #Conflicts: 109000 | #Constraints: 106604
395.70/397.04 c #Conflicts: 110000 | #Constraints: 107604
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 111000 | #Constraints: 102010
395.70/397.04 c #Conflicts: 112000 | #Constraints: 103010
395.70/397.04 c #Conflicts: 113000 | #Constraints: 104010
395.70/397.04 c #Conflicts: 114000 | #Constraints: 105010
395.70/397.04 c #Conflicts: 115000 | #Constraints: 106010
395.70/397.04 c #Conflicts: 116000 | #Constraints: 107010
395.70/397.04 c #Conflicts: 117000 | #Constraints: 108010
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 118000 | #Constraints: 102204
395.70/397.04 c #Conflicts: 119000 | #Constraints: 103204
395.70/397.04 c #Conflicts: 120000 | #Constraints: 104204
395.70/397.04 c #Conflicts: 121000 | #Constraints: 105204
395.70/397.04 c #Conflicts: 122000 | #Constraints: 106204
395.70/397.04 c #Conflicts: 123000 | #Constraints: 107204
395.70/397.04 c #Conflicts: 124000 | #Constraints: 108204
395.70/397.04 c INPROCESSING
395.70/397.04 c GARBAGE COLLECT
395.70/397.04 c #Conflicts: 125000 | #Constraints: 102214
395.70/397.04 c #Conflicts: 126000 | #Constraints: 103214
482.64/484.22 c #Conflicts: 127000 | #Constraints: 104214
482.64/484.22 c #Conflicts: 128000 | #Constraints: 105214
482.64/484.22 c #Conflicts: 129000 | #Constraints: 106214
482.64/484.22 c #Conflicts: 130000 | #Constraints: 107214
482.64/484.22 c #Conflicts: 131000 | #Constraints: 108214
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 132000 | #Constraints: 102002
482.64/484.22 c #Conflicts: 133000 | #Constraints: 103002
482.64/484.22 c #Conflicts: 134000 | #Constraints: 104002
482.64/484.22 c #Conflicts: 135000 | #Constraints: 105002
482.64/484.22 c #Conflicts: 136000 | #Constraints: 106002
482.64/484.22 c #Conflicts: 137000 | #Constraints: 107002
482.64/484.22 c #Conflicts: 138000 | #Constraints: 108002
482.64/484.22 c #Conflicts: 139000 | #Constraints: 109002
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 140000 | #Constraints: 102605
482.64/484.22 c #Conflicts: 141000 | #Constraints: 103605
482.64/484.22 c #Conflicts: 142000 | #Constraints: 104605
482.64/484.22 c #Conflicts: 143000 | #Constraints: 105605
482.64/484.22 c #Conflicts: 144000 | #Constraints: 106605
482.64/484.22 c #Conflicts: 145000 | #Constraints: 107605
482.64/484.22 c #Conflicts: 146000 | #Constraints: 108605
482.64/484.22 c #Conflicts: 147000 | #Constraints: 109605
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 148000 | #Constraints: 103035
482.64/484.22 c #Conflicts: 149000 | #Constraints: 104035
482.64/484.22 c #Conflicts: 150000 | #Constraints: 105035
482.64/484.22 c #Conflicts: 151000 | #Constraints: 106035
482.64/484.22 c #Conflicts: 152000 | #Constraints: 107035
482.64/484.22 c #Conflicts: 153000 | #Constraints: 108035
482.64/484.22 c #Conflicts: 154000 | #Constraints: 109035
482.64/484.22 c #Conflicts: 155000 | #Constraints: 110035
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 156000 | #Constraints: 103232
482.64/484.22 c #Conflicts: 157000 | #Constraints: 104232
482.64/484.22 c #Conflicts: 158000 | #Constraints: 105232
482.64/484.22 c #Conflicts: 159000 | #Constraints: 106232
482.64/484.22 c #Conflicts: 160000 | #Constraints: 107232
482.64/484.22 c #Conflicts: 161000 | #Constraints: 108232
482.64/484.22 c #Conflicts: 162000 | #Constraints: 109232
482.64/484.22 c #Conflicts: 163000 | #Constraints: 110232
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 164000 | #Constraints: 103225
482.64/484.22 c #Conflicts: 165000 | #Constraints: 104225
482.64/484.22 c #Conflicts: 166000 | #Constraints: 105225
482.64/484.22 c #Conflicts: 167000 | #Constraints: 106225
482.64/484.22 c #Conflicts: 168000 | #Constraints: 107225
482.64/484.22 c #Conflicts: 169000 | #Constraints: 108225
482.64/484.22 c #Conflicts: 170000 | #Constraints: 109225
482.64/484.22 c #Conflicts: 171000 | #Constraints: 110225
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 172000 | #Constraints: 103017
482.64/484.22 c #Conflicts: 173000 | #Constraints: 104017
482.64/484.22 c #Conflicts: 174000 | #Constraints: 105017
482.64/484.22 c #Conflicts: 175000 | #Constraints: 106017
482.64/484.22 c #Conflicts: 176000 | #Constraints: 107017
482.64/484.22 c #Conflicts: 177000 | #Constraints: 108017
482.64/484.22 c #Conflicts: 178000 | #Constraints: 109017
482.64/484.22 c #Conflicts: 179000 | #Constraints: 110017
482.64/484.22 c #Conflicts: 180000 | #Constraints: 111017
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 181000 | #Constraints: 103611
482.64/484.22 c #Conflicts: 182000 | #Constraints: 104611
482.64/484.22 c #Conflicts: 183000 | #Constraints: 105611
482.64/484.22 c #Conflicts: 184000 | #Constraints: 106611
482.64/484.22 c #Conflicts: 185000 | #Constraints: 107611
482.64/484.22 c #Conflicts: 186000 | #Constraints: 108611
482.64/484.22 c #Conflicts: 187000 | #Constraints: 109611
482.64/484.22 c #Conflicts: 188000 | #Constraints: 110611
482.64/484.22 c #Conflicts: 189000 | #Constraints: 111611
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 190000 | #Constraints: 104015
482.64/484.22 c #Conflicts: 191000 | #Constraints: 105015
482.64/484.22 c #Conflicts: 192000 | #Constraints: 106015
482.64/484.22 c #Conflicts: 193000 | #Constraints: 107015
482.64/484.22 c #Conflicts: 194000 | #Constraints: 108015
482.64/484.22 c #Conflicts: 195000 | #Constraints: 109015
482.64/484.22 c #Conflicts: 196000 | #Constraints: 110015
482.64/484.22 c #Conflicts: 197000 | #Constraints: 111015
482.64/484.22 c #Conflicts: 198000 | #Constraints: 112015
482.64/484.22 c INPROCESSING
482.64/484.22 c GARBAGE COLLECT
482.64/484.22 c #Conflicts: 199000 | #Constraints: 104216
580.56/582.49 c #Conflicts: 200000 | #Constraints: 105216
580.56/582.49 c #Conflicts: 201000 | #Constraints: 106216
580.56/582.49 c #Conflicts: 202000 | #Constraints: 107216
580.56/582.49 c #Conflicts: 203000 | #Constraints: 108216
580.56/582.49 c #Conflicts: 204000 | #Constraints: 109216
580.56/582.49 c #Conflicts: 205000 | #Constraints: 110216
580.56/582.49 c #Conflicts: 206000 | #Constraints: 111216
580.56/582.49 c #Conflicts: 207000 | #Constraints: 112216
580.56/582.49 c INPROCESSING
580.56/582.49 c GARBAGE COLLECT
580.56/582.49 c #Conflicts: 208000 | #Constraints: 104232
580.56/582.49 c #Conflicts: 209000 | #Constraints: 105232
580.56/582.49 c #Conflicts: 210000 | #Constraints: 106232
580.56/582.49 c #Conflicts: 211000 | #Constraints: 107232
580.56/582.49 c #Conflicts: 212000 | #Constraints: 108232
580.56/582.49 c #Conflicts: 213000 | #Constraints: 109232
580.56/582.49 c #Conflicts: 214000 | #Constraints: 110232
580.56/582.49 c #Conflicts: 215000 | #Constraints: 111232
580.56/582.49 c #Conflicts: 216000 | #Constraints: 112232
580.56/582.49 c INPROCESSING
580.56/582.49 c GARBAGE COLLECT
580.56/582.49 c #Conflicts: 217000 | #Constraints: 104023
580.56/582.49 c #Conflicts: 218000 | #Constraints: 105023
580.56/582.49 c #Conflicts: 219000 | #Constraints: 106023
580.56/582.49 c #Conflicts: 220000 | #Constraints: 107023
580.56/582.49 c #Conflicts: 221000 | #Constraints: 108023
580.56/582.49 c #Conflicts: 222000 | #Constraints: 109023
580.56/582.49 c #Conflicts: 223000 | #Constraints: 110023
580.56/582.49 c #Conflicts: 224000 | #Constraints: 111023
580.56/582.49 c #Conflicts: 225000 | #Constraints: 112023
580.56/582.49 c #Conflicts: 226000 | #Constraints: 113023
580.56/582.49 c INPROCESSING
580.56/582.49 c GARBAGE COLLECT
580.56/582.49 c #Conflicts: 227000 | #Constraints: 104636
580.56/582.49 c #Conflicts: 228000 | #Constraints: 105636
580.56/582.49 c #Conflicts: 229000 | #Constraints: 106636
580.56/582.49 c #Conflicts: 230000 | #Constraints: 107636
580.56/582.49 c #Conflicts: 231000 | #Constraints: 108636
580.56/582.49 c #Conflicts: 232000 | #Constraints: 109636
580.56/582.49 c #Conflicts: 233000 | #Constraints: 110636
580.56/582.49 c #Conflicts: 234000 | #Constraints: 111636
580.56/582.49 c #Conflicts: 235000 | #Constraints: 112636
580.56/582.49 c #Conflicts: 236000 | #Constraints: 113636
580.56/582.49 c INPROCESSING
580.56/582.49 c GARBAGE COLLECT
580.56/582.49 c #Conflicts: 237000 | #Constraints: 105028
580.56/582.49 c #Conflicts: 238000 | #Constraints: 106028
580.56/582.49 c #Conflicts: 239000 | #Constraints: 107028
580.56/582.49 c #Conflicts: 240000 | #Constraints: 108028
580.56/582.49 c #Conflicts: 241000 | #Constraints: 109028
580.56/582.49 c #Conflicts: 242000 | #Constraints: 110028
580.56/582.49 c #Conflicts: 243000 | #Constraints: 111028
580.56/582.49 c #Conflicts: 244000 | #Constraints: 112028
580.56/582.49 c #Conflicts: 245000 | #Constraints: 113028
580.56/582.49 c #Conflicts: 246000 | #Constraints: 114028
580.56/582.49 c INPROCESSING
580.56/582.49 c GARBAGE COLLECT
580.56/582.49 c #Conflicts: 247000 | #Constraints: 105222
580.56/582.49 c #Conflicts: 248000 | #Constraints: 106222
580.56/582.49 c #Conflicts: 249000 | #Constraints: 107222
580.56/582.49 c #Conflicts: 250000 | #Constraints: 108222
580.56/582.49 c #Conflicts: 251000 | #Constraints: 109222
580.56/582.49 c #Conflicts: 252000 | #Constraints: 110222
580.56/582.49 c #Conflicts: 253000 | #Constraints: 111222
580.56/582.49 c #Conflicts: 254000 | #Constraints: 112222
580.56/582.49 c #Conflicts: 255000 | #Constraints: 113222
580.56/582.49 c #Conflicts: 256000 | #Constraints: 114222
580.56/582.49 c INPROCESSING
580.56/582.49 c GARBAGE COLLECT
580.56/582.49 c #Conflicts: 257000 | #Constraints: 105226
580.56/582.49 c #Conflicts: 258000 | #Constraints: 106226
580.56/582.49 c #Conflicts: 259000 | #Constraints: 107226
580.56/582.49 c #Conflicts: 260000 | #Constraints: 108226
580.56/582.49 c #Conflicts: 261000 | #Constraints: 109226
580.56/582.49 c #Conflicts: 262000 | #Constraints: 110226
580.56/582.49 c #Conflicts: 263000 | #Constraints: 111226
580.56/582.49 c #Conflicts: 264000 | #Constraints: 112226
580.56/582.49 c #Conflicts: 265000 | #Constraints: 113226
580.56/582.49 c #Conflicts: 266000 | #Constraints: 114226
580.56/582.49 c INPROCESSING
580.56/582.49 c GARBAGE COLLECT
580.56/582.49 c #Conflicts: 267000 | #Constraints: 105027
580.56/582.49 c #Conflicts: 268000 | #Constraints: 106027
580.56/582.49 c #Conflicts: 269000 | #Constraints: 107027
580.56/582.49 c #Conflicts: 270000 | #Constraints: 108027
580.56/582.49 c #Conflicts: 271000 | #Constraints: 109027
580.56/582.49 c #Conflicts: 272000 | #Constraints: 110027
580.56/582.49 c #Conflicts: 273000 | #Constraints: 111027
698.63/700.86 c #Conflicts: 274000 | #Constraints: 112027
698.63/700.86 c #Conflicts: 275000 | #Constraints: 113027
698.63/700.86 c #Conflicts: 276000 | #Constraints: 114027
698.63/700.86 c #Conflicts: 277000 | #Constraints: 115027
698.63/700.86 c INPROCESSING
698.63/700.86 c GARBAGE COLLECT
698.63/700.86 c #Conflicts: 278000 | #Constraints: 105668
698.63/700.86 c #Conflicts: 279000 | #Constraints: 106668
698.63/700.86 c #Conflicts: 280000 | #Constraints: 107668
698.63/700.86 c #Conflicts: 281000 | #Constraints: 108668
698.63/700.86 c #Conflicts: 282000 | #Constraints: 109668
698.63/700.86 c #Conflicts: 283000 | #Constraints: 110668
698.63/700.86 c #Conflicts: 284000 | #Constraints: 111668
698.63/700.86 c #Conflicts: 285000 | #Constraints: 112668
698.63/700.86 c #Conflicts: 286000 | #Constraints: 113668
698.63/700.86 c #Conflicts: 287000 | #Constraints: 114668
698.63/700.86 c #Conflicts: 288000 | #Constraints: 115668
698.63/700.86 c INPROCESSING
698.63/700.86 c GARBAGE COLLECT
698.63/700.86 c #Conflicts: 289000 | #Constraints: 106048
698.63/700.86 c #Conflicts: 290000 | #Constraints: 107048
698.63/700.86 c #Conflicts: 291000 | #Constraints: 108048
698.63/700.86 c #Conflicts: 292000 | #Constraints: 109048
698.63/700.86 c #Conflicts: 293000 | #Constraints: 110048
698.63/700.86 c #Conflicts: 294000 | #Constraints: 111048
698.63/700.86 c #Conflicts: 295000 | #Constraints: 112048
698.63/700.86 c #Conflicts: 296000 | #Constraints: 113048
698.63/700.86 c #Conflicts: 297000 | #Constraints: 114048
698.63/700.86 c #Conflicts: 298000 | #Constraints: 115048
698.63/700.86 c #Conflicts: 299000 | #Constraints: 116048
698.63/700.86 c INPROCESSING
698.63/700.86 c GARBAGE COLLECT
698.63/700.86 c #Conflicts: 300000 | #Constraints: 106246
698.63/700.86 c #Conflicts: 301000 | #Constraints: 107246
698.63/700.86 c #Conflicts: 302000 | #Constraints: 108246
698.63/700.86 c #Conflicts: 303000 | #Constraints: 109246
698.63/700.86 c #Conflicts: 304000 | #Constraints: 110246
698.63/700.86 c #Conflicts: 305000 | #Constraints: 111246
698.63/700.86 c #Conflicts: 306000 | #Constraints: 112246
698.63/700.86 c #Conflicts: 307000 | #Constraints: 113246
698.63/700.86 c #Conflicts: 308000 | #Constraints: 114246
698.63/700.86 c #Conflicts: 309000 | #Constraints: 115246
698.63/700.86 c #Conflicts: 310000 | #Constraints: 116246
698.63/700.86 c INPROCESSING
698.63/700.86 c GARBAGE COLLECT
698.63/700.86 c #Conflicts: 311000 | #Constraints: 106242
698.63/700.86 c #Conflicts: 312000 | #Constraints: 107242
698.63/700.86 c #Conflicts: 313000 | #Constraints: 108242
698.63/700.86 c #Conflicts: 314000 | #Constraints: 109242
698.63/700.86 c #Conflicts: 315000 | #Constraints: 110242
698.63/700.86 c #Conflicts: 316000 | #Constraints: 111242
698.63/700.86 c #Conflicts: 317000 | #Constraints: 112242
698.63/700.86 c #Conflicts: 318000 | #Constraints: 113242
698.63/700.86 c #Conflicts: 319000 | #Constraints: 114242
698.63/700.86 c #Conflicts: 320000 | #Constraints: 115242
698.63/700.86 c #Conflicts: 321000 | #Constraints: 116242
698.63/700.86 c INPROCESSING
698.63/700.86 c GARBAGE COLLECT
698.63/700.86 c #Conflicts: 322000 | #Constraints: 106051
698.63/700.86 c #Conflicts: 323000 | #Constraints: 107051
698.63/700.86 c #Conflicts: 324000 | #Constraints: 108051
698.63/700.86 c #Conflicts: 325000 | #Constraints: 109051
698.63/700.86 c #Conflicts: 326000 | #Constraints: 110051
698.63/700.86 c #Conflicts: 327000 | #Constraints: 111051
698.63/700.86 c #Conflicts: 328000 | #Constraints: 112051
698.63/700.86 c #Conflicts: 329000 | #Constraints: 113051
698.63/700.86 c #Conflicts: 330000 | #Constraints: 114051
698.63/700.86 c #Conflicts: 331000 | #Constraints: 115051
698.63/700.86 c #Conflicts: 332000 | #Constraints: 116051
698.63/700.86 c #Conflicts: 333000 | #Constraints: 117051
698.63/700.86 c INPROCESSING
698.63/700.86 c GARBAGE COLLECT
698.63/700.86 c #Conflicts: 334000 | #Constraints: 106656
698.63/700.86 c #Conflicts: 335000 | #Constraints: 107656
698.63/700.86 c #Conflicts: 336000 | #Constraints: 108656
698.63/700.86 c #Conflicts: 337000 | #Constraints: 109656
698.63/700.86 c #Conflicts: 338000 | #Constraints: 110656
698.63/700.86 c #Conflicts: 339000 | #Constraints: 111656
698.63/700.86 c #Conflicts: 340000 | #Constraints: 112656
698.63/700.86 c #Conflicts: 341000 | #Constraints: 113656
698.63/700.86 c #Conflicts: 342000 | #Constraints: 114656
698.63/700.86 c #Conflicts: 343000 | #Constraints: 115656
698.63/700.86 c #Conflicts: 344000 | #Constraints: 116656
698.63/700.86 c #Conflicts: 345000 | #Constraints: 117656
698.63/700.86 c INPROCESSING
698.63/700.86 c GARBAGE COLLECT
698.63/700.86 c #Conflicts: 346000 | #Constraints: 107053
698.63/700.86 c #Conflicts: 347000 | #Constraints: 108053
698.63/700.86 c #Conflicts: 348000 | #Constraints: 109053
833.45/836.03 c #Conflicts: 349000 | #Constraints: 110053
833.45/836.03 c #Conflicts: 350000 | #Constraints: 111053
833.45/836.03 c #Conflicts: 351000 | #Constraints: 112053
833.45/836.03 c #Conflicts: 352000 | #Constraints: 113053
833.45/836.03 c #Conflicts: 353000 | #Constraints: 114053
833.45/836.03 c #Conflicts: 354000 | #Constraints: 115053
833.45/836.03 c #Conflicts: 355000 | #Constraints: 116053
833.45/836.03 c #Conflicts: 356000 | #Constraints: 117053
833.45/836.03 c #Conflicts: 357000 | #Constraints: 118053
833.45/836.03 c INPROCESSING
833.45/836.03 c GARBAGE COLLECT
833.45/836.03 c #Conflicts: 358000 | #Constraints: 107243
833.45/836.03 c #Conflicts: 359000 | #Constraints: 108243
833.45/836.03 c #Conflicts: 360000 | #Constraints: 109243
833.45/836.03 c #Conflicts: 361000 | #Constraints: 110243
833.45/836.03 c #Conflicts: 362000 | #Constraints: 111243
833.45/836.03 c #Conflicts: 363000 | #Constraints: 112243
833.45/836.03 c #Conflicts: 364000 | #Constraints: 113243
833.45/836.03 c #Conflicts: 365000 | #Constraints: 114243
833.45/836.03 c #Conflicts: 366000 | #Constraints: 115243
833.45/836.03 c #Conflicts: 367000 | #Constraints: 116243
833.45/836.03 c #Conflicts: 368000 | #Constraints: 117243
833.45/836.03 c #Conflicts: 369000 | #Constraints: 118243
833.45/836.03 c INPROCESSING
833.45/836.03 c GARBAGE COLLECT
833.45/836.03 c #Conflicts: 370000 | #Constraints: 107247
833.45/836.03 c #Conflicts: 371000 | #Constraints: 108247
833.45/836.03 c #Conflicts: 372000 | #Constraints: 109247
833.45/836.03 c #Conflicts: 373000 | #Constraints: 110247
833.45/836.03 c #Conflicts: 374000 | #Constraints: 111247
833.45/836.03 c #Conflicts: 375000 | #Constraints: 112247
833.45/836.03 c #Conflicts: 376000 | #Constraints: 113247
833.45/836.03 c #Conflicts: 377000 | #Constraints: 114247
833.45/836.03 c #Conflicts: 378000 | #Constraints: 115247
833.45/836.03 c #Conflicts: 379000 | #Constraints: 116247
833.45/836.03 c #Conflicts: 380000 | #Constraints: 117247
833.45/836.03 c #Conflicts: 381000 | #Constraints: 118247
833.45/836.03 c INPROCESSING
833.45/836.03 c GARBAGE COLLECT
833.45/836.03 c #Conflicts: 382000 | #Constraints: 107043
833.45/836.03 c #Conflicts: 383000 | #Constraints: 108043
833.45/836.03 c #Conflicts: 384000 | #Constraints: 109043
833.45/836.03 c #Conflicts: 385000 | #Constraints: 110043
833.45/836.03 c #Conflicts: 386000 | #Constraints: 111043
833.45/836.03 c #Conflicts: 387000 | #Constraints: 112043
833.45/836.03 c #Conflicts: 388000 | #Constraints: 113043
833.45/836.03 c #Conflicts: 389000 | #Constraints: 114043
833.45/836.03 c #Conflicts: 390000 | #Constraints: 115043
833.45/836.03 c #Conflicts: 391000 | #Constraints: 116043
833.45/836.03 c #Conflicts: 392000 | #Constraints: 117043
833.45/836.03 c #Conflicts: 393000 | #Constraints: 118043
833.45/836.03 c #Conflicts: 394000 | #Constraints: 119043
833.45/836.03 c INPROCESSING
833.45/836.03 c GARBAGE COLLECT
833.45/836.03 c #Conflicts: 395000 | #Constraints: 107622
833.45/836.03 c #Conflicts: 396000 | #Constraints: 108622
833.45/836.03 c #Conflicts: 397000 | #Constraints: 109622
833.45/836.03 c #Conflicts: 398000 | #Constraints: 110622
833.45/836.03 c #Conflicts: 399000 | #Constraints: 111622
833.45/836.03 c #Conflicts: 400000 | #Constraints: 112622
833.45/836.03 c #Conflicts: 401000 | #Constraints: 113622
833.45/836.03 c #Conflicts: 402000 | #Constraints: 114622
833.45/836.03 c #Conflicts: 403000 | #Constraints: 115622
833.45/836.03 c #Conflicts: 404000 | #Constraints: 116622
833.45/836.03 c #Conflicts: 405000 | #Constraints: 117622
833.45/836.03 c #Conflicts: 406000 | #Constraints: 118622
833.45/836.03 c #Conflicts: 407000 | #Constraints: 119622
833.45/836.03 c INPROCESSING
833.45/836.03 c GARBAGE COLLECT
833.45/836.03 c #Conflicts: 408000 | #Constraints: 108033
833.45/836.03 c #Conflicts: 409000 | #Constraints: 109033
833.45/836.03 c #Conflicts: 410000 | #Constraints: 110033
833.45/836.03 c #Conflicts: 411000 | #Constraints: 111033
833.45/836.03 c #Conflicts: 412000 | #Constraints: 112033
833.45/836.03 c #Conflicts: 413000 | #Constraints: 113033
833.45/836.03 c #Conflicts: 414000 | #Constraints: 114033
833.45/836.03 c #Conflicts: 415000 | #Constraints: 115033
833.45/836.03 c #Conflicts: 416000 | #Constraints: 116033
833.45/836.03 c #Conflicts: 417000 | #Constraints: 117033
833.45/836.03 c #Conflicts: 418000 | #Constraints: 118033
833.45/836.03 c #Conflicts: 419000 | #Constraints: 119033
833.45/836.03 c #Conflicts: 420000 | #Constraints: 120033
833.45/836.03 c INPROCESSING
833.45/836.03 c GARBAGE COLLECT
833.45/836.03 c #Conflicts: 421000 | #Constraints: 108244
833.45/836.03 c #Conflicts: 422000 | #Constraints: 109244
833.45/836.03 c #Conflicts: 423000 | #Constraints: 110244
967.87/970.87 c #Conflicts: 424000 | #Constraints: 111244
967.87/970.87 c #Conflicts: 425000 | #Constraints: 112244
967.87/970.87 c #Conflicts: 426000 | #Constraints: 113244
967.87/970.87 c #Conflicts: 427000 | #Constraints: 114244
967.87/970.87 c #Conflicts: 428000 | #Constraints: 115244
967.87/970.87 c #Conflicts: 429000 | #Constraints: 116244
967.87/970.87 c #Conflicts: 430000 | #Constraints: 117244
967.87/970.87 c #Conflicts: 431000 | #Constraints: 118244
967.87/970.87 c #Conflicts: 432000 | #Constraints: 119244
967.87/970.87 c #Conflicts: 433000 | #Constraints: 120244
967.87/970.87 c INPROCESSING
967.87/970.87 c GARBAGE COLLECT
967.87/970.87 c #Conflicts: 434000 | #Constraints: 108274
967.87/970.87 c #Conflicts: 435000 | #Constraints: 109274
967.87/970.87 c #Conflicts: 436000 | #Constraints: 110274
967.87/970.87 c #Conflicts: 437000 | #Constraints: 111274
967.87/970.87 c #Conflicts: 438000 | #Constraints: 112274
967.87/970.87 c #Conflicts: 439000 | #Constraints: 113274
967.87/970.87 c #Conflicts: 440000 | #Constraints: 114274
967.87/970.87 c #Conflicts: 441000 | #Constraints: 115274
967.87/970.87 c #Conflicts: 442000 | #Constraints: 116274
967.87/970.87 c #Conflicts: 443000 | #Constraints: 117274
967.87/970.87 c #Conflicts: 444000 | #Constraints: 118274
967.87/970.87 c #Conflicts: 445000 | #Constraints: 119274
967.87/970.87 c #Conflicts: 446000 | #Constraints: 120274
967.87/970.87 c INPROCESSING
967.87/970.87 c GARBAGE COLLECT
967.87/970.87 c #Conflicts: 447000 | #Constraints: 108078
967.87/970.87 c #Conflicts: 448000 | #Constraints: 109078
967.87/970.87 c #Conflicts: 449000 | #Constraints: 110078
967.87/970.87 c #Conflicts: 450000 | #Constraints: 111078
967.87/970.87 c #Conflicts: 451000 | #Constraints: 112078
967.87/970.87 c #Conflicts: 452000 | #Constraints: 113078
967.87/970.87 c #Conflicts: 453000 | #Constraints: 114078
967.87/970.87 c #Conflicts: 454000 | #Constraints: 115078
967.87/970.87 c #Conflicts: 455000 | #Constraints: 116078
967.87/970.87 c #Conflicts: 456000 | #Constraints: 117078
967.87/970.87 c #Conflicts: 457000 | #Constraints: 118078
967.87/970.87 c #Conflicts: 458000 | #Constraints: 119078
967.87/970.87 c #Conflicts: 459000 | #Constraints: 120078
967.87/970.87 c #Conflicts: 460000 | #Constraints: 121078
967.87/970.87 c INPROCESSING
967.87/970.87 c GARBAGE COLLECT
967.87/970.87 c #Conflicts: 461000 | #Constraints: 108667
967.87/970.87 c #Conflicts: 462000 | #Constraints: 109667
967.87/970.87 c #Conflicts: 463000 | #Constraints: 110667
967.87/970.87 c #Conflicts: 464000 | #Constraints: 111667
967.87/970.87 c #Conflicts: 465000 | #Constraints: 112667
967.87/970.87 c #Conflicts: 466000 | #Constraints: 113667
967.87/970.87 c #Conflicts: 467000 | #Constraints: 114667
967.87/970.87 c #Conflicts: 468000 | #Constraints: 115667
967.87/970.87 c #Conflicts: 469000 | #Constraints: 116667
967.87/970.87 c #Conflicts: 470000 | #Constraints: 117667
967.87/970.87 c #Conflicts: 471000 | #Constraints: 118667
967.87/970.87 c #Conflicts: 472000 | #Constraints: 119667
967.87/970.87 c #Conflicts: 473000 | #Constraints: 120667
967.87/970.87 c #Conflicts: 474000 | #Constraints: 121667
967.87/970.87 c INPROCESSING
967.87/970.87 c GARBAGE COLLECT
967.87/970.87 c #Conflicts: 475000 | #Constraints: 109067
967.87/970.87 c #Conflicts: 476000 | #Constraints: 110067
967.87/970.87 c #Conflicts: 477000 | #Constraints: 111067
967.87/970.87 c #Conflicts: 478000 | #Constraints: 112067
967.87/970.87 c #Conflicts: 479000 | #Constraints: 113067
967.87/970.87 c #Conflicts: 480000 | #Constraints: 114067
967.87/970.87 c #Conflicts: 481000 | #Constraints: 115067
967.87/970.87 c #Conflicts: 482000 | #Constraints: 116067
967.87/970.87 c #Conflicts: 483000 | #Constraints: 117067
967.87/970.87 c #Conflicts: 484000 | #Constraints: 118067
967.87/970.87 c #Conflicts: 485000 | #Constraints: 119067
967.87/970.87 c #Conflicts: 486000 | #Constraints: 120067
967.87/970.87 c #Conflicts: 487000 | #Constraints: 121067
967.87/970.87 c #Conflicts: 488000 | #Constraints: 122067
967.87/970.87 c INPROCESSING
967.87/970.87 c GARBAGE COLLECT
967.87/970.87 c #Conflicts: 489000 | #Constraints: 109277
967.87/970.87 c #Conflicts: 490000 | #Constraints: 110277
967.87/970.87 c #Conflicts: 491000 | #Constraints: 111277
967.87/970.87 c #Conflicts: 492000 | #Constraints: 112277
967.87/970.87 c #Conflicts: 493000 | #Constraints: 113277
967.87/970.87 c #Conflicts: 494000 | #Constraints: 114277
967.87/970.87 c #Conflicts: 495000 | #Constraints: 115277
967.87/970.87 c #Conflicts: 496000 | #Constraints: 116277
967.87/970.87 c #Conflicts: 497000 | #Constraints: 117277
967.87/970.87 c #Conflicts: 498000 | #Constraints: 118277
1144.45/1147.94 c #Conflicts: 499000 | #Constraints: 119277
1144.45/1147.94 c #Conflicts: 500000 | #Constraints: 120277
1144.45/1147.94 c #Conflicts: 501000 | #Constraints: 121277
1144.45/1147.94 c #Conflicts: 502000 | #Constraints: 122277
1144.45/1147.94 c INPROCESSING
1144.45/1147.94 c GARBAGE COLLECT
1144.45/1147.94 c #Conflicts: 503000 | #Constraints: 109261
1144.45/1147.94 c #Conflicts: 504000 | #Constraints: 110261
1144.45/1147.94 c #Conflicts: 505000 | #Constraints: 111261
1144.45/1147.94 c #Conflicts: 506000 | #Constraints: 112261
1144.45/1147.94 c #Conflicts: 507000 | #Constraints: 113261
1144.45/1147.94 c #Conflicts: 508000 | #Constraints: 114261
1144.45/1147.94 c #Conflicts: 509000 | #Constraints: 115261
1144.45/1147.94 c #Conflicts: 510000 | #Constraints: 116261
1144.45/1147.94 c #Conflicts: 511000 | #Constraints: 117261
1144.45/1147.94 c #Conflicts: 512000 | #Constraints: 118261
1144.45/1147.94 c #Conflicts: 513000 | #Constraints: 119261
1144.45/1147.94 c #Conflicts: 514000 | #Constraints: 120261
1144.45/1147.94 c #Conflicts: 515000 | #Constraints: 121261
1144.45/1147.94 c #Conflicts: 516000 | #Constraints: 122261
1144.45/1147.94 c INPROCESSING
1144.45/1147.94 c GARBAGE COLLECT
1144.45/1147.94 c #Conflicts: 517000 | #Constraints: 109055
1144.45/1147.94 c #Conflicts: 518000 | #Constraints: 110055
1144.45/1147.94 c #Conflicts: 519000 | #Constraints: 111055
1144.45/1147.94 c #Conflicts: 520000 | #Constraints: 112055
1144.45/1147.94 c #Conflicts: 521000 | #Constraints: 113055
1144.45/1147.94 c #Conflicts: 522000 | #Constraints: 114055
1144.45/1147.94 c #Conflicts: 523000 | #Constraints: 115055
1144.45/1147.94 c #Conflicts: 524000 | #Constraints: 116055
1144.45/1147.94 c #Conflicts: 525000 | #Constraints: 117055
1144.45/1147.94 c #Conflicts: 526000 | #Constraints: 118055
1144.45/1147.94 c #Conflicts: 527000 | #Constraints: 119055
1144.45/1147.94 c #Conflicts: 528000 | #Constraints: 120055
1144.45/1147.94 c #Conflicts: 529000 | #Constraints: 121055
1144.45/1147.94 c #Conflicts: 530000 | #Constraints: 122055
1144.45/1147.94 c #Conflicts: 531000 | #Constraints: 123055
1144.45/1147.94 c INPROCESSING
1144.45/1147.94 c GARBAGE COLLECT
1144.45/1147.94 c #Conflicts: 532000 | #Constraints: 109678
1144.45/1147.94 c #Conflicts: 533000 | #Constraints: 110678
1144.45/1147.94 c #Conflicts: 534000 | #Constraints: 111678
1144.45/1147.94 c #Conflicts: 535000 | #Constraints: 112678
1144.45/1147.94 c #Conflicts: 536000 | #Constraints: 113678
1144.45/1147.94 c #Conflicts: 537000 | #Constraints: 114678
1144.45/1147.94 c #Conflicts: 538000 | #Constraints: 115678
1144.45/1147.94 c #Conflicts: 539000 | #Constraints: 116678
1144.45/1147.94 c #Conflicts: 540000 | #Constraints: 117678
1144.45/1147.94 c #Conflicts: 541000 | #Constraints: 118678
1144.45/1147.94 c #Conflicts: 542000 | #Constraints: 119678
1144.45/1147.94 c #Conflicts: 543000 | #Constraints: 120678
1144.45/1147.94 c #Conflicts: 544000 | #Constraints: 121678
1144.45/1147.94 c #Conflicts: 545000 | #Constraints: 122678
1144.45/1147.94 c #Conflicts: 546000 | #Constraints: 123678
1144.45/1147.94 c INPROCESSING
1144.45/1147.94 c GARBAGE COLLECT
1144.45/1147.94 c #Conflicts: 547000 | #Constraints: 110073
1144.45/1147.94 c #Conflicts: 548000 | #Constraints: 111073
1144.45/1147.94 c #Conflicts: 549000 | #Constraints: 112073
1144.45/1147.94 c #Conflicts: 550000 | #Constraints: 113073
1144.45/1147.94 c #Conflicts: 551000 | #Constraints: 114073
1144.45/1147.94 c #Conflicts: 552000 | #Constraints: 115073
1144.45/1147.94 c #Conflicts: 553000 | #Constraints: 116073
1144.45/1147.94 c #Conflicts: 554000 | #Constraints: 117073
1144.45/1147.94 c #Conflicts: 555000 | #Constraints: 118073
1144.45/1147.94 c #Conflicts: 556000 | #Constraints: 119073
1144.45/1147.94 c #Conflicts: 557000 | #Constraints: 120073
1144.45/1147.94 c #Conflicts: 558000 | #Constraints: 121073
1144.45/1147.94 c #Conflicts: 559000 | #Constraints: 122073
1144.45/1147.94 c #Conflicts: 560000 | #Constraints: 123073
1144.45/1147.94 c #Conflicts: 561000 | #Constraints: 124073
1144.45/1147.94 c INPROCESSING
1144.45/1147.94 c GARBAGE COLLECT
1144.45/1147.94 c #Conflicts: 562000 | #Constraints: 110264
1144.45/1147.94 c #Conflicts: 563000 | #Constraints: 111264
1144.45/1147.94 c #Conflicts: 564000 | #Constraints: 112264
1144.45/1147.94 c #Conflicts: 565000 | #Constraints: 113264
1144.45/1147.94 c #Conflicts: 566000 | #Constraints: 114264
1144.45/1147.94 c #Conflicts: 567000 | #Constraints: 115264
1144.45/1147.94 c #Conflicts: 568000 | #Constraints: 116264
1144.45/1147.94 c #Conflicts: 569000 | #Constraints: 117264
1144.45/1147.94 c #Conflicts: 570000 | #Constraints: 118264
1144.45/1147.94 c #Conflicts: 571000 | #Constraints: 119264
1144.45/1147.94 c #Conflicts: 572000 | #Constraints: 120264
1144.45/1147.94 c #Conflicts: 573000 | #Constraints: 121264
1144.45/1147.94 c #Conflicts: 574000 | #Constraints: 122264
1325.82/1329.84 c #Conflicts: 575000 | #Constraints: 123264
1325.82/1329.84 c #Conflicts: 576000 | #Constraints: 124264
1325.82/1329.84 c INPROCESSING
1325.82/1329.84 c GARBAGE COLLECT
1325.82/1329.84 c #Conflicts: 577000 | #Constraints: 110247
1325.82/1329.84 c #Conflicts: 578000 | #Constraints: 111247
1325.82/1329.84 c #Conflicts: 579000 | #Constraints: 112247
1325.82/1329.84 c #Conflicts: 580000 | #Constraints: 113247
1325.82/1329.84 c #Conflicts: 581000 | #Constraints: 114247
1325.82/1329.84 c #Conflicts: 582000 | #Constraints: 115247
1325.82/1329.84 c #Conflicts: 583000 | #Constraints: 116247
1325.82/1329.84 c #Conflicts: 584000 | #Constraints: 117247
1325.82/1329.84 c #Conflicts: 585000 | #Constraints: 118247
1325.82/1329.84 c #Conflicts: 586000 | #Constraints: 119247
1325.82/1329.84 c #Conflicts: 587000 | #Constraints: 120247
1325.82/1329.84 c #Conflicts: 588000 | #Constraints: 121247
1325.82/1329.84 c #Conflicts: 589000 | #Constraints: 122247
1325.82/1329.84 c #Conflicts: 590000 | #Constraints: 123247
1325.82/1329.84 c #Conflicts: 591000 | #Constraints: 124247
1325.82/1329.84 c INPROCESSING
1325.82/1329.84 c GARBAGE COLLECT
1325.82/1329.84 c #Conflicts: 592000 | #Constraints: 110049
1325.82/1329.84 c #Conflicts: 593000 | #Constraints: 111049
1325.82/1329.84 c #Conflicts: 594000 | #Constraints: 112049
1325.82/1329.84 c #Conflicts: 595000 | #Constraints: 113049
1325.82/1329.84 c #Conflicts: 596000 | #Constraints: 114049
1325.82/1329.84 c #Conflicts: 597000 | #Constraints: 115049
1325.82/1329.84 c #Conflicts: 598000 | #Constraints: 116049
1325.82/1329.84 c #Conflicts: 599000 | #Constraints: 117049
1325.82/1329.84 c #Conflicts: 600000 | #Constraints: 118049
1325.82/1329.84 c #Conflicts: 601000 | #Constraints: 119049
1325.82/1329.84 c #Conflicts: 602000 | #Constraints: 120049
1325.82/1329.84 c #Conflicts: 603000 | #Constraints: 121049
1325.82/1329.84 c #Conflicts: 604000 | #Constraints: 122049
1325.82/1329.84 c #Conflicts: 605000 | #Constraints: 123049
1325.82/1329.84 c #Conflicts: 606000 | #Constraints: 124049
1325.82/1329.84 c #Conflicts: 607000 | #Constraints: 125049
1325.82/1329.84 c INPROCESSING
1325.82/1329.84 c GARBAGE COLLECT
1325.82/1329.84 c #Conflicts: 608000 | #Constraints: 110625
1325.82/1329.84 c #Conflicts: 609000 | #Constraints: 111625
1325.82/1329.84 c #Conflicts: 610000 | #Constraints: 112625
1325.82/1329.84 c #Conflicts: 611000 | #Constraints: 113625
1325.82/1329.84 c #Conflicts: 612000 | #Constraints: 114625
1325.82/1329.84 c #Conflicts: 613000 | #Constraints: 115625
1325.82/1329.84 c #Conflicts: 614000 | #Constraints: 116625
1325.82/1329.84 c #Conflicts: 615000 | #Constraints: 117625
1325.82/1329.84 c #Conflicts: 616000 | #Constraints: 118625
1325.82/1329.84 c #Conflicts: 617000 | #Constraints: 119625
1325.82/1329.84 c #Conflicts: 618000 | #Constraints: 120625
1325.82/1329.84 c #Conflicts: 619000 | #Constraints: 121625
1325.82/1329.84 c #Conflicts: 620000 | #Constraints: 122625
1325.82/1329.84 c #Conflicts: 621000 | #Constraints: 123625
1325.82/1329.84 c #Conflicts: 622000 | #Constraints: 124625
1325.82/1329.84 c #Conflicts: 623000 | #Constraints: 125625
1325.82/1329.84 c INPROCESSING
1325.82/1329.84 c GARBAGE COLLECT
1325.82/1329.84 c #Conflicts: 624000 | #Constraints: 111039
1325.82/1329.84 c #Conflicts: 625000 | #Constraints: 112039
1325.82/1329.84 c #Conflicts: 626000 | #Constraints: 113039
1325.82/1329.84 c #Conflicts: 627000 | #Constraints: 114039
1325.82/1329.84 c #Conflicts: 628000 | #Constraints: 115039
1325.82/1329.84 c #Conflicts: 629000 | #Constraints: 116039
1325.82/1329.84 c #Conflicts: 630000 | #Constraints: 117039
1325.82/1329.84 c #Conflicts: 631000 | #Constraints: 118039
1325.82/1329.84 c #Conflicts: 632000 | #Constraints: 119039
1325.82/1329.84 c #Conflicts: 633000 | #Constraints: 120039
1325.82/1329.84 c #Conflicts: 634000 | #Constraints: 121039
1325.82/1329.84 c #Conflicts: 635000 | #Constraints: 122039
1325.82/1329.84 c #Conflicts: 636000 | #Constraints: 123039
1325.82/1329.84 c #Conflicts: 637000 | #Constraints: 124039
1325.82/1329.84 c #Conflicts: 638000 | #Constraints: 125039
1325.82/1329.84 c #Conflicts: 639000 | #Constraints: 126039
1325.82/1329.84 c INPROCESSING
1325.82/1329.84 c GARBAGE COLLECT
1325.82/1329.84 c #Conflicts: 640000 | #Constraints: 111213
1325.82/1329.84 c #Conflicts: 641000 | #Constraints: 112213
1325.82/1329.84 c #Conflicts: 642000 | #Constraints: 113213
1325.82/1329.84 c #Conflicts: 643000 | #Constraints: 114213
1325.82/1329.84 c #Conflicts: 644000 | #Constraints: 115213
1325.82/1329.84 c #Conflicts: 645000 | #Constraints: 116213
1325.82/1329.84 c #Conflicts: 646000 | #Constraints: 117213
1325.82/1329.84 c #Conflicts: 647000 | #Constraints: 118213
1325.82/1329.84 c #Conflicts: 648000 | #Constraints: 119213
1325.82/1329.84 c #Conflicts: 649000 | #Constraints: 120213
1521.46/1526.05 c #Conflicts: 650000 | #Constraints: 121213
1521.46/1526.05 c #Conflicts: 651000 | #Constraints: 122213
1521.46/1526.05 c #Conflicts: 652000 | #Constraints: 123213
1521.46/1526.05 c #Conflicts: 653000 | #Constraints: 124213
1521.46/1526.05 c #Conflicts: 654000 | #Constraints: 125213
1521.46/1526.05 c #Conflicts: 655000 | #Constraints: 126213
1521.46/1526.05 c INPROCESSING
1521.46/1526.05 c GARBAGE COLLECT
1521.46/1526.05 c #Conflicts: 656000 | #Constraints: 111242
1521.46/1526.05 c #Conflicts: 657000 | #Constraints: 112242
1521.46/1526.05 c #Conflicts: 658000 | #Constraints: 113242
1521.46/1526.05 c #Conflicts: 659000 | #Constraints: 114242
1521.46/1526.05 c #Conflicts: 660000 | #Constraints: 115242
1521.46/1526.05 c #Conflicts: 661000 | #Constraints: 116242
1521.46/1526.05 c #Conflicts: 662000 | #Constraints: 117242
1521.46/1526.05 c #Conflicts: 663000 | #Constraints: 118242
1521.46/1526.05 c #Conflicts: 664000 | #Constraints: 119242
1521.46/1526.05 c #Conflicts: 665000 | #Constraints: 120242
1521.46/1526.05 c #Conflicts: 666000 | #Constraints: 121242
1521.46/1526.05 c #Conflicts: 667000 | #Constraints: 122242
1521.46/1526.05 c #Conflicts: 668000 | #Constraints: 123242
1521.46/1526.05 c #Conflicts: 669000 | #Constraints: 124242
1521.46/1526.05 c #Conflicts: 670000 | #Constraints: 125242
1521.46/1526.05 c #Conflicts: 671000 | #Constraints: 126242
1521.46/1526.05 c INPROCESSING
1521.46/1526.05 c GARBAGE COLLECT
1521.46/1526.05 c #Conflicts: 672000 | #Constraints: 111056
1521.46/1526.05 c #Conflicts: 673000 | #Constraints: 112056
1521.46/1526.05 c #Conflicts: 674000 | #Constraints: 113056
1521.46/1526.05 c #Conflicts: 675000 | #Constraints: 114056
1521.46/1526.05 c #Conflicts: 676000 | #Constraints: 115056
1521.46/1526.05 c #Conflicts: 677000 | #Constraints: 116056
1521.46/1526.05 c #Conflicts: 678000 | #Constraints: 117056
1521.46/1526.05 c #Conflicts: 679000 | #Constraints: 118056
1521.46/1526.05 c #Conflicts: 680000 | #Constraints: 119056
1521.46/1526.05 c #Conflicts: 681000 | #Constraints: 120056
1521.46/1526.05 c #Conflicts: 682000 | #Constraints: 121056
1521.46/1526.05 c #Conflicts: 683000 | #Constraints: 122056
1521.46/1526.05 c #Conflicts: 684000 | #Constraints: 123056
1521.46/1526.05 c #Conflicts: 685000 | #Constraints: 124056
1521.46/1526.05 c #Conflicts: 686000 | #Constraints: 125056
1521.46/1526.05 c #Conflicts: 687000 | #Constraints: 126056
1521.46/1526.05 c #Conflicts: 688000 | #Constraints: 127056
1521.46/1526.05 c INPROCESSING
1521.46/1526.05 c GARBAGE COLLECT
1521.46/1526.05 c #Conflicts: 689000 | #Constraints: 111650
1521.46/1526.05 c #Conflicts: 690000 | #Constraints: 112650
1521.46/1526.05 c #Conflicts: 691000 | #Constraints: 113650
1521.46/1526.05 c #Conflicts: 692000 | #Constraints: 114650
1521.46/1526.05 c #Conflicts: 693000 | #Constraints: 115650
1521.46/1526.05 c #Conflicts: 694000 | #Constraints: 116650
1521.46/1526.05 c #Conflicts: 695000 | #Constraints: 117650
1521.46/1526.05 c #Conflicts: 696000 | #Constraints: 118650
1521.46/1526.05 c #Conflicts: 697000 | #Constraints: 119650
1521.46/1526.05 c #Conflicts: 698000 | #Constraints: 120650
1521.46/1526.05 c #Conflicts: 699000 | #Constraints: 121650
1521.46/1526.05 c #Conflicts: 700000 | #Constraints: 122650
1521.46/1526.05 c #Conflicts: 701000 | #Constraints: 123650
1521.46/1526.05 c #Conflicts: 702000 | #Constraints: 124650
1521.46/1526.05 c #Conflicts: 703000 | #Constraints: 125650
1521.46/1526.05 c #Conflicts: 704000 | #Constraints: 126650
1521.46/1526.05 c #Conflicts: 705000 | #Constraints: 127650
1521.46/1526.05 c INPROCESSING
1521.46/1526.05 c GARBAGE COLLECT
1521.46/1526.05 c #Conflicts: 706000 | #Constraints: 112053
1521.46/1526.05 c #Conflicts: 707000 | #Constraints: 113053
1521.46/1526.05 c #Conflicts: 708000 | #Constraints: 114053
1521.46/1526.05 c #Conflicts: 709000 | #Constraints: 115053
1521.46/1526.05 c #Conflicts: 710000 | #Constraints: 116053
1521.46/1526.05 c #Conflicts: 711000 | #Constraints: 117053
1521.46/1526.05 c #Conflicts: 712000 | #Constraints: 118053
1521.46/1526.05 c #Conflicts: 713000 | #Constraints: 119053
1521.46/1526.05 c #Conflicts: 714000 | #Constraints: 120053
1521.46/1526.05 c #Conflicts: 715000 | #Constraints: 121053
1521.46/1526.05 c #Conflicts: 716000 | #Constraints: 122053
1521.46/1526.05 c #Conflicts: 717000 | #Constraints: 123053
1521.46/1526.05 c #Conflicts: 718000 | #Constraints: 124053
1521.46/1526.05 c #Conflicts: 719000 | #Constraints: 125053
1521.46/1526.05 c #Conflicts: 720000 | #Constraints: 126053
1521.46/1526.05 c #Conflicts: 721000 | #Constraints: 127053
1521.46/1526.05 c #Conflicts: 722000 | #Constraints: 128053
1521.46/1526.05 c INPROCESSING
1521.46/1526.05 c GARBAGE COLLECT
1521.46/1526.05 c #Conflicts: 723000 | #Constraints: 112283
1521.46/1526.05 c #Conflicts: 724000 | #Constraints: 113283
1521.46/1526.05 c #Conflicts: 725000 | #Constraints: 114283
1728.76/1733.92 c #Conflicts: 726000 | #Constraints: 115283
1728.76/1733.92 c #Conflicts: 727000 | #Constraints: 116283
1728.76/1733.92 c #Conflicts: 728000 | #Constraints: 117283
1728.76/1733.92 c #Conflicts: 729000 | #Constraints: 118283
1728.76/1733.92 c #Conflicts: 730000 | #Constraints: 119283
1728.76/1733.92 c #Conflicts: 731000 | #Constraints: 120283
1728.76/1733.92 c #Conflicts: 732000 | #Constraints: 121283
1728.76/1733.92 c #Conflicts: 733000 | #Constraints: 122283
1728.76/1733.92 c #Conflicts: 734000 | #Constraints: 123283
1728.76/1733.92 c #Conflicts: 735000 | #Constraints: 124283
1728.76/1733.92 c #Conflicts: 736000 | #Constraints: 125283
1728.76/1733.92 c #Conflicts: 737000 | #Constraints: 126283
1728.76/1733.92 c #Conflicts: 738000 | #Constraints: 127283
1728.76/1733.92 c #Conflicts: 739000 | #Constraints: 128283
1728.76/1733.92 c INPROCESSING
1728.76/1733.92 c GARBAGE COLLECT
1728.76/1733.92 c #Conflicts: 740000 | #Constraints: 112255
1728.76/1733.92 c #Conflicts: 741000 | #Constraints: 113255
1728.76/1733.92 c #Conflicts: 742000 | #Constraints: 114255
1728.76/1733.92 c #Conflicts: 743000 | #Constraints: 115255
1728.76/1733.92 c #Conflicts: 744000 | #Constraints: 116255
1728.76/1733.92 c #Conflicts: 745000 | #Constraints: 117255
1728.76/1733.92 c #Conflicts: 746000 | #Constraints: 118255
1728.76/1733.92 c #Conflicts: 747000 | #Constraints: 119255
1728.76/1733.92 c #Conflicts: 748000 | #Constraints: 120255
1728.76/1733.92 c #Conflicts: 749000 | #Constraints: 121255
1728.76/1733.92 c #Conflicts: 750000 | #Constraints: 122255
1728.76/1733.92 c #Conflicts: 751000 | #Constraints: 123255
1728.76/1733.92 c #Conflicts: 752000 | #Constraints: 124255
1728.76/1733.92 c #Conflicts: 753000 | #Constraints: 125255
1728.76/1733.92 c #Conflicts: 754000 | #Constraints: 126255
1728.76/1733.92 c #Conflicts: 755000 | #Constraints: 127255
1728.76/1733.92 c #Conflicts: 756000 | #Constraints: 128255
1728.76/1733.92 c INPROCESSING
1728.76/1733.92 c GARBAGE COLLECT
1728.76/1733.92 c #Conflicts: 757000 | #Constraints: 112070
1728.76/1733.92 c #Conflicts: 758000 | #Constraints: 113070
1728.76/1733.92 c #Conflicts: 759000 | #Constraints: 114070
1728.76/1733.92 c #Conflicts: 760000 | #Constraints: 115070
1728.76/1733.92 c #Conflicts: 761000 | #Constraints: 116070
1728.76/1733.92 c #Conflicts: 762000 | #Constraints: 117070
1728.76/1733.92 c #Conflicts: 763000 | #Constraints: 118070
1728.76/1733.92 c #Conflicts: 764000 | #Constraints: 119070
1728.76/1733.92 c #Conflicts: 765000 | #Constraints: 120070
1728.76/1733.92 c #Conflicts: 766000 | #Constraints: 121070
1728.76/1733.92 c #Conflicts: 767000 | #Constraints: 122070
1728.76/1733.92 c #Conflicts: 768000 | #Constraints: 123070
1728.76/1733.92 c #Conflicts: 769000 | #Constraints: 124070
1728.76/1733.92 c #Conflicts: 770000 | #Constraints: 125070
1728.76/1733.92 c #Conflicts: 771000 | #Constraints: 126070
1728.76/1733.92 c #Conflicts: 772000 | #Constraints: 127070
1728.76/1733.92 c #Conflicts: 773000 | #Constraints: 128070
1728.76/1733.92 c #Conflicts: 774000 | #Constraints: 129070
1728.76/1733.92 c INPROCESSING
1728.76/1733.92 c GARBAGE COLLECT
1728.76/1733.92 c #Conflicts: 775000 | #Constraints: 112662
1728.76/1733.92 c #Conflicts: 776000 | #Constraints: 113662
1728.76/1733.92 c #Conflicts: 777000 | #Constraints: 114662
1728.76/1733.92 c #Conflicts: 778000 | #Constraints: 115662
1728.76/1733.92 c #Conflicts: 779000 | #Constraints: 116662
1728.76/1733.92 c #Conflicts: 780000 | #Constraints: 117662
1728.76/1733.92 c #Conflicts: 781000 | #Constraints: 118662
1728.76/1733.92 c #Conflicts: 782000 | #Constraints: 119662
1728.76/1733.92 c #Conflicts: 783000 | #Constraints: 120662
1728.76/1733.92 c #Conflicts: 784000 | #Constraints: 121662
1728.76/1733.92 c #Conflicts: 785000 | #Constraints: 122662
1728.76/1733.92 c #Conflicts: 786000 | #Constraints: 123662
1728.76/1733.92 c #Conflicts: 787000 | #Constraints: 124662
1728.76/1733.92 c #Conflicts: 788000 | #Constraints: 125662
1728.76/1733.92 c #Conflicts: 789000 | #Constraints: 126662
1728.76/1733.92 c #Conflicts: 790000 | #Constraints: 127662
1728.76/1733.92 c #Conflicts: 791000 | #Constraints: 128662
1728.76/1733.92 c #Conflicts: 792000 | #Constraints: 129662
1728.76/1733.92 c INPROCESSING
1728.76/1733.92 c GARBAGE COLLECT
1728.76/1733.92 c #Conflicts: 793000 | #Constraints: 113108
1728.76/1733.92 c #Conflicts: 794000 | #Constraints: 114108
1728.76/1733.92 c #Conflicts: 795000 | #Constraints: 115108
1728.76/1733.92 c #Conflicts: 796000 | #Constraints: 116108
1728.76/1733.92 c #Conflicts: 797000 | #Constraints: 117108
1728.76/1733.92 c #Conflicts: 798000 | #Constraints: 118108
1728.76/1733.92 c #Conflicts: 799000 | #Constraints: 119108
1728.76/1733.92 c #Conflicts: 800000 | #Constraints: 120108
1728.76/1733.92 c #Conflicts: 801000 | #Constraints: 121108
1951.02/1956.80 c #Conflicts: 802000 | #Constraints: 122108
1951.02/1956.80 c #Conflicts: 803000 | #Constraints: 123108
1951.02/1956.80 c #Conflicts: 804000 | #Constraints: 124108
1951.02/1956.80 c #Conflicts: 805000 | #Constraints: 125108
1951.02/1956.80 c #Conflicts: 806000 | #Constraints: 126108
1951.02/1956.80 c #Conflicts: 807000 | #Constraints: 127108
1951.02/1956.80 c #Conflicts: 808000 | #Constraints: 128108
1951.02/1956.80 c #Conflicts: 809000 | #Constraints: 129108
1951.02/1956.80 c #Conflicts: 810000 | #Constraints: 130108
1951.02/1956.80 c INPROCESSING
1951.02/1956.80 c GARBAGE COLLECT
1951.02/1956.80 c #Conflicts: 811000 | #Constraints: 113294
1951.02/1956.80 c #Conflicts: 812000 | #Constraints: 114294
1951.02/1956.80 c #Conflicts: 813000 | #Constraints: 115294
1951.02/1956.80 c #Conflicts: 814000 | #Constraints: 116294
1951.02/1956.80 c #Conflicts: 815000 | #Constraints: 117294
1951.02/1956.80 c #Conflicts: 816000 | #Constraints: 118294
1951.02/1956.80 c #Conflicts: 817000 | #Constraints: 119294
1951.02/1956.80 c #Conflicts: 818000 | #Constraints: 120294
1951.02/1956.80 c #Conflicts: 819000 | #Constraints: 121294
1951.02/1956.80 c #Conflicts: 820000 | #Constraints: 122294
1951.02/1956.80 c #Conflicts: 821000 | #Constraints: 123294
1951.02/1956.80 c #Conflicts: 822000 | #Constraints: 124294
1951.02/1956.80 c #Conflicts: 823000 | #Constraints: 125294
1951.02/1956.80 c #Conflicts: 824000 | #Constraints: 126294
1951.02/1956.80 c #Conflicts: 825000 | #Constraints: 127294
1951.02/1956.80 c #Conflicts: 826000 | #Constraints: 128294
1951.02/1956.80 c #Conflicts: 827000 | #Constraints: 129294
1951.02/1956.80 c #Conflicts: 828000 | #Constraints: 130294
1951.02/1956.80 c INPROCESSING
1951.02/1956.80 c GARBAGE COLLECT
1951.02/1956.80 c #Conflicts: 829000 | #Constraints: 113284
1951.02/1956.80 c #Conflicts: 830000 | #Constraints: 114284
1951.02/1956.80 c #Conflicts: 831000 | #Constraints: 115284
1951.02/1956.80 c #Conflicts: 832000 | #Constraints: 116284
1951.02/1956.80 c #Conflicts: 833000 | #Constraints: 117284
1951.02/1956.80 c #Conflicts: 834000 | #Constraints: 118284
1951.02/1956.80 c #Conflicts: 835000 | #Constraints: 119284
1951.02/1956.80 c #Conflicts: 836000 | #Constraints: 120284
1951.02/1956.80 c #Conflicts: 837000 | #Constraints: 121284
1951.02/1956.80 c #Conflicts: 838000 | #Constraints: 122284
1951.02/1956.80 c #Conflicts: 839000 | #Constraints: 123284
1951.02/1956.80 c #Conflicts: 840000 | #Constraints: 124284
1951.02/1956.80 c #Conflicts: 841000 | #Constraints: 125284
1951.02/1956.80 c #Conflicts: 842000 | #Constraints: 126284
1951.02/1956.80 c #Conflicts: 843000 | #Constraints: 127284
1951.02/1956.80 c #Conflicts: 844000 | #Constraints: 128284
1951.02/1956.80 c #Conflicts: 845000 | #Constraints: 129284
1951.02/1956.80 c #Conflicts: 846000 | #Constraints: 130284
1951.02/1956.80 c INPROCESSING
1951.02/1956.80 c GARBAGE COLLECT
1951.02/1956.80 c #Conflicts: 847000 | #Constraints: 113068
1951.02/1956.80 c #Conflicts: 848000 | #Constraints: 114068
1951.02/1956.80 c #Conflicts: 849000 | #Constraints: 115068
1951.02/1956.80 c #Conflicts: 850000 | #Constraints: 116068
1951.02/1956.80 c #Conflicts: 851000 | #Constraints: 117068
1951.02/1956.80 c #Conflicts: 852000 | #Constraints: 118068
1951.02/1956.80 c #Conflicts: 853000 | #Constraints: 119068
1951.02/1956.80 c #Conflicts: 854000 | #Constraints: 120068
1951.02/1956.80 c #Conflicts: 855000 | #Constraints: 121068
1951.02/1956.80 c #Conflicts: 856000 | #Constraints: 122068
1951.02/1956.80 c #Conflicts: 857000 | #Constraints: 123068
1951.02/1956.80 c #Conflicts: 858000 | #Constraints: 124068
1951.02/1956.80 c #Conflicts: 859000 | #Constraints: 125068
1951.02/1956.80 c #Conflicts: 860000 | #Constraints: 126068
1951.02/1956.80 c #Conflicts: 861000 | #Constraints: 127068
1951.02/1956.80 c #Conflicts: 862000 | #Constraints: 128068
1951.02/1956.80 c #Conflicts: 863000 | #Constraints: 129068
1951.02/1956.80 c #Conflicts: 864000 | #Constraints: 130068
1951.02/1956.80 c #Conflicts: 865000 | #Constraints: 131068
1951.02/1956.80 c INPROCESSING
1951.02/1956.80 c GARBAGE COLLECT
1951.02/1956.80 c #Conflicts: 866000 | #Constraints: 113676
1951.02/1956.80 c #Conflicts: 867000 | #Constraints: 114676
1951.02/1956.80 c #Conflicts: 868000 | #Constraints: 115676
1951.02/1956.80 c #Conflicts: 869000 | #Constraints: 116676
1951.02/1956.80 c #Conflicts: 870000 | #Constraints: 117676
1951.02/1956.80 c #Conflicts: 871000 | #Constraints: 118676
1951.02/1956.80 c #Conflicts: 872000 | #Constraints: 119676
1951.02/1956.80 c #Conflicts: 873000 | #Constraints: 120676
1951.02/1956.80 c #Conflicts: 874000 | #Constraints: 121676
1951.02/1956.80 c #Conflicts: 875000 | #Constraints: 122676
1951.02/1956.80 c #Conflicts: 876000 | #Constraints: 123676
1951.02/1956.80 c #Conflicts: 877000 | #Constraints: 124676
2184.05/2190.52 c #Conflicts: 878000 | #Constraints: 125676
2184.05/2190.52 c #Conflicts: 879000 | #Constraints: 126676
2184.05/2190.52 c #Conflicts: 880000 | #Constraints: 127676
2184.05/2190.52 c #Conflicts: 881000 | #Constraints: 128676
2184.05/2190.52 c #Conflicts: 882000 | #Constraints: 129676
2184.05/2190.52 c #Conflicts: 883000 | #Constraints: 130676
2184.05/2190.52 c #Conflicts: 884000 | #Constraints: 131676
2184.05/2190.52 c INPROCESSING
2184.05/2190.52 c GARBAGE COLLECT
2184.05/2190.52 c #Conflicts: 885000 | #Constraints: 114069
2184.05/2190.52 c #Conflicts: 886000 | #Constraints: 115069
2184.05/2190.52 c #Conflicts: 887000 | #Constraints: 116069
2184.05/2190.52 c #Conflicts: 888000 | #Constraints: 117069
2184.05/2190.52 c #Conflicts: 889000 | #Constraints: 118069
2184.05/2190.52 c #Conflicts: 890000 | #Constraints: 119069
2184.05/2190.52 c #Conflicts: 891000 | #Constraints: 120069
2184.05/2190.52 c #Conflicts: 892000 | #Constraints: 121069
2184.05/2190.52 c #Conflicts: 893000 | #Constraints: 122069
2184.05/2190.52 c #Conflicts: 894000 | #Constraints: 123069
2184.05/2190.52 c #Conflicts: 895000 | #Constraints: 124069
2184.05/2190.52 c #Conflicts: 896000 | #Constraints: 125069
2184.05/2190.52 c #Conflicts: 897000 | #Constraints: 126069
2184.05/2190.52 c #Conflicts: 898000 | #Constraints: 127069
2184.05/2190.52 c #Conflicts: 899000 | #Constraints: 128069
2184.05/2190.52 c #Conflicts: 900000 | #Constraints: 129069
2184.05/2190.52 c #Conflicts: 901000 | #Constraints: 130069
2184.05/2190.52 c #Conflicts: 902000 | #Constraints: 131069
2184.05/2190.52 c #Conflicts: 903000 | #Constraints: 132069
2184.05/2190.52 c INPROCESSING
2184.05/2190.52 c GARBAGE COLLECT
2184.05/2190.52 c #Conflicts: 904000 | #Constraints: 114261
2184.05/2190.52 c #Conflicts: 905000 | #Constraints: 115261
2184.05/2190.52 c #Conflicts: 906000 | #Constraints: 116261
2184.05/2190.52 c #Conflicts: 907000 | #Constraints: 117261
2184.05/2190.52 c #Conflicts: 908000 | #Constraints: 118261
2184.05/2190.52 c #Conflicts: 909000 | #Constraints: 119261
2184.05/2190.52 c #Conflicts: 910000 | #Constraints: 120261
2184.05/2190.52 c #Conflicts: 911000 | #Constraints: 121261
2184.05/2190.52 c #Conflicts: 912000 | #Constraints: 122261
2184.05/2190.52 c #Conflicts: 913000 | #Constraints: 123261
2184.05/2190.52 c #Conflicts: 914000 | #Constraints: 124261
2184.05/2190.52 c #Conflicts: 915000 | #Constraints: 125261
2184.05/2190.52 c #Conflicts: 916000 | #Constraints: 126261
2184.05/2190.52 c #Conflicts: 917000 | #Constraints: 127261
2184.05/2190.52 c #Conflicts: 918000 | #Constraints: 128261
2184.05/2190.52 c #Conflicts: 919000 | #Constraints: 129261
2184.05/2190.52 c #Conflicts: 920000 | #Constraints: 130261
2184.05/2190.52 c #Conflicts: 921000 | #Constraints: 131261
2184.05/2190.52 c #Conflicts: 922000 | #Constraints: 132261
2184.05/2190.52 c INPROCESSING
2184.05/2190.52 c GARBAGE COLLECT
2184.05/2190.52 c #Conflicts: 923000 | #Constraints: 114280
2184.05/2190.52 c #Conflicts: 924000 | #Constraints: 115280
2184.05/2190.52 c #Conflicts: 925000 | #Constraints: 116280
2184.05/2190.52 c #Conflicts: 926000 | #Constraints: 117280
2184.05/2190.52 c #Conflicts: 927000 | #Constraints: 118280
2184.05/2190.52 c #Conflicts: 928000 | #Constraints: 119280
2184.05/2190.52 c #Conflicts: 929000 | #Constraints: 120280
2184.05/2190.52 c #Conflicts: 930000 | #Constraints: 121280
2184.05/2190.52 c #Conflicts: 931000 | #Constraints: 122280
2184.05/2190.52 c #Conflicts: 932000 | #Constraints: 123280
2184.05/2190.52 c #Conflicts: 933000 | #Constraints: 124280
2184.05/2190.52 c #Conflicts: 934000 | #Constraints: 125280
2184.05/2190.52 c #Conflicts: 935000 | #Constraints: 126280
2184.05/2190.52 c #Conflicts: 936000 | #Constraints: 127280
2184.05/2190.52 c #Conflicts: 937000 | #Constraints: 128280
2184.05/2190.52 c #Conflicts: 938000 | #Constraints: 129280
2184.05/2190.52 c #Conflicts: 939000 | #Constraints: 130280
2184.05/2190.52 c #Conflicts: 940000 | #Constraints: 131280
2184.05/2190.52 c #Conflicts: 941000 | #Constraints: 132280
2184.05/2190.52 c INPROCESSING
2184.05/2190.52 c GARBAGE COLLECT
2184.05/2190.52 c #Conflicts: 942000 | #Constraints: 114093
2184.05/2190.52 c #Conflicts: 943000 | #Constraints: 115093
2184.05/2190.52 c #Conflicts: 944000 | #Constraints: 116093
2184.05/2190.52 c #Conflicts: 945000 | #Constraints: 117093
2184.05/2190.52 c #Conflicts: 946000 | #Constraints: 118093
2184.05/2190.52 c #Conflicts: 947000 | #Constraints: 119093
2184.05/2190.52 c #Conflicts: 948000 | #Constraints: 120093
2184.05/2190.52 c #Conflicts: 949000 | #Constraints: 121093
2184.05/2190.52 c #Conflicts: 950000 | #Constraints: 122093
2184.05/2190.52 c #Conflicts: 951000 | #Constraints: 123093
2184.05/2190.52 c #Conflicts: 952000 | #Constraints: 124093
2184.05/2190.52 c #Conflicts: 953000 | #Constraints: 125093
2184.05/2190.52 c #Conflicts: 954000 | #Constraints: 126093
2356.87/2363.87 c #Conflicts: 955000 | #Constraints: 127093
2356.87/2363.87 c #Conflicts: 956000 | #Constraints: 128093
2356.87/2363.87 c #Conflicts: 957000 | #Constraints: 129093
2356.87/2363.87 c #Conflicts: 958000 | #Constraints: 130093
2356.87/2363.87 c #Conflicts: 959000 | #Constraints: 131093
2356.87/2363.87 c #Conflicts: 960000 | #Constraints: 132093
2356.87/2363.87 c #Conflicts: 961000 | #Constraints: 133093
2356.87/2363.87 c INPROCESSING
2356.87/2363.87 c GARBAGE COLLECT
2356.87/2363.87 c #Conflicts: 962000 | #Constraints: 114687
2356.87/2363.87 c #Conflicts: 963000 | #Constraints: 115687
2356.87/2363.87 c #Conflicts: 964000 | #Constraints: 116687
2356.87/2363.87 c #Conflicts: 965000 | #Constraints: 117687
2356.87/2363.87 c #Conflicts: 966000 | #Constraints: 118687
2356.87/2363.87 c #Conflicts: 967000 | #Constraints: 119687
2356.87/2363.87 c #Conflicts: 968000 | #Constraints: 120687
2356.87/2363.87 c #Conflicts: 969000 | #Constraints: 121687
2356.87/2363.87 c #Conflicts: 970000 | #Constraints: 122687
2356.87/2363.87 c #Conflicts: 971000 | #Constraints: 123687
2356.87/2363.87 c #Conflicts: 972000 | #Constraints: 124687
2356.87/2363.87 c #Conflicts: 973000 | #Constraints: 125687
2356.87/2363.87 c #Conflicts: 974000 | #Constraints: 126687
2356.87/2363.87 c #Conflicts: 975000 | #Constraints: 127687
2356.87/2363.87 c #Conflicts: 976000 | #Constraints: 128687
2356.87/2363.87 c #Conflicts: 977000 | #Constraints: 129687
2356.87/2363.87 c #Conflicts: 978000 | #Constraints: 130687
2356.87/2363.87 c #Conflicts: 979000 | #Constraints: 131687
2356.87/2363.87 c #Conflicts: 980000 | #Constraints: 132687
2356.87/2363.87 c #Conflicts: 981000 | #Constraints: 133687
2356.87/2363.87 c INPROCESSING
2356.87/2363.87 c GARBAGE COLLECT
2356.87/2363.87 c #Conflicts: 982000 | #Constraints: 115088
2356.87/2363.87 c #Conflicts: 983000 | #Constraints: 116088
2356.87/2363.87 c #Conflicts: 984000 | #Constraints: 117088
2356.87/2363.87 c #Conflicts: 985000 | #Constraints: 118088
2356.87/2363.87 c #Conflicts: 986000 | #Constraints: 119088
2356.87/2363.87 c #Conflicts: 987000 | #Constraints: 120088
2356.87/2363.87 c #Conflicts: 988000 | #Constraints: 121088
2356.87/2363.87 c #Conflicts: 989000 | #Constraints: 122088
2356.87/2363.87 c #Conflicts: 990000 | #Constraints: 123088
2356.87/2363.87 c #Conflicts: 991000 | #Constraints: 124088
2356.87/2363.87 c #Conflicts: 992000 | #Constraints: 125088
2356.87/2363.87 c #Conflicts: 993000 | #Constraints: 126088
2356.87/2363.87 c #Conflicts: 994000 | #Constraints: 127088
2356.87/2363.87 c #Conflicts: 995000 | #Constraints: 128088
2356.87/2363.87 c #Conflicts: 996000 | #Constraints: 129088
2356.87/2363.87 c #Conflicts: 997000 | #Constraints: 130088
2356.87/2363.87 c #Conflicts: 998000 | #Constraints: 131088
2356.87/2363.87 c #Conflicts: 999000 | #Constraints: 132088
2356.87/2363.87 c #Conflicts: 1000000 | #Constraints: 133088
2356.87/2363.87 c #Conflicts: 1001000 | #Constraints: 134088
2356.87/2363.87 c INPROCESSING
2356.87/2363.87 c GARBAGE COLLECT
2356.87/2363.87 c #Conflicts: 1002000 | #Constraints: 115277
2356.87/2363.87 c #Conflicts: 1003000 | #Constraints: 116277
2356.87/2363.87 c #Conflicts: 1004000 | #Constraints: 117277
2356.87/2363.87 c #Conflicts: 1005000 | #Constraints: 118277
2356.87/2363.87 c #Conflicts: 1006000 | #Constraints: 119277
2356.87/2363.87 c #Conflicts: 1007000 | #Constraints: 120277
2356.87/2363.87 c #Conflicts: 1008000 | #Constraints: 121277
2356.87/2363.87 c #Conflicts: 1009000 | #Constraints: 122277
2356.87/2363.87 c #Conflicts: 1010000 | #Constraints: 123277
2356.87/2363.87 c #Conflicts: 1011000 | #Constraints: 124277
2356.87/2363.87 c #Conflicts: 1012000 | #Constraints: 125277
2356.87/2363.87 c #Conflicts: 1013000 | #Constraints: 126277
2356.87/2363.87 c #Conflicts: 1014000 | #Constraints: 127277
2356.87/2363.87 c #Conflicts: 1015000 | #Constraints: 128277
2356.87/2363.87 c #Conflicts: 1016000 | #Constraints: 129277
2356.87/2363.87 c #Conflicts: 1017000 | #Constraints: 130277
2356.87/2363.87 c #Conflicts: 1018000 | #Constraints: 131277
2356.87/2363.87 c #Conflicts: 1019000 | #Constraints: 132277
2356.87/2363.87 c #Conflicts: 1020000 | #Constraints: 133277
2356.87/2363.87 c #Conflicts: 1021000 | #Constraints: 134277
2356.87/2363.87 c INPROCESSING
2356.87/2363.87 c GARBAGE COLLECT
2356.87/2363.87 c #Conflicts: 1022000 | #Constraints: 115273
2356.87/2363.87 c #Conflicts: 1023000 | #Constraints: 116273
2356.87/2363.87 c #Conflicts: 1024000 | #Constraints: 117273
2356.87/2363.87 c #Conflicts: 1025000 | #Constraints: 118273
2356.87/2363.87 c #Conflicts: 1026000 | #Constraints: 119273
2356.87/2363.87 c #Conflicts: 1027000 | #Constraints: 120273
2356.87/2363.87 c #Conflicts: 1028000 | #Constraints: 121273
2356.87/2363.87 c #Conflicts: 1029000 | #Constraints: 122273
2356.87/2363.87 c #Conflicts: 1030000 | #Constraints: 123273
2527.10/2534.51 c #Conflicts: 1031000 | #Constraints: 124273
2527.10/2534.51 c #Conflicts: 1032000 | #Constraints: 125273
2527.10/2534.51 c #Conflicts: 1033000 | #Constraints: 126273
2527.10/2534.51 c #Conflicts: 1034000 | #Constraints: 127273
2527.10/2534.51 c #Conflicts: 1035000 | #Constraints: 128273
2527.10/2534.51 c #Conflicts: 1036000 | #Constraints: 129273
2527.10/2534.51 c #Conflicts: 1037000 | #Constraints: 130273
2527.10/2534.51 c #Conflicts: 1038000 | #Constraints: 131273
2527.10/2534.51 c #Conflicts: 1039000 | #Constraints: 132273
2527.10/2534.51 c #Conflicts: 1040000 | #Constraints: 133273
2527.10/2534.51 c #Conflicts: 1041000 | #Constraints: 134273
2527.10/2534.51 c INPROCESSING
2527.10/2534.51 c GARBAGE COLLECT
2527.10/2534.51 c #Conflicts: 1042000 | #Constraints: 115084
2527.10/2534.51 c #Conflicts: 1043000 | #Constraints: 116084
2527.10/2534.51 c #Conflicts: 1044000 | #Constraints: 117084
2527.10/2534.51 c #Conflicts: 1045000 | #Constraints: 118084
2527.10/2534.51 c #Conflicts: 1046000 | #Constraints: 119084
2527.10/2534.51 c #Conflicts: 1047000 | #Constraints: 120084
2527.10/2534.51 c #Conflicts: 1048000 | #Constraints: 121084
2527.10/2534.51 c #Conflicts: 1049000 | #Constraints: 122084
2527.10/2534.51 c #Conflicts: 1050000 | #Constraints: 123084
2527.10/2534.51 c #Conflicts: 1051000 | #Constraints: 124084
2527.10/2534.51 c #Conflicts: 1052000 | #Constraints: 125084
2527.10/2534.51 c #Conflicts: 1053000 | #Constraints: 126084
2527.10/2534.51 c #Conflicts: 1054000 | #Constraints: 127084
2527.10/2534.51 c #Conflicts: 1055000 | #Constraints: 128084
2527.10/2534.51 c #Conflicts: 1056000 | #Constraints: 129084
2527.10/2534.51 c #Conflicts: 1057000 | #Constraints: 130084
2527.10/2534.51 c #Conflicts: 1058000 | #Constraints: 131084
2527.10/2534.51 c #Conflicts: 1059000 | #Constraints: 132084
2527.10/2534.51 c #Conflicts: 1060000 | #Constraints: 133084
2527.10/2534.51 c #Conflicts: 1061000 | #Constraints: 134084
2527.10/2534.51 c #Conflicts: 1062000 | #Constraints: 135084
2527.10/2534.51 c INPROCESSING
2527.10/2534.51 c GARBAGE COLLECT
2527.10/2534.51 c #Conflicts: 1063000 | #Constraints: 115674
2527.10/2534.51 c #Conflicts: 1064000 | #Constraints: 116674
2527.10/2534.51 c #Conflicts: 1065000 | #Constraints: 117674
2527.10/2534.51 c #Conflicts: 1066000 | #Constraints: 118674
2527.10/2534.51 c #Conflicts: 1067000 | #Constraints: 119674
2527.10/2534.51 c #Conflicts: 1068000 | #Constraints: 120674
2527.10/2534.51 c #Conflicts: 1069000 | #Constraints: 121674
2527.10/2534.51 c #Conflicts: 1070000 | #Constraints: 122674
2527.10/2534.51 c #Conflicts: 1071000 | #Constraints: 123674
2527.10/2534.51 c #Conflicts: 1072000 | #Constraints: 124674
2527.10/2534.51 c #Conflicts: 1073000 | #Constraints: 125674
2527.10/2534.51 c #Conflicts: 1074000 | #Constraints: 126674
2527.10/2534.51 c #Conflicts: 1075000 | #Constraints: 127674
2527.10/2534.51 c #Conflicts: 1076000 | #Constraints: 128674
2527.10/2534.51 c #Conflicts: 1077000 | #Constraints: 129674
2527.10/2534.51 c #Conflicts: 1078000 | #Constraints: 130674
2527.10/2534.51 c #Conflicts: 1079000 | #Constraints: 131674
2527.10/2534.51 c #Conflicts: 1080000 | #Constraints: 132674
2527.10/2534.51 c #Conflicts: 1081000 | #Constraints: 133674
2527.10/2534.51 c #Conflicts: 1082000 | #Constraints: 134674
2527.10/2534.51 c #Conflicts: 1083000 | #Constraints: 135674
2527.10/2534.51 c INPROCESSING
2527.10/2534.51 c GARBAGE COLLECT
2527.10/2534.51 c #Conflicts: 1084000 | #Constraints: 116114
2527.10/2534.51 c #Conflicts: 1085000 | #Constraints: 117114
2527.10/2534.51 c #Conflicts: 1086000 | #Constraints: 118114
2527.10/2534.51 c #Conflicts: 1087000 | #Constraints: 119114
2527.10/2534.51 c #Conflicts: 1088000 | #Constraints: 120114
2527.10/2534.51 c #Conflicts: 1089000 | #Constraints: 121114
2527.10/2534.51 c #Conflicts: 1090000 | #Constraints: 122114
2527.10/2534.51 c #Conflicts: 1091000 | #Constraints: 123114
2527.10/2534.51 c #Conflicts: 1092000 | #Constraints: 124114
2527.10/2534.51 c #Conflicts: 1093000 | #Constraints: 125114
2527.10/2534.51 c #Conflicts: 1094000 | #Constraints: 126114
2527.10/2534.51 c #Conflicts: 1095000 | #Constraints: 127114
2527.10/2534.51 c #Conflicts: 1096000 | #Constraints: 128114
2527.10/2534.51 c #Conflicts: 1097000 | #Constraints: 129114
2527.10/2534.51 c #Conflicts: 1098000 | #Constraints: 130114
2527.10/2534.51 c #Conflicts: 1099000 | #Constraints: 131114
2527.10/2534.51 c #Conflicts: 1100000 | #Constraints: 132114
2527.10/2534.51 c #Conflicts: 1101000 | #Constraints: 133114
2527.10/2534.51 c #Conflicts: 1102000 | #Constraints: 134114
2527.10/2534.51 c #Conflicts: 1103000 | #Constraints: 135114
2527.10/2534.51 c #Conflicts: 1104000 | #Constraints: 136114
2527.10/2534.51 c INPROCESSING
2527.10/2534.51 c GARBAGE COLLECT
2527.10/2534.51 c #Conflicts: 1105000 | #Constraints: 116337
2527.10/2534.51 c #Conflicts: 1106000 | #Constraints: 117337
2742.81/2750.87 c #Conflicts: 1107000 | #Constraints: 118337
2742.81/2750.87 c #Conflicts: 1108000 | #Constraints: 119337
2742.81/2750.87 c #Conflicts: 1109000 | #Constraints: 120337
2742.81/2750.87 c #Conflicts: 1110000 | #Constraints: 121337
2742.81/2750.87 c #Conflicts: 1111000 | #Constraints: 122337
2742.81/2750.87 c #Conflicts: 1112000 | #Constraints: 123337
2742.81/2750.87 c #Conflicts: 1113000 | #Constraints: 124337
2742.81/2750.87 c #Conflicts: 1114000 | #Constraints: 125337
2742.81/2750.87 c #Conflicts: 1115000 | #Constraints: 126337
2742.81/2750.87 c #Conflicts: 1116000 | #Constraints: 127337
2742.81/2750.87 c #Conflicts: 1117000 | #Constraints: 128337
2742.81/2750.87 c #Conflicts: 1118000 | #Constraints: 129337
2742.81/2750.87 c #Conflicts: 1119000 | #Constraints: 130337
2742.81/2750.87 c #Conflicts: 1120000 | #Constraints: 131337
2742.81/2750.87 c #Conflicts: 1121000 | #Constraints: 132337
2742.81/2750.87 c #Conflicts: 1122000 | #Constraints: 133337
2742.81/2750.87 c #Conflicts: 1123000 | #Constraints: 134337
2742.81/2750.87 c #Conflicts: 1124000 | #Constraints: 135337
2742.81/2750.87 c #Conflicts: 1125000 | #Constraints: 136337
2742.81/2750.87 c INPROCESSING
2742.81/2750.87 c GARBAGE COLLECT
2742.81/2750.87 c #Conflicts: 1126000 | #Constraints: 116317
2742.81/2750.87 c #Conflicts: 1127000 | #Constraints: 117317
2742.81/2750.87 c #Conflicts: 1128000 | #Constraints: 118317
2742.81/2750.87 c #Conflicts: 1129000 | #Constraints: 119317
2742.81/2750.87 c #Conflicts: 1130000 | #Constraints: 120317
2742.81/2750.87 c #Conflicts: 1131000 | #Constraints: 121317
2742.81/2750.87 c #Conflicts: 1132000 | #Constraints: 122317
2742.81/2750.87 c #Conflicts: 1133000 | #Constraints: 123317
2742.81/2750.87 c #Conflicts: 1134000 | #Constraints: 124317
2742.81/2750.87 c #Conflicts: 1135000 | #Constraints: 125317
2742.81/2750.87 c #Conflicts: 1136000 | #Constraints: 126317
2742.81/2750.87 c #Conflicts: 1137000 | #Constraints: 127317
2742.81/2750.87 c #Conflicts: 1138000 | #Constraints: 128317
2742.81/2750.87 c #Conflicts: 1139000 | #Constraints: 129317
2742.81/2750.87 c #Conflicts: 1140000 | #Constraints: 130317
2742.81/2750.87 c #Conflicts: 1141000 | #Constraints: 131317
2742.81/2750.87 c #Conflicts: 1142000 | #Constraints: 132317
2742.81/2750.87 c #Conflicts: 1143000 | #Constraints: 133317
2742.81/2750.87 c #Conflicts: 1144000 | #Constraints: 134317
2742.81/2750.87 c #Conflicts: 1145000 | #Constraints: 135317
2742.81/2750.87 c #Conflicts: 1146000 | #Constraints: 136317
2742.81/2750.87 c INPROCESSING
2742.81/2750.87 c GARBAGE COLLECT
2742.81/2750.87 c #Conflicts: 1147000 | #Constraints: 116087
2742.81/2750.87 c #Conflicts: 1148000 | #Constraints: 117087
2742.81/2750.87 c #Conflicts: 1149000 | #Constraints: 118087
2742.81/2750.87 c #Conflicts: 1150000 | #Constraints: 119087
2742.81/2750.87 c #Conflicts: 1151000 | #Constraints: 120087
2742.81/2750.87 c #Conflicts: 1152000 | #Constraints: 121087
2742.81/2750.87 c #Conflicts: 1153000 | #Constraints: 122087
2742.81/2750.87 c #Conflicts: 1154000 | #Constraints: 123087
2742.81/2750.87 c #Conflicts: 1155000 | #Constraints: 124087
2742.81/2750.87 c #Conflicts: 1156000 | #Constraints: 125087
2742.81/2750.87 c #Conflicts: 1157000 | #Constraints: 126087
2742.81/2750.87 c #Conflicts: 1158000 | #Constraints: 127087
2742.81/2750.87 c #Conflicts: 1159000 | #Constraints: 128087
2742.81/2750.87 c #Conflicts: 1160000 | #Constraints: 129087
2742.81/2750.87 c #Conflicts: 1161000 | #Constraints: 130087
2742.81/2750.87 c #Conflicts: 1162000 | #Constraints: 131087
2742.81/2750.87 c #Conflicts: 1163000 | #Constraints: 132087
2742.81/2750.87 c #Conflicts: 1164000 | #Constraints: 133087
2742.81/2750.87 c #Conflicts: 1165000 | #Constraints: 134087
2742.81/2750.87 c #Conflicts: 1166000 | #Constraints: 135087
2742.81/2750.87 c #Conflicts: 1167000 | #Constraints: 136087
2742.81/2750.87 c #Conflicts: 1168000 | #Constraints: 137087
2742.81/2750.87 c INPROCESSING
2742.81/2750.87 c GARBAGE COLLECT
2742.81/2750.87 c #Conflicts: 1169000 | #Constraints: 116670
2742.81/2750.87 c #Conflicts: 1170000 | #Constraints: 117670
2742.81/2750.87 c #Conflicts: 1171000 | #Constraints: 118670
2742.81/2750.87 c #Conflicts: 1172000 | #Constraints: 119670
2742.81/2750.87 c #Conflicts: 1173000 | #Constraints: 120670
2742.81/2750.87 c #Conflicts: 1174000 | #Constraints: 121670
2742.81/2750.87 c #Conflicts: 1175000 | #Constraints: 122670
2742.81/2750.87 c #Conflicts: 1176000 | #Constraints: 123670
2742.81/2750.87 c #Conflicts: 1177000 | #Constraints: 124670
2742.81/2750.87 c #Conflicts: 1178000 | #Constraints: 125670
2742.81/2750.87 c #Conflicts: 1179000 | #Constraints: 126670
2742.81/2750.87 c #Conflicts: 1180000 | #Constraints: 127670
2742.81/2750.87 c #Conflicts: 1181000 | #Constraints: 128670
2742.81/2750.87 c #Conflicts: 1182000 | #Constraints: 129670
2742.81/2750.87 c #Conflicts: 1183000 | #Constraints: 130670
2969.39/2978.01 c #Conflicts: 1184000 | #Constraints: 131670
2969.39/2978.01 c #Conflicts: 1185000 | #Constraints: 132670
2969.39/2978.01 c #Conflicts: 1186000 | #Constraints: 133670
2969.39/2978.01 c #Conflicts: 1187000 | #Constraints: 134670
2969.39/2978.01 c #Conflicts: 1188000 | #Constraints: 135670
2969.39/2978.01 c #Conflicts: 1189000 | #Constraints: 136670
2969.39/2978.01 c #Conflicts: 1190000 | #Constraints: 137670
2969.39/2978.01 c INPROCESSING
2969.39/2978.01 c GARBAGE COLLECT
2969.39/2978.01 c #Conflicts: 1191000 | #Constraints: 117071
2969.39/2978.01 c #Conflicts: 1192000 | #Constraints: 118071
2969.39/2978.01 c #Conflicts: 1193000 | #Constraints: 119071
2969.39/2978.01 c #Conflicts: 1194000 | #Constraints: 120071
2969.39/2978.01 c #Conflicts: 1195000 | #Constraints: 121071
2969.39/2978.01 c #Conflicts: 1196000 | #Constraints: 122071
2969.39/2978.01 c #Conflicts: 1197000 | #Constraints: 123071
2969.39/2978.01 c #Conflicts: 1198000 | #Constraints: 124071
2969.39/2978.01 c #Conflicts: 1199000 | #Constraints: 125071
2969.39/2978.01 c #Conflicts: 1200000 | #Constraints: 126071
2969.39/2978.01 c #Conflicts: 1201000 | #Constraints: 127071
2969.39/2978.01 c #Conflicts: 1202000 | #Constraints: 128071
2969.39/2978.01 c #Conflicts: 1203000 | #Constraints: 129071
2969.39/2978.01 c #Conflicts: 1204000 | #Constraints: 130071
2969.39/2978.01 c #Conflicts: 1205000 | #Constraints: 131071
2969.39/2978.01 c #Conflicts: 1206000 | #Constraints: 132071
2969.39/2978.01 c #Conflicts: 1207000 | #Constraints: 133071
2969.39/2978.01 c #Conflicts: 1208000 | #Constraints: 134071
2969.39/2978.01 c #Conflicts: 1209000 | #Constraints: 135071
2969.39/2978.01 c #Conflicts: 1210000 | #Constraints: 136071
2969.39/2978.01 c #Conflicts: 1211000 | #Constraints: 137071
2969.39/2978.01 c #Conflicts: 1212000 | #Constraints: 138071
2969.39/2978.01 c INPROCESSING
2969.39/2978.01 c GARBAGE COLLECT
2969.39/2978.01 c #Conflicts: 1213000 | #Constraints: 117266
2969.39/2978.01 c #Conflicts: 1214000 | #Constraints: 118266
2969.39/2978.01 c #Conflicts: 1215000 | #Constraints: 119266
2969.39/2978.01 c #Conflicts: 1216000 | #Constraints: 120266
2969.39/2978.01 c #Conflicts: 1217000 | #Constraints: 121266
2969.39/2978.01 c #Conflicts: 1218000 | #Constraints: 122266
2969.39/2978.01 c #Conflicts: 1219000 | #Constraints: 123266
2969.39/2978.01 c #Conflicts: 1220000 | #Constraints: 124266
2969.39/2978.01 c #Conflicts: 1221000 | #Constraints: 125266
2969.39/2978.01 c #Conflicts: 1222000 | #Constraints: 126266
2969.39/2978.01 c #Conflicts: 1223000 | #Constraints: 127266
2969.39/2978.01 c #Conflicts: 1224000 | #Constraints: 128266
2969.39/2978.01 c #Conflicts: 1225000 | #Constraints: 129266
2969.39/2978.01 c #Conflicts: 1226000 | #Constraints: 130266
2969.39/2978.01 c #Conflicts: 1227000 | #Constraints: 131266
2969.39/2978.01 c #Conflicts: 1228000 | #Constraints: 132266
2969.39/2978.01 c #Conflicts: 1229000 | #Constraints: 133266
2969.39/2978.01 c #Conflicts: 1230000 | #Constraints: 134266
2969.39/2978.01 c #Conflicts: 1231000 | #Constraints: 135266
2969.39/2978.01 c #Conflicts: 1232000 | #Constraints: 136266
2969.39/2978.01 c #Conflicts: 1233000 | #Constraints: 137266
2969.39/2978.01 c #Conflicts: 1234000 | #Constraints: 138266
2969.39/2978.01 c INPROCESSING
2969.39/2978.01 c GARBAGE COLLECT
2969.39/2978.01 c #Conflicts: 1235000 | #Constraints: 117289
2969.39/2978.01 c #Conflicts: 1236000 | #Constraints: 118289
2969.39/2978.01 c #Conflicts: 1237000 | #Constraints: 119289
2969.39/2978.01 c #Conflicts: 1238000 | #Constraints: 120289
2969.39/2978.01 c #Conflicts: 1239000 | #Constraints: 121289
2969.39/2978.01 c #Conflicts: 1240000 | #Constraints: 122289
2969.39/2978.01 c #Conflicts: 1241000 | #Constraints: 123289
2969.39/2978.01 c #Conflicts: 1242000 | #Constraints: 124289
2969.39/2978.01 c #Conflicts: 1243000 | #Constraints: 125289
2969.39/2978.01 c #Conflicts: 1244000 | #Constraints: 126289
2969.39/2978.01 c #Conflicts: 1245000 | #Constraints: 127289
2969.39/2978.01 c #Conflicts: 1246000 | #Constraints: 128289
2969.39/2978.01 c #Conflicts: 1247000 | #Constraints: 129289
2969.39/2978.01 c #Conflicts: 1248000 | #Constraints: 130289
2969.39/2978.01 c #Conflicts: 1249000 | #Constraints: 131289
2969.39/2978.01 c #Conflicts: 1250000 | #Constraints: 132289
2969.39/2978.01 c #Conflicts: 1251000 | #Constraints: 133289
2969.39/2978.01 c #Conflicts: 1252000 | #Constraints: 134289
2969.39/2978.01 c #Conflicts: 1253000 | #Constraints: 135289
2969.39/2978.01 c #Conflicts: 1254000 | #Constraints: 136289
2969.39/2978.01 c #Conflicts: 1255000 | #Constraints: 137289
2969.39/2978.01 c #Conflicts: 1256000 | #Constraints: 138289
2969.39/2978.01 c INPROCESSING
2969.39/2978.01 c GARBAGE COLLECT
2969.39/2978.01 c #Conflicts: 1257000 | #Constraints: 117078
2969.39/2978.01 c #Conflicts: 1258000 | #Constraints: 118078
2969.39/2978.01 c #Conflicts: 1259000 | #Constraints: 119078
3206.74/3216.04 c #Conflicts: 1260000 | #Constraints: 120078
3206.74/3216.04 c #Conflicts: 1261000 | #Constraints: 121078
3206.74/3216.04 c #Conflicts: 1262000 | #Constraints: 122078
3206.74/3216.04 c #Conflicts: 1263000 | #Constraints: 123078
3206.74/3216.04 c #Conflicts: 1264000 | #Constraints: 124078
3206.74/3216.04 c #Conflicts: 1265000 | #Constraints: 125078
3206.74/3216.04 c #Conflicts: 1266000 | #Constraints: 126078
3206.74/3216.04 c #Conflicts: 1267000 | #Constraints: 127078
3206.74/3216.04 c #Conflicts: 1268000 | #Constraints: 128078
3206.74/3216.04 c #Conflicts: 1269000 | #Constraints: 129078
3206.74/3216.04 c #Conflicts: 1270000 | #Constraints: 130078
3206.74/3216.04 c #Conflicts: 1271000 | #Constraints: 131078
3206.74/3216.04 c #Conflicts: 1272000 | #Constraints: 132078
3206.74/3216.04 c #Conflicts: 1273000 | #Constraints: 133078
3206.74/3216.04 c #Conflicts: 1274000 | #Constraints: 134078
3206.74/3216.04 c #Conflicts: 1275000 | #Constraints: 135078
3206.74/3216.04 c #Conflicts: 1276000 | #Constraints: 136078
3206.74/3216.04 c #Conflicts: 1277000 | #Constraints: 137078
3206.74/3216.04 c #Conflicts: 1278000 | #Constraints: 138078
3206.74/3216.04 c #Conflicts: 1279000 | #Constraints: 139078
3206.74/3216.04 c INPROCESSING
3206.74/3216.04 c GARBAGE COLLECT
3206.74/3216.04 c #Conflicts: 1280000 | #Constraints: 117678
3206.74/3216.04 c #Conflicts: 1281000 | #Constraints: 118678
3206.74/3216.04 c #Conflicts: 1282000 | #Constraints: 119678
3206.74/3216.04 c #Conflicts: 1283000 | #Constraints: 120678
3206.74/3216.04 c #Conflicts: 1284000 | #Constraints: 121678
3206.74/3216.04 c #Conflicts: 1285000 | #Constraints: 122678
3206.74/3216.04 c #Conflicts: 1286000 | #Constraints: 123678
3206.74/3216.04 c #Conflicts: 1287000 | #Constraints: 124678
3206.74/3216.04 c #Conflicts: 1288000 | #Constraints: 125678
3206.74/3216.04 c #Conflicts: 1289000 | #Constraints: 126678
3206.74/3216.04 c #Conflicts: 1290000 | #Constraints: 127678
3206.74/3216.04 c #Conflicts: 1291000 | #Constraints: 128678
3206.74/3216.04 c #Conflicts: 1292000 | #Constraints: 129678
3206.74/3216.04 c #Conflicts: 1293000 | #Constraints: 130678
3206.74/3216.04 c #Conflicts: 1294000 | #Constraints: 131678
3206.74/3216.04 c #Conflicts: 1295000 | #Constraints: 132678
3206.74/3216.04 c #Conflicts: 1296000 | #Constraints: 133678
3206.74/3216.04 c #Conflicts: 1297000 | #Constraints: 134678
3206.74/3216.04 c #Conflicts: 1298000 | #Constraints: 135678
3206.74/3216.04 c #Conflicts: 1299000 | #Constraints: 136678
3206.74/3216.04 c #Conflicts: 1300000 | #Constraints: 137678
3206.74/3216.04 c #Conflicts: 1301000 | #Constraints: 138678
3206.74/3216.04 c #Conflicts: 1302000 | #Constraints: 139678
3206.74/3216.04 c INPROCESSING
3206.74/3216.04 c GARBAGE COLLECT
3206.74/3216.04 c #Conflicts: 1303000 | #Constraints: 118080
3206.74/3216.04 c #Conflicts: 1304000 | #Constraints: 119080
3206.74/3216.04 c #Conflicts: 1305000 | #Constraints: 120080
3206.74/3216.04 c #Conflicts: 1306000 | #Constraints: 121080
3206.74/3216.04 c #Conflicts: 1307000 | #Constraints: 122080
3206.74/3216.04 c #Conflicts: 1308000 | #Constraints: 123080
3206.74/3216.04 c #Conflicts: 1309000 | #Constraints: 124080
3206.74/3216.04 c #Conflicts: 1310000 | #Constraints: 125080
3206.74/3216.04 c #Conflicts: 1311000 | #Constraints: 126080
3206.74/3216.04 c #Conflicts: 1312000 | #Constraints: 127080
3206.74/3216.04 c #Conflicts: 1313000 | #Constraints: 128080
3206.74/3216.04 c #Conflicts: 1314000 | #Constraints: 129080
3206.74/3216.04 c #Conflicts: 1315000 | #Constraints: 130080
3206.74/3216.04 c #Conflicts: 1316000 | #Constraints: 131080
3206.74/3216.04 c #Conflicts: 1317000 | #Constraints: 132080
3206.74/3216.04 c #Conflicts: 1318000 | #Constraints: 133080
3206.74/3216.04 c #Conflicts: 1319000 | #Constraints: 134080
3206.74/3216.04 c #Conflicts: 1320000 | #Constraints: 135080
3206.74/3216.04 c #Conflicts: 1321000 | #Constraints: 136080
3206.74/3216.04 c #Conflicts: 1322000 | #Constraints: 137080
3206.74/3216.04 c #Conflicts: 1323000 | #Constraints: 138080
3206.74/3216.04 c #Conflicts: 1324000 | #Constraints: 139080
3206.74/3216.04 c #Conflicts: 1325000 | #Constraints: 140080
3206.74/3216.04 c INPROCESSING
3206.74/3216.04 c GARBAGE COLLECT
3206.74/3216.04 c #Conflicts: 1326000 | #Constraints: 118274
3206.74/3216.04 c #Conflicts: 1327000 | #Constraints: 119274
3206.74/3216.04 c #Conflicts: 1328000 | #Constraints: 120274
3206.74/3216.04 c #Conflicts: 1329000 | #Constraints: 121274
3206.74/3216.04 c #Conflicts: 1330000 | #Constraints: 122274
3206.74/3216.04 c #Conflicts: 1331000 | #Constraints: 123274
3206.74/3216.04 c #Conflicts: 1332000 | #Constraints: 124274
3206.74/3216.04 c #Conflicts: 1333000 | #Constraints: 125274
3206.74/3216.04 c #Conflicts: 1334000 | #Constraints: 126274
3206.74/3216.04 c #Conflicts: 1335000 | #Constraints: 127274
3206.74/3216.04 c #Conflicts: 1336000 | #Constraints: 128274
3437.10/3447.05 c #Conflicts: 1337000 | #Constraints: 129274
3437.10/3447.05 c #Conflicts: 1338000 | #Constraints: 130274
3437.10/3447.05 c #Conflicts: 1339000 | #Constraints: 131274
3437.10/3447.05 c #Conflicts: 1340000 | #Constraints: 132274
3437.10/3447.05 c #Conflicts: 1341000 | #Constraints: 133274
3437.10/3447.05 c #Conflicts: 1342000 | #Constraints: 134274
3437.10/3447.05 c #Conflicts: 1343000 | #Constraints: 135274
3437.10/3447.05 c #Conflicts: 1344000 | #Constraints: 136274
3437.10/3447.05 c #Conflicts: 1345000 | #Constraints: 137274
3437.10/3447.05 c #Conflicts: 1346000 | #Constraints: 138274
3437.10/3447.05 c #Conflicts: 1347000 | #Constraints: 139274
3437.10/3447.05 c #Conflicts: 1348000 | #Constraints: 140274
3437.10/3447.05 c INPROCESSING
3437.10/3447.05 c GARBAGE COLLECT
3437.10/3447.05 c #Conflicts: 1349000 | #Constraints: 118268
3437.10/3447.05 c #Conflicts: 1350000 | #Constraints: 119268
3437.10/3447.05 c #Conflicts: 1351000 | #Constraints: 120268
3437.10/3447.05 c #Conflicts: 1352000 | #Constraints: 121268
3437.10/3447.05 c #Conflicts: 1353000 | #Constraints: 122268
3437.10/3447.05 c #Conflicts: 1354000 | #Constraints: 123268
3437.10/3447.05 c #Conflicts: 1355000 | #Constraints: 124268
3437.10/3447.05 c #Conflicts: 1356000 | #Constraints: 125268
3437.10/3447.05 c #Conflicts: 1357000 | #Constraints: 126268
3437.10/3447.05 c #Conflicts: 1358000 | #Constraints: 127268
3437.10/3447.05 c #Conflicts: 1359000 | #Constraints: 128268
3437.10/3447.05 c #Conflicts: 1360000 | #Constraints: 129268
3437.10/3447.05 c #Conflicts: 1361000 | #Constraints: 130268
3437.10/3447.05 c #Conflicts: 1362000 | #Constraints: 131268
3437.10/3447.05 c #Conflicts: 1363000 | #Constraints: 132268
3437.10/3447.05 c #Conflicts: 1364000 | #Constraints: 133268
3437.10/3447.05 c #Conflicts: 1365000 | #Constraints: 134268
3437.10/3447.05 c #Conflicts: 1366000 | #Constraints: 135268
3437.10/3447.05 c #Conflicts: 1367000 | #Constraints: 136268
3437.10/3447.05 c #Conflicts: 1368000 | #Constraints: 137268
3437.10/3447.05 c #Conflicts: 1369000 | #Constraints: 138268
3437.10/3447.05 c #Conflicts: 1370000 | #Constraints: 139268
3437.10/3447.05 c #Conflicts: 1371000 | #Constraints: 140268
3437.10/3447.05 c INPROCESSING
3437.10/3447.05 c GARBAGE COLLECT
3437.10/3447.05 c #Conflicts: 1372000 | #Constraints: 118093
3437.10/3447.05 c #Conflicts: 1373000 | #Constraints: 119093
3437.10/3447.05 c #Conflicts: 1374000 | #Constraints: 120093
3437.10/3447.05 c #Conflicts: 1375000 | #Constraints: 121093
3437.10/3447.05 c #Conflicts: 1376000 | #Constraints: 122093
3437.10/3447.05 c #Conflicts: 1377000 | #Constraints: 123093
3437.10/3447.05 c #Conflicts: 1378000 | #Constraints: 124093
3437.10/3447.05 c #Conflicts: 1379000 | #Constraints: 125093
3437.10/3447.05 c #Conflicts: 1380000 | #Constraints: 126093
3437.10/3447.05 c #Conflicts: 1381000 | #Constraints: 127093
3437.10/3447.05 c #Conflicts: 1382000 | #Constraints: 128093
3437.10/3447.05 c #Conflicts: 1383000 | #Constraints: 129093
3437.10/3447.05 c #Conflicts: 1384000 | #Constraints: 130093
3437.10/3447.05 c #Conflicts: 1385000 | #Constraints: 131093
3437.10/3447.05 c #Conflicts: 1386000 | #Constraints: 132093
3437.10/3447.05 c #Conflicts: 1387000 | #Constraints: 133093
3437.10/3447.05 c #Conflicts: 1388000 | #Constraints: 134093
3437.10/3447.05 c #Conflicts: 1389000 | #Constraints: 135093
3437.10/3447.05 c #Conflicts: 1390000 | #Constraints: 136093
3437.10/3447.05 c #Conflicts: 1391000 | #Constraints: 137093
3437.10/3447.05 c #Conflicts: 1392000 | #Constraints: 138093
3437.10/3447.05 c #Conflicts: 1393000 | #Constraints: 139093
3437.10/3447.05 c #Conflicts: 1394000 | #Constraints: 140093
3437.10/3447.05 c #Conflicts: 1395000 | #Constraints: 141093
3437.10/3447.05 c INPROCESSING
3437.10/3447.05 c GARBAGE COLLECT
3437.10/3447.05 c #Conflicts: 1396000 | #Constraints: 118670
3437.10/3447.05 c #Conflicts: 1397000 | #Constraints: 119670
3437.10/3447.05 c #Conflicts: 1398000 | #Constraints: 120670
3437.10/3447.05 c #Conflicts: 1399000 | #Constraints: 121670
3437.10/3447.05 c #Conflicts: 1400000 | #Constraints: 122670
3437.10/3447.05 c #Conflicts: 1401000 | #Constraints: 123670
3437.10/3447.05 c #Conflicts: 1402000 | #Constraints: 124670
3437.10/3447.05 c #Conflicts: 1403000 | #Constraints: 125670
3437.10/3447.05 c #Conflicts: 1404000 | #Constraints: 126670
3437.10/3447.05 c #Conflicts: 1405000 | #Constraints: 127670
3437.10/3447.05 c #Conflicts: 1406000 | #Constraints: 128670
3437.10/3447.05 c #Conflicts: 1407000 | #Constraints: 129670
3437.10/3447.05 c #Conflicts: 1408000 | #Constraints: 130670
3437.10/3447.05 c #Conflicts: 1409000 | #Constraints: 131670
3437.10/3447.05 c #Conflicts: 1410000 | #Constraints: 132670
3437.10/3447.05 c #Conflicts: 1411000 | #Constraints: 133670
3437.10/3447.05 c #Conflicts: 1412000 | #Constraints: 134670
3437.10/3447.05 c #Conflicts: 1413000 | #Constraints: 135670
3600.03/3610.40 c #Conflicts: 1414000 | #Constraints: 136670
3600.03/3610.40 c #Conflicts: 1415000 | #Constraints: 137670
3600.03/3610.40 c #Conflicts: 1416000 | #Constraints: 138670
3600.03/3610.40 c #Conflicts: 1417000 | #Constraints: 139670
3600.03/3610.40 c #Conflicts: 1418000 | #Constraints: 140670
3600.03/3610.40 c #Conflicts: 1419000 | #Constraints: 141670
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 1420000 | #Constraints: 119077
3600.03/3610.40 c #Conflicts: 1421000 | #Constraints: 120077
3600.03/3610.40 c #Conflicts: 1422000 | #Constraints: 121077
3600.03/3610.40 c #Conflicts: 1423000 | #Constraints: 122077
3600.03/3610.40 c #Conflicts: 1424000 | #Constraints: 123077
3600.03/3610.40 c #Conflicts: 1425000 | #Constraints: 124077
3600.03/3610.40 c #Conflicts: 1426000 | #Constraints: 125077
3600.03/3610.40 c #Conflicts: 1427000 | #Constraints: 126077
3600.03/3610.40 c #Conflicts: 1428000 | #Constraints: 127077
3600.03/3610.40 c #Conflicts: 1429000 | #Constraints: 128077
3600.03/3610.40 c #Conflicts: 1430000 | #Constraints: 129077
3600.03/3610.40 c #Conflicts: 1431000 | #Constraints: 130077
3600.03/3610.40 c #Conflicts: 1432000 | #Constraints: 131077
3600.03/3610.40 c #Conflicts: 1433000 | #Constraints: 132077
3600.03/3610.40 c #Conflicts: 1434000 | #Constraints: 133077
3600.03/3610.40 c #Conflicts: 1435000 | #Constraints: 134077
3600.03/3610.40 c #Conflicts: 1436000 | #Constraints: 135077
3600.03/3610.40 c #Conflicts: 1437000 | #Constraints: 136077
3600.03/3610.40 c #Conflicts: 1438000 | #Constraints: 137077
3600.03/3610.40 c #Conflicts: 1439000 | #Constraints: 138077
3600.03/3610.40 c #Conflicts: 1440000 | #Constraints: 139077
3600.03/3610.40 c #Conflicts: 1441000 | #Constraints: 140077
3600.03/3610.40 c #Conflicts: 1442000 | #Constraints: 141077
3600.03/3610.40 c #Conflicts: 1443000 | #Constraints: 142077
3600.03/3610.40 c INPROCESSING
3600.03/3610.40 c GARBAGE COLLECT
3600.03/3610.40 c #Conflicts: 1444000 | #Constraints: 119266
3600.03/3610.40 c #Conflicts: 1445000 | #Constraints: 120266
3600.03/3610.40 c #Conflicts: 1446000 | #Constraints: 121266
3600.03/3610.40 c #Conflicts: 1447000 | #Constraints: 122266
3600.03/3610.40 c #Conflicts: 1448000 | #Constraints: 123266
3600.03/3610.40 c #Conflicts: 1449000 | #Constraints: 124266
3600.03/3610.40 c #Conflicts: 1450000 | #Constraints: 125266
3600.03/3610.40 c #Conflicts: 1451000 | #Constraints: 126266
3600.03/3610.40 c #Conflicts: 1452000 | #Constraints: 127266
3600.03/3610.40 c #Conflicts: 1453000 | #Constraints: 128266
3600.03/3610.40 c #Conflicts: 1454000 | #Constraints: 129266
3600.03/3610.40 c #Conflicts: 1455000 | #Constraints: 130266
3600.03/3610.40 c #Conflicts: 1456000 | #Constraints: 131266
3600.03/3610.40 c #Conflicts: 1457000 | #Constraints: 132266
3600.03/3610.40 c #Conflicts: 1458000 | #Constraints: 133266
3600.03/3610.40 c #Conflicts: 1459000 | #Constraints: 134266
3600.03/3610.40 c #Conflicts: 1460000 | #Constraints: 135266
3600.03/3610.40 c #Conflicts: 1461000 | #Constraints: 136266
3600.03/3610.40 c Program interrupted by user.
3600.03/3610.40 c cpu time 3592.78 s
3600.03/3610.40 c deterministic time 738231805684 7.38e+11
3600.03/3610.40 c optimization time 47.8046 s
3600.03/3610.40 c total solve time 3245.59 s
3600.03/3610.40 c core-guided solve time 3245.59 s
3600.03/3610.40 c propagation time 3069.97 s
3600.03/3610.40 c conflict analysis time 173.908 s
3600.03/3610.40 c propagations 39813870
3600.03/3610.40 c resolve steps 11262531
3600.03/3610.40 c decisions 2630778
3600.03/3610.40 c conflicts 1461913
3600.03/3610.40 c restarts 2812
3600.03/3610.40 c inprocessing phases 111
3600.03/3610.40 c input clauses 94367
3600.03/3610.40 c input cardinalities 28
3600.03/3610.40 c input general constraints 0
3600.03/3610.40 c input average constraint length 2.39
3600.03/3610.40 c input average constraint degree 1.30
3600.03/3610.40 c learned clauses 882046
3600.03/3610.40 c learned cardinalities 402002
3600.03/3610.40 c learned general constraints 177864
3600.03/3610.40 c learned average constraint length 1206.84
3600.03/3610.40 c learned average constraint degree 17.91
3600.03/3610.40 c watched constraints 177864
3600.03/3610.40 c counting constraints 0
3600.03/3610.40 c gcd simplifications 102289
3600.03/3610.40 c detected cardinalities 23299
3600.03/3610.40 c weakened non-implied lits 21050587
3600.03/3610.40 c weakened non-implying lits 78562
3600.03/3610.40 c original variables 1272
3600.03/3610.40 c clausal propagations 28513807
3600.03/3610.40 c cardinality propagations 5856675
3600.03/3610.40 c watched propagations 931095
3600.03/3610.40 c counting propagations 0
3600.03/3610.40 c watch lookups 21258096260
3600.03/3610.40 c watch backjump lookups 2694618
3600.03/3610.40 c watch checks 711580556069
3600.03/3610.40 c propagation checks 1644436430
3600.03/3610.40 c constraint additions 3659672522
3600.03/3610.40 c trail pops 43905136
3600.03/3610.40 c formula constraints 94127
3600.03/3610.40 c learned constraints 1461912
3600.03/3610.40 c bound constraints 28
3600.03/3610.40 c core-guided constraints 240
3600.03/3610.40 c encountered formula constraints 9506897
3600.03/3610.40 c encountered learned constraints 3187273
3600.03/3610.40 c encountered bound constraints 2511
3600.03/3610.40 c encountered core-guided constraints 27763
3600.03/3610.40 c LP total time 0 s
3600.03/3610.40 c LP solve time 0 s
3600.03/3610.40 c LP constraints added 0
3600.03/3610.40 c LP constraints removed 0
3600.03/3610.40 c LP pivots internal 0
3600.03/3610.40 c LP pivots root 0
3600.03/3610.40 c LP calls 0
3600.03/3610.40 c LP optimalities 0
3600.03/3610.40 c LP no pivot count 0
3600.03/3610.40 c LP infeasibilities 0
3600.03/3610.40 c LP valid Farkas constraints 0
3600.03/3610.40 c LP learned Farkas constraints 0
3600.03/3610.40 c LP basis resets 0
3600.03/3610.40 c LP cycling count 0
3600.03/3610.40 c LP singular count 0
3600.03/3610.40 c LP no primal count 0
3600.03/3610.40 c LP no farkas count 0
3600.03/3610.40 c LP other issue count 0
3600.03/3610.40 c LP Gomory cuts 0
3600.03/3610.40 c LP learned cuts 0
3600.03/3610.40 c LP deleted cuts 0
3600.03/3610.40 c LP encountered Gomory constraints 0
3600.03/3610.40 c LP encountered Farkas constraints 0
3600.03/3610.40 c LP encountered learned Farkas constraints 0
3600.03/3610.40 c CG auxiliary variables introduced 240
3600.03/3610.40 c CG solutions found 0
3600.03/3610.40 c CG cores constructed 27
3600.03/3610.40 c CG core cardinality constraints returned 0
3600.03/3610.40 c CG unit cores 0
3600.03/3610.40 c CG single cores 27
3600.03/3610.40 c CG blocks removed during cardinality reduction 0
3600.03/3610.40 c CG first core best 0
3600.03/3610.40 c CG decision core best 0
3600.03/3610.40 c CG core reduction tie 0
3600.03/3610.40 c CG core degree average 1.00
3600.03/3610.40 c CG core slack average 7.67
3600.03/3610.40 c CG exhausted 0
3600.03/3610.40 c CG exhaust time 0 s
3600.03/3610.40 c CG trimmed 3
3600.03/3610.40 c CG trim time 0.000354 s
3600.03/3610.40 c CG minimized 0
3600.03/3610.40 c CG minimize time 0 s
3600.03/3610.40 c CG am1 prop time 0.007064 s
3600.03/3610.40 c CG # am1s reformulated 240
3600.03/3610.40 c CG lower bound derived from am1s 1031
3600.03/3610.40 c CG # clausal cores 27
3600.03/3610.40 c CG # cardinality cores 0
3600.03/3610.40 c CG # pb cores 0
3600.03/3610.40 c CG # pb reforms 0
3600.03/3610.40 c CG # cores discarded because of pb reform 0
3600.03/3610.40 d LOWERBOUND -214
3600.03/3610.40 d NCORES 27
3600.03/3610.40 d NPBCORES 0
3600.03/3610.40 d NPBREFORM 0
3600.03/3610.40 d NTRIMMED 3
3600.03/3610.40 d NEXHAUSTED 0
3600.03/3610.40 d NAM1S 240
3600.03/3610.40 d AM1LB 1031
3600.03/3610.40 c [Papilo Statistics]
3600.03/3610.40 c prepro time 0.257731s
3600.03/3610.40 c # tsx applied 0
3600.03/3610.40 c # tsx conflicts 0
3600.03/3610.40 c # bound changes 0
3600.03/3610.40 c # side changes 0
3600.03/3610.40 c # coef changes 0
3600.03/3610.40 c # rounds 1
3600.03/3610.40 c # deted vars 0
3600.03/3610.40 c # deted constrs 0
3600.03/3610.40 c # consecutive rounds of only bound changes 0
3600.03/3610.41 s UNKNOWN
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 (61727 MiB free)
memory of node 1: 64465 MiB (63063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528985-1752253811/watcher-4528985-1752253811 -o /tmp/evaluation-result-4528985-1752253811/solver-4528985-1752253811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122694 --watchdog 3760 mixed-bag HOME/instance-4528985-1752253811.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=122798, runsolver pid=122795
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.04 1.30 2.10 5/266 122799
/proc/meminfo: memFree=127769820/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=88240 memory=15800 CPUtime=0.08 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 2555 0 0 0 8 0 0 0 20 0 1 0 141058628 90357760 3950 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 22060 3950 2144 2834 0 4812 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88240 KiB
Current children cumulated memory: 15800 KiB
[startup+0.205695 s]*
/proc/loadavg: 1.04 1.30 2.10 5/266 122799
/proc/meminfo: memFree=127673680/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=137092 memory=57408 CPUtime=0.19 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 10677 0 0 0 17 2 0 0 20 0 1 0 141058628 140382208 14352 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 34273 14352 2208 2834 0 16478 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137092 KiB
Current children cumulated memory: 57408 KiB
[startup+0.305914 s]*
/proc/loadavg: 1.04 1.30 2.10 5/266 122799
/proc/meminfo: memFree=127580876/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=137092 memory=57664 CPUtime=0.29 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 10690 0 0 0 27 2 0 0 20 0 1 0 141058628 140382208 14416 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 34273 14416 2272 2834 0 16478 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 137092 KiB
Current children cumulated memory: 57664 KiB
[startup+0.700185 s]
/proc/loadavg: 1.04 1.30 2.10 5/266 122799
/proc/meminfo: memFree=127480324/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=243368 memory=167932 CPUtime=0.68 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 38133 0 0 0 62 6 0 0 20 0 1 0 141058628 249208832 41983 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 60842 41983 3968 2834 0 43047 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 243368 KiB
Current children cumulated memory: 167932 KiB
[startup+1.50021 s]
/proc/loadavg: 1.28 1.34 2.11 5/262 122807
/proc/meminfo: memFree=127408552/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=297988 memory=221324 CPUtime=1.48 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 55741 0 0 0 138 10 0 0 20 0 1 0 141058628 305139712 55331 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 74497 55331 4032 2834 0 56702 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 297988 KiB
Current children cumulated memory: 221324 KiB
[startup+3.10561 s]
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=126935820/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=611804 memory=493796 CPUtime=3.08 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 84251 0 0 0 290 18 0 0 20 0 1 0 141058628 626487296 123449 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 152951 123449 4224 2834 0 135156 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 611804 KiB
Current children cumulated memory: 493796 KiB
[startup+6.3001 s]
/proc/loadavg: 1.49 1.39 2.12 5/266 122844
/proc/meminfo: memFree=126596916/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=656440 memory=527024 CPUtime=6.26 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 91522 0 0 0 607 19 0 0 20 0 1 0 141058628 672194560 131756 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 164110 131756 4224 2834 0 146315 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 656440 KiB
Current children cumulated memory: 527024 KiB
[startup+12.7001 s]
/proc/loadavg: 1.69 1.43 2.13 5/266 122844
/proc/meminfo: memFree=126580924/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=673560 memory=535340 CPUtime=12.64 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 92585 0 0 0 1245 19 0 0 20 0 1 0 141058628 689725440 133835 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 168390 133835 4224 2834 0 150595 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 673560 KiB
Current children cumulated memory: 535340 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.53 2.16 5/267 122846
/proc/meminfo: memFree=126565820/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=774716 memory=543020 CPUtime=25.41 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 94511 0 0 0 2521 20 0 0 20 0 1 0 141058628 793309184 135755 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 193679 135755 4224 2834 0 175884 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 774716 KiB
Current children cumulated memory: 543020 KiB
[startup+51.1058 s]
/proc/loadavg: 2.86 1.77 2.22 5/267 122846
/proc/meminfo: memFree=126050604/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=943236 memory=652844 CPUtime=50.92 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 121946 0 0 0 5068 24 0 0 20 0 1 0 141058628 965873664 163211 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 235809 163211 4256 2834 0 218014 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 943236 KiB
Current children cumulated memory: 652844 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.14 2.33 5/267 122848
/proc/meminfo: memFree=125988224/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1005380 memory=655664 CPUtime=101.91 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 122260 0 0 0 10167 24 0 0 20 0 1 0 141058628 1029509120 163916 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 251345 163916 4256 2834 0 233550 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1005380 KiB
Current children cumulated memory: 655664 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.50 2.44 5/266 122850
/proc/meminfo: memFree=125719112/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1142612 memory=731056 CPUtime=161.68 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 146821 0 0 0 16140 28 0 0 20 0 1 0 141058628 1170034688 182764 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 285653 182764 4256 2834 0 267858 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1142612 KiB
Current children cumulated memory: 731056 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.79 2.55 5/266 122852
/proc/meminfo: memFree=125478312/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1165032 memory=738096 CPUtime=221.49 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 148596 0 0 0 22121 28 0 0 20 0 1 0 141058628 1192992768 184524 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 291258 184524 4256 2834 0 273463 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1165032 KiB
Current children cumulated memory: 738096 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.04 2.65 5/266 122854
/proc/meminfo: memFree=125410316/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1322560 memory=770804 CPUtime=281.31 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 151235 0 0 0 28102 29 0 0 20 0 1 0 141058628 1354301440 192701 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 330640 192701 4256 2834 0 312845 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1322560 KiB
Current children cumulated memory: 770804 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.23 2.74 5/265 122856
/proc/meminfo: memFree=126008640/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1142492 memory=638136 CPUtime=341.15 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 154993 0 0 0 34047 68 0 0 20 0 1 0 141058628 1169911808 159534 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 285623 159534 4448 2834 0 267828 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 1142492 KiB
Current children cumulated memory: 638136 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.41 2.83 5/264 122858
/proc/meminfo: memFree=125922452/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1142492 memory=654576 CPUtime=400.97 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 155015 0 0 0 39998 99 0 0 20 0 1 0 141058628 1169911808 163644 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 285623 163644 4448 2834 0 267828 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1142492 KiB
Current children cumulated memory: 654576 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.53 2.92 5/264 122867
/proc/meminfo: memFree=125843944/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1192580 memory=668956 CPUtime=460.8 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 155560 0 0 0 45956 124 0 0 20 0 1 0 141058628 1221201920 167239 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 298145 167239 4448 2834 0 280350 0
################
# More data... #
################
Current children cumulated memory: 925224 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/263 122978
/proc/meminfo: memFree=124912716/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=927272 CPUtime=2854 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 156801 0 0 0 284782 618 0 0 20 0 1 0 141058628 1439977472 231818 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 231818 4448 2834 0 333762 0
Current children cumulated CPU time: 2854 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 927272 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 122981
/proc/meminfo: memFree=124906588/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=929320 CPUtime=2913.85 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 156907 0 0 0 290756 629 0 0 20 0 1 0 141058628 1439977472 232330 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 232330 4448 2834 0 333762 0
Current children cumulated CPU time: 2913.85 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 929320 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/263 122983
/proc/meminfo: memFree=124921548/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=933416 CPUtime=2973.68 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157026 0 0 0 296730 638 0 0 20 0 1 0 141058628 1439977472 233354 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 233354 4448 2834 0 333762 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 933416 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 122985
/proc/meminfo: memFree=124917080/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=933416 CPUtime=3033.52 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157031 0 0 0 302705 647 0 0 20 0 1 0 141058628 1439977472 233354 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 233354 4448 2834 0 333762 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 933416 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.10 4.02 5/263 122998
/proc/meminfo: memFree=124911476/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=933416 CPUtime=3093.35 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157031 0 0 0 308680 655 0 0 20 0 1 0 141058628 1439977472 233354 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 233354 4448 2834 0 333762 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 933416 KiB
[startup+3162.3 s]
/proc/loadavg: 4.52 4.20 4.06 5/263 123000
/proc/meminfo: memFree=124903500/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=935464 CPUtime=3153.18 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157033 0 0 0 314654 664 0 0 20 0 1 0 141058628 1439977472 233866 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 233866 4448 2834 0 333762 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 935464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.22 4.08 5/263 123002
/proc/meminfo: memFree=124895252/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=939560 CPUtime=3213.02 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157035 0 0 0 320628 674 0 0 20 0 1 0 141058628 1439977472 234890 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 234890 4448 2834 0 333762 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 939560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.22 4.09 5/262 123004
/proc/meminfo: memFree=124882940/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=945704 CPUtime=3272.85 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157038 0 0 0 326602 683 0 0 20 0 1 0 141058628 1439977472 236426 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 236426 4448 2834 0 333762 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 945704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.20 4.09 5/262 123006
/proc/meminfo: memFree=124878788/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=945704 CPUtime=3332.69 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157038 0 0 0 332578 691 0 0 20 0 1 0 141058628 1439977472 236426 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 236426 4448 2834 0 333762 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 945704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/263 123009
/proc/meminfo: memFree=124878584/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=945704 CPUtime=3392.52 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157039 0 0 0 338554 698 0 0 20 0 1 0 141058628 1439977472 236426 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 236426 4448 2834 0 333762 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 945704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 123018
/proc/meminfo: memFree=124878924/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=945704 CPUtime=3452.35 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157039 0 0 0 344529 706 0 0 20 0 1 0 141058628 1439977472 236426 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 236426 4448 2834 0 333762 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 945704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/264 123020
/proc/meminfo: memFree=124866548/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=947752 CPUtime=3512.19 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157040 0 0 0 350503 716 0 0 20 0 1 0 141058628 1439977472 236938 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 236938 4448 2834 0 333762 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 947752 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/264 123021
/proc/meminfo: memFree=124866168/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=949800 CPUtime=3572.02 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157149 0 0 0 356479 723 0 0 20 0 1 0 141058628 1439977472 237450 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 237450 4448 2834 0 333762 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 949800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 123113
/proc/meminfo: memFree=126724956/131249996 swapFree=33006296/33010684
[pid=122798] ppid=122795 vsize=1406228 memory=949800 CPUtime=3600.03 cores=0,2
/proc/122798/stat : 122798 (mixed-bag) R 122795 122798 122684 0 -1 4194304 157258 0 0 0 359276 727 0 0 20 0 1 0 141058628 1439977472 237450 18446744073709551615 4235264 15840557 140733205870640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 33550336 140733205875098 140733205875175 140733205875175 140733205880779 0
/proc/122798/statm: 351557 237450 4448 2834 0 333762 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1406228 KiB
Current children cumulated memory: 949800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 122798 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.78 s, system=7.28115 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.06
CPU user time (s): 3592.78
CPU system time (s): 7.28115
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 1406228
Max. memory (cumulated for all children) (KiB): 949800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.78
system time used= 7.28115
maximum resident set size= 950440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187
involuntary context switches= 4676
# summary of solver processes directly reported to runsolver:
# pid: 122798
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.78
# total CPU system time (s): 7.28115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24547 second user time and 15.8508 second system time
The end
Begin job on nodeC015 at 2025-07-11 19:10:11
IDJOB=4528985
IDBENCH=146671
IDSOLVER=3386
FILE ID=nodeC015/4528985-1752253811
RUNJOBID= nodeC015-1752253809-122694
SLURM_JOB_ID= 9682590
Free space on /tmp= 432364 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528985-1752253811/watcher-4528985-1752253811 -o /tmp/evaluation-result-4528985-1752253811/solver-4528985-1752253811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122694 --watchdog 3760 mixed-bag HOME/instance-4528985-1752253811.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4c4220841569fe2ff0ce6d0e8718e711
RANDOM SEED=404038830
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.564
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.021
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.878
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.082
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127789980 kB
MemAvailable: 128717548 kB
Buffers: 1508 kB
Cached: 1706748 kB
SwapCached: 3880 kB
Active: 1318456 kB
Inactive: 1457328 kB
Active(anon): 1032960 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1408604 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64348 kB
Writeback: 4 kB
AnonPages: 1066972 kB
Mapped: 134552 kB
Shmem: 14152 kB
KReclaimable: 145412 kB
Slab: 238948 kB
SReclaimable: 145412 kB
SUnreclaim: 93536 kB
KernelStack: 4320 kB
PageTables: 5116 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1516248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 323584 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432256 MiB
End job on nodeC015 at 2025-07-11 20:10:22