0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 4977 #constraints 5569
0.00/0.03 c SMALL=int, LARGE=long long
40.48/40.63 c bounds - >= 7 @ 0.02291
40.48/40.63 c #Conflicts: 1000 | #Constraints: 6568
40.48/40.63 c #Conflicts: 2000 | #Constraints: 7568
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 3000 | #Constraints: 2610
40.48/40.63 c #Conflicts: 4000 | #Constraints: 3610
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 5000 | #Constraints: 3024
40.48/40.63 c #Conflicts: 6000 | #Constraints: 4024
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 7000 | #Constraints: 3024
40.48/40.63 c #Conflicts: 8000 | #Constraints: 4024
40.48/40.63 c #Conflicts: 9000 | #Constraints: 5024
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 10000 | #Constraints: 3722
40.48/40.63 c #Conflicts: 11000 | #Constraints: 4722
40.48/40.63 c #Conflicts: 12000 | #Constraints: 5722
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 13000 | #Constraints: 4172
40.48/40.63 c #Conflicts: 14000 | #Constraints: 5172
40.48/40.63 c #Conflicts: 15000 | #Constraints: 6172
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 16000 | #Constraints: 4396
40.48/40.63 c #Conflicts: 17000 | #Constraints: 5396
40.48/40.63 c #Conflicts: 18000 | #Constraints: 6396
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 19000 | #Constraints: 4437
40.48/40.63 c #Conflicts: 20000 | #Constraints: 5437
40.48/40.63 c #Conflicts: 21000 | #Constraints: 6437
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 22000 | #Constraints: 4232
40.48/40.63 c #Conflicts: 23000 | #Constraints: 5232
40.48/40.63 c #Conflicts: 24000 | #Constraints: 6232
40.48/40.63 c #Conflicts: 25000 | #Constraints: 7232
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 26000 | #Constraints: 4832
40.48/40.63 c #Conflicts: 27000 | #Constraints: 5832
40.48/40.63 c #Conflicts: 28000 | #Constraints: 6832
40.48/40.63 c #Conflicts: 29000 | #Constraints: 7832
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 30000 | #Constraints: 5224
40.48/40.63 c #Conflicts: 31000 | #Constraints: 6224
40.48/40.63 c #Conflicts: 32000 | #Constraints: 7224
40.48/40.63 c #Conflicts: 33000 | #Constraints: 8224
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 34000 | #Constraints: 5430
40.48/40.63 c #Conflicts: 35000 | #Constraints: 6430
40.48/40.63 c #Conflicts: 36000 | #Constraints: 7430
40.48/40.63 c #Conflicts: 37000 | #Constraints: 8430
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 38000 | #Constraints: 5434
40.48/40.63 c #Conflicts: 39000 | #Constraints: 6434
40.48/40.63 c #Conflicts: 40000 | #Constraints: 7434
40.48/40.63 c #Conflicts: 41000 | #Constraints: 8434
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 42000 | #Constraints: 5248
40.48/40.63 c #Conflicts: 43000 | #Constraints: 6248
40.48/40.63 c #Conflicts: 44000 | #Constraints: 7248
40.48/40.63 c #Conflicts: 45000 | #Constraints: 8248
40.48/40.63 c #Conflicts: 46000 | #Constraints: 9248
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 47000 | #Constraints: 5831
40.48/40.63 c #Conflicts: 48000 | #Constraints: 6831
40.48/40.63 c #Conflicts: 49000 | #Constraints: 7831
40.48/40.63 c #Conflicts: 50000 | #Constraints: 8831
40.48/40.63 c #Conflicts: 51000 | #Constraints: 9831
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 52000 | #Constraints: 6235
40.48/40.63 c #Conflicts: 53000 | #Constraints: 7235
40.48/40.63 c #Conflicts: 54000 | #Constraints: 8235
40.48/40.63 c #Conflicts: 55000 | #Constraints: 9235
40.48/40.63 c #Conflicts: 56000 | #Constraints: 10235
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 57000 | #Constraints: 6427
40.48/40.63 c #Conflicts: 58000 | #Constraints: 7427
40.48/40.63 c #Conflicts: 59000 | #Constraints: 8427
40.48/40.63 c #Conflicts: 60000 | #Constraints: 9427
40.48/40.63 c #Conflicts: 61000 | #Constraints: 10427
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 62000 | #Constraints: 6431
40.48/40.63 c #Conflicts: 63000 | #Constraints: 7431
40.48/40.63 c #Conflicts: 64000 | #Constraints: 8431
40.48/40.63 c #Conflicts: 65000 | #Constraints: 9431
40.48/40.63 c #Conflicts: 66000 | #Constraints: 10431
40.48/40.63 c INPROCESSING
40.48/40.63 c GARBAGE COLLECT
40.48/40.63 c #Conflicts: 67000 | #Constraints: 6233
128.85/129.20 c #Conflicts: 68000 | #Constraints: 7233
128.85/129.20 c #Conflicts: 69000 | #Constraints: 8233
128.85/129.20 c #Conflicts: 70000 | #Constraints: 9233
128.85/129.20 c #Conflicts: 71000 | #Constraints: 10233
128.85/129.20 c #Conflicts: 72000 | #Constraints: 11233
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 73000 | #Constraints: 6827
128.85/129.20 c #Conflicts: 74000 | #Constraints: 7827
128.85/129.20 c #Conflicts: 75000 | #Constraints: 8827
128.85/129.20 c #Conflicts: 76000 | #Constraints: 9827
128.85/129.20 c #Conflicts: 77000 | #Constraints: 10827
128.85/129.20 c #Conflicts: 78000 | #Constraints: 11827
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 79000 | #Constraints: 7230
128.85/129.20 c #Conflicts: 80000 | #Constraints: 8230
128.85/129.20 c #Conflicts: 81000 | #Constraints: 9230
128.85/129.20 c #Conflicts: 82000 | #Constraints: 10230
128.85/129.20 c #Conflicts: 83000 | #Constraints: 11230
128.85/129.20 c #Conflicts: 84000 | #Constraints: 12230
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 85000 | #Constraints: 7433
128.85/129.20 c #Conflicts: 86000 | #Constraints: 8433
128.85/129.20 c #Conflicts: 87000 | #Constraints: 9433
128.85/129.20 c #Conflicts: 88000 | #Constraints: 10433
128.85/129.20 c #Conflicts: 89000 | #Constraints: 11433
128.85/129.20 c #Conflicts: 90000 | #Constraints: 12433
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 91000 | #Constraints: 7434
128.85/129.20 c #Conflicts: 92000 | #Constraints: 8434
128.85/129.20 c #Conflicts: 93000 | #Constraints: 9434
128.85/129.20 c #Conflicts: 94000 | #Constraints: 10434
128.85/129.20 c #Conflicts: 95000 | #Constraints: 11434
128.85/129.20 c #Conflicts: 96000 | #Constraints: 12434
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 97000 | #Constraints: 7258
128.85/129.20 c #Conflicts: 98000 | #Constraints: 8258
128.85/129.20 c #Conflicts: 99000 | #Constraints: 9258
128.85/129.20 c #Conflicts: 100000 | #Constraints: 10258
128.85/129.20 c #Conflicts: 101000 | #Constraints: 11258
128.85/129.20 c #Conflicts: 102000 | #Constraints: 12258
128.85/129.20 c #Conflicts: 103000 | #Constraints: 13258
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 104000 | #Constraints: 7844
128.85/129.20 c #Conflicts: 105000 | #Constraints: 8844
128.85/129.20 c #Conflicts: 106000 | #Constraints: 9844
128.85/129.20 c #Conflicts: 107000 | #Constraints: 10844
128.85/129.20 c #Conflicts: 108000 | #Constraints: 11844
128.85/129.20 c #Conflicts: 109000 | #Constraints: 12844
128.85/129.20 c #Conflicts: 110000 | #Constraints: 13844
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 111000 | #Constraints: 8243
128.85/129.20 c #Conflicts: 112000 | #Constraints: 9243
128.85/129.20 c #Conflicts: 113000 | #Constraints: 10243
128.85/129.20 c #Conflicts: 114000 | #Constraints: 11243
128.85/129.20 c #Conflicts: 115000 | #Constraints: 12243
128.85/129.20 c #Conflicts: 116000 | #Constraints: 13243
128.85/129.20 c #Conflicts: 117000 | #Constraints: 14243
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 118000 | #Constraints: 8436
128.85/129.20 c #Conflicts: 119000 | #Constraints: 9436
128.85/129.20 c #Conflicts: 120000 | #Constraints: 10436
128.85/129.20 c #Conflicts: 121000 | #Constraints: 11436
128.85/129.20 c #Conflicts: 122000 | #Constraints: 12436
128.85/129.20 c #Conflicts: 123000 | #Constraints: 13436
128.85/129.20 c #Conflicts: 124000 | #Constraints: 14436
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 125000 | #Constraints: 8427
128.85/129.20 c #Conflicts: 126000 | #Constraints: 9427
128.85/129.20 c #Conflicts: 127000 | #Constraints: 10427
128.85/129.20 c #Conflicts: 128000 | #Constraints: 11427
128.85/129.20 c #Conflicts: 129000 | #Constraints: 12427
128.85/129.20 c #Conflicts: 130000 | #Constraints: 13427
128.85/129.20 c #Conflicts: 131000 | #Constraints: 14427
128.85/129.20 c INPROCESSING
128.85/129.20 c GARBAGE COLLECT
128.85/129.20 c #Conflicts: 132000 | #Constraints: 8235
128.85/129.20 c #Conflicts: 133000 | #Constraints: 9235
128.85/129.20 c #Conflicts: 134000 | #Constraints: 10235
128.85/129.20 c #Conflicts: 135000 | #Constraints: 11235
128.85/129.20 c #Conflicts: 136000 | #Constraints: 12235
128.85/129.20 c #Conflicts: 137000 | #Constraints: 13235
128.85/129.20 c #Conflicts: 138000 | #Constraints: 14235
128.85/129.20 c #Conflicts: 139000 | #Constraints: 15235
128.85/129.20 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 140000 | #Constraints: 8854
217.70/218.37 c #Conflicts: 141000 | #Constraints: 9854
217.70/218.37 c #Conflicts: 142000 | #Constraints: 10854
217.70/218.37 c #Conflicts: 143000 | #Constraints: 11854
217.70/218.37 c #Conflicts: 144000 | #Constraints: 12854
217.70/218.37 c #Conflicts: 145000 | #Constraints: 13854
217.70/218.37 c #Conflicts: 146000 | #Constraints: 14854
217.70/218.37 c #Conflicts: 147000 | #Constraints: 15854
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 148000 | #Constraints: 9258
217.70/218.37 c #Conflicts: 149000 | #Constraints: 10258
217.70/218.37 c #Conflicts: 150000 | #Constraints: 11258
217.70/218.37 c #Conflicts: 151000 | #Constraints: 12258
217.70/218.37 c #Conflicts: 152000 | #Constraints: 13258
217.70/218.37 c #Conflicts: 153000 | #Constraints: 14258
217.70/218.37 c #Conflicts: 154000 | #Constraints: 15258
217.70/218.37 c #Conflicts: 155000 | #Constraints: 16258
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 156000 | #Constraints: 9485
217.70/218.37 c #Conflicts: 157000 | #Constraints: 10485
217.70/218.37 c #Conflicts: 158000 | #Constraints: 11485
217.70/218.37 c #Conflicts: 159000 | #Constraints: 12485
217.70/218.37 c #Conflicts: 160000 | #Constraints: 13485
217.70/218.37 c #Conflicts: 161000 | #Constraints: 14485
217.70/218.37 c #Conflicts: 162000 | #Constraints: 15485
217.70/218.37 c #Conflicts: 163000 | #Constraints: 16485
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 164000 | #Constraints: 9465
217.70/218.37 c #Conflicts: 165000 | #Constraints: 10465
217.70/218.37 c #Conflicts: 166000 | #Constraints: 11465
217.70/218.37 c #Conflicts: 167000 | #Constraints: 12465
217.70/218.37 c #Conflicts: 168000 | #Constraints: 13465
217.70/218.37 c #Conflicts: 169000 | #Constraints: 14465
217.70/218.37 c #Conflicts: 170000 | #Constraints: 15465
217.70/218.37 c #Conflicts: 171000 | #Constraints: 16465
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 172000 | #Constraints: 9244
217.70/218.37 c #Conflicts: 173000 | #Constraints: 10244
217.70/218.37 c #Conflicts: 174000 | #Constraints: 11244
217.70/218.37 c #Conflicts: 175000 | #Constraints: 12244
217.70/218.37 c #Conflicts: 176000 | #Constraints: 13244
217.70/218.37 c #Conflicts: 177000 | #Constraints: 14244
217.70/218.37 c #Conflicts: 178000 | #Constraints: 15244
217.70/218.37 c #Conflicts: 179000 | #Constraints: 16244
217.70/218.37 c #Conflicts: 180000 | #Constraints: 17244
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 181000 | #Constraints: 9833
217.70/218.37 c #Conflicts: 182000 | #Constraints: 10833
217.70/218.37 c #Conflicts: 183000 | #Constraints: 11833
217.70/218.37 c #Conflicts: 184000 | #Constraints: 12833
217.70/218.37 c #Conflicts: 185000 | #Constraints: 13833
217.70/218.37 c #Conflicts: 186000 | #Constraints: 14833
217.70/218.37 c #Conflicts: 187000 | #Constraints: 15833
217.70/218.37 c #Conflicts: 188000 | #Constraints: 16833
217.70/218.37 c #Conflicts: 189000 | #Constraints: 17833
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 190000 | #Constraints: 10250
217.70/218.37 c #Conflicts: 191000 | #Constraints: 11250
217.70/218.37 c #Conflicts: 192000 | #Constraints: 12250
217.70/218.37 c #Conflicts: 193000 | #Constraints: 13250
217.70/218.37 c #Conflicts: 194000 | #Constraints: 14250
217.70/218.37 c #Conflicts: 195000 | #Constraints: 15250
217.70/218.37 c #Conflicts: 196000 | #Constraints: 16250
217.70/218.37 c #Conflicts: 197000 | #Constraints: 17250
217.70/218.37 c #Conflicts: 198000 | #Constraints: 18250
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 199000 | #Constraints: 10454
217.70/218.37 c #Conflicts: 200000 | #Constraints: 11454
217.70/218.37 c #Conflicts: 201000 | #Constraints: 12454
217.70/218.37 c #Conflicts: 202000 | #Constraints: 13454
217.70/218.37 c #Conflicts: 203000 | #Constraints: 14454
217.70/218.37 c #Conflicts: 204000 | #Constraints: 15454
217.70/218.37 c #Conflicts: 205000 | #Constraints: 16454
217.70/218.37 c #Conflicts: 206000 | #Constraints: 17454
217.70/218.37 c #Conflicts: 207000 | #Constraints: 18454
217.70/218.37 c INPROCESSING
217.70/218.37 c GARBAGE COLLECT
217.70/218.37 c #Conflicts: 208000 | #Constraints: 10466
217.70/218.37 c #Conflicts: 209000 | #Constraints: 11466
217.70/218.37 c #Conflicts: 210000 | #Constraints: 12466
217.70/218.37 c #Conflicts: 211000 | #Constraints: 13466
217.70/218.37 c #Conflicts: 212000 | #Constraints: 14466
217.70/218.37 c #Conflicts: 213000 | #Constraints: 15466
316.25/317.16 c #Conflicts: 214000 | #Constraints: 16466
316.25/317.16 c #Conflicts: 215000 | #Constraints: 17466
316.25/317.16 c #Conflicts: 216000 | #Constraints: 18466
316.25/317.16 c INPROCESSING
316.25/317.16 c GARBAGE COLLECT
316.25/317.16 c #Conflicts: 217000 | #Constraints: 10267
316.25/317.16 c #Conflicts: 218000 | #Constraints: 11267
316.25/317.16 c #Conflicts: 219000 | #Constraints: 12267
316.25/317.16 c #Conflicts: 220000 | #Constraints: 13267
316.25/317.16 c #Conflicts: 221000 | #Constraints: 14267
316.25/317.16 c #Conflicts: 222000 | #Constraints: 15267
316.25/317.16 c #Conflicts: 223000 | #Constraints: 16267
316.25/317.16 c #Conflicts: 224000 | #Constraints: 17267
316.25/317.16 c #Conflicts: 225000 | #Constraints: 18267
316.25/317.16 c #Conflicts: 226000 | #Constraints: 19267
316.25/317.16 c INPROCESSING
316.25/317.16 c GARBAGE COLLECT
316.25/317.16 c #Conflicts: 227000 | #Constraints: 10869
316.25/317.16 c #Conflicts: 228000 | #Constraints: 11869
316.25/317.16 c #Conflicts: 229000 | #Constraints: 12869
316.25/317.16 c #Conflicts: 230000 | #Constraints: 13869
316.25/317.16 c #Conflicts: 231000 | #Constraints: 14869
316.25/317.16 c #Conflicts: 232000 | #Constraints: 15869
316.25/317.16 c #Conflicts: 233000 | #Constraints: 16869
316.25/317.16 c #Conflicts: 234000 | #Constraints: 17869
316.25/317.16 c #Conflicts: 235000 | #Constraints: 18869
316.25/317.16 c #Conflicts: 236000 | #Constraints: 19869
316.25/317.16 c INPROCESSING
316.25/317.16 c GARBAGE COLLECT
316.25/317.16 c #Conflicts: 237000 | #Constraints: 11252
316.25/317.16 c #Conflicts: 238000 | #Constraints: 12252
316.25/317.16 c #Conflicts: 239000 | #Constraints: 13252
316.25/317.16 c #Conflicts: 240000 | #Constraints: 14252
316.25/317.16 c #Conflicts: 241000 | #Constraints: 15252
316.25/317.16 c #Conflicts: 242000 | #Constraints: 16252
316.25/317.16 c #Conflicts: 243000 | #Constraints: 17252
316.25/317.16 c #Conflicts: 244000 | #Constraints: 18252
316.25/317.16 c #Conflicts: 245000 | #Constraints: 19252
316.25/317.16 c #Conflicts: 246000 | #Constraints: 20252
316.25/317.16 c INPROCESSING
316.25/317.16 c GARBAGE COLLECT
316.25/317.16 c #Conflicts: 247000 | #Constraints: 11456
316.25/317.16 c #Conflicts: 248000 | #Constraints: 12456
316.25/317.16 c #Conflicts: 249000 | #Constraints: 13456
316.25/317.16 c #Conflicts: 250000 | #Constraints: 14456
316.25/317.16 c #Conflicts: 251000 | #Constraints: 15456
316.25/317.16 c #Conflicts: 252000 | #Constraints: 16456
316.25/317.16 c #Conflicts: 253000 | #Constraints: 17456
316.25/317.16 c #Conflicts: 254000 | #Constraints: 18456
316.25/317.16 c #Conflicts: 255000 | #Constraints: 19456
316.25/317.16 c #Conflicts: 256000 | #Constraints: 20456
316.25/317.16 c INPROCESSING
316.25/317.16 c GARBAGE COLLECT
316.25/317.16 c #Conflicts: 257000 | #Constraints: 11468
316.25/317.16 c #Conflicts: 258000 | #Constraints: 12468
316.25/317.16 c #Conflicts: 259000 | #Constraints: 13468
316.25/317.16 c #Conflicts: 260000 | #Constraints: 14468
316.25/317.16 c #Conflicts: 261000 | #Constraints: 15468
316.25/317.16 c #Conflicts: 262000 | #Constraints: 16468
316.25/317.16 c #Conflicts: 263000 | #Constraints: 17468
316.25/317.16 c #Conflicts: 264000 | #Constraints: 18468
316.25/317.16 c #Conflicts: 265000 | #Constraints: 19468
316.25/317.16 c #Conflicts: 266000 | #Constraints: 20468
316.25/317.16 c INPROCESSING
316.25/317.16 c GARBAGE COLLECT
316.25/317.16 c #Conflicts: 267000 | #Constraints: 11260
316.25/317.16 c #Conflicts: 268000 | #Constraints: 12260
316.25/317.16 c #Conflicts: 269000 | #Constraints: 13260
316.25/317.16 c #Conflicts: 270000 | #Constraints: 14260
316.25/317.16 c #Conflicts: 271000 | #Constraints: 15260
316.25/317.16 c #Conflicts: 272000 | #Constraints: 16260
316.25/317.16 c #Conflicts: 273000 | #Constraints: 17260
316.25/317.16 c #Conflicts: 274000 | #Constraints: 18260
316.25/317.16 c #Conflicts: 275000 | #Constraints: 19260
316.25/317.16 c #Conflicts: 276000 | #Constraints: 20260
316.25/317.16 c #Conflicts: 277000 | #Constraints: 21260
316.25/317.16 c INPROCESSING
316.25/317.16 c GARBAGE COLLECT
316.25/317.16 c #Conflicts: 278000 | #Constraints: 11839
316.25/317.16 c #Conflicts: 279000 | #Constraints: 12839
316.25/317.16 c #Conflicts: 280000 | #Constraints: 13839
316.25/317.16 c #Conflicts: 281000 | #Constraints: 14839
316.25/317.16 c #Conflicts: 282000 | #Constraints: 15839
316.25/317.16 c #Conflicts: 283000 | #Constraints: 16839
316.25/317.16 c #Conflicts: 284000 | #Constraints: 17839
316.25/317.16 c #Conflicts: 285000 | #Constraints: 18839
316.25/317.16 c #Conflicts: 286000 | #Constraints: 19839
316.25/317.16 c #Conflicts: 287000 | #Constraints: 20839
574.91/576.40 c #Conflicts: 288000 | #Constraints: 21839
574.91/576.40 c INPROCESSING
574.91/576.40 c GARBAGE COLLECT
574.91/576.40 c #Conflicts: 289000 | #Constraints: 12229
574.91/576.40 c #Conflicts: 290000 | #Constraints: 13229
574.91/576.40 c #Conflicts: 291000 | #Constraints: 14229
574.91/576.40 c #Conflicts: 292000 | #Constraints: 15229
574.91/576.40 c #Conflicts: 293000 | #Constraints: 16229
574.91/576.40 c #Conflicts: 294000 | #Constraints: 17229
574.91/576.40 c #Conflicts: 295000 | #Constraints: 18229
574.91/576.40 c #Conflicts: 296000 | #Constraints: 19229
574.91/576.40 c #Conflicts: 297000 | #Constraints: 20229
574.91/576.40 c #Conflicts: 298000 | #Constraints: 21229
574.91/576.40 c #Conflicts: 299000 | #Constraints: 22229
574.91/576.40 c INPROCESSING
574.91/576.40 c GARBAGE COLLECT
574.91/576.40 c #Conflicts: 300000 | #Constraints: 12425
574.91/576.40 c #Conflicts: 301000 | #Constraints: 13425
574.91/576.40 c #Conflicts: 302000 | #Constraints: 14425
574.91/576.40 c #Conflicts: 303000 | #Constraints: 15425
574.91/576.40 c #Conflicts: 304000 | #Constraints: 16425
574.91/576.40 c #Conflicts: 305000 | #Constraints: 17425
574.91/576.40 c #Conflicts: 306000 | #Constraints: 18425
574.91/576.41 c #Conflicts: 307000 | #Constraints: 19425
574.91/576.41 c #Conflicts: 308000 | #Constraints: 20425
574.91/576.41 c #Conflicts: 309000 | #Constraints: 21425
574.91/576.41 c #Conflicts: 310000 | #Constraints: 22425
574.91/576.41 c INPROCESSING
574.91/576.41 c GARBAGE COLLECT
574.91/576.41 c #Conflicts: 311000 | #Constraints: 12436
574.91/576.41 c #Conflicts: 312000 | #Constraints: 13436
574.91/576.41 c #Conflicts: 313000 | #Constraints: 14436
574.91/576.41 c #Conflicts: 314000 | #Constraints: 15436
574.91/576.41 c #Conflicts: 315000 | #Constraints: 16436
574.91/576.41 c #Conflicts: 316000 | #Constraints: 17436
574.91/576.41 c #Conflicts: 317000 | #Constraints: 18436
574.91/576.41 c #Conflicts: 318000 | #Constraints: 19436
574.91/576.41 c #Conflicts: 319000 | #Constraints: 20436
574.91/576.41 c #Conflicts: 320000 | #Constraints: 21436
574.91/576.41 c #Conflicts: 321000 | #Constraints: 22436
574.91/576.41 c INPROCESSING
574.91/576.41 c GARBAGE COLLECT
574.91/576.41 c #Conflicts: 322000 | #Constraints: 12247
574.91/576.41 c #Conflicts: 323000 | #Constraints: 13247
574.91/576.41 c #Conflicts: 324000 | #Constraints: 14247
574.91/576.41 c #Conflicts: 325000 | #Constraints: 15247
574.91/576.41 c #Conflicts: 326000 | #Constraints: 16247
574.91/576.41 c #Conflicts: 327000 | #Constraints: 17247
574.91/576.41 c #Conflicts: 328000 | #Constraints: 18247
574.91/576.41 c #Conflicts: 329000 | #Constraints: 19247
574.91/576.41 c #Conflicts: 330000 | #Constraints: 20247
574.91/576.41 c #Conflicts: 331000 | #Constraints: 21247
574.91/576.41 c #Conflicts: 332000 | #Constraints: 22247
574.91/576.41 c #Conflicts: 333000 | #Constraints: 23247
574.91/576.41 c INPROCESSING
574.91/576.41 c GARBAGE COLLECT
574.91/576.41 c #Conflicts: 334000 | #Constraints: 12835
574.91/576.41 c #Conflicts: 335000 | #Constraints: 13835
574.91/576.41 c #Conflicts: 336000 | #Constraints: 14835
574.91/576.41 c #Conflicts: 337000 | #Constraints: 15835
574.91/576.41 c #Conflicts: 338000 | #Constraints: 16835
574.91/576.41 c #Conflicts: 339000 | #Constraints: 17835
574.91/576.41 c #Conflicts: 340000 | #Constraints: 18835
574.91/576.41 c #Conflicts: 341000 | #Constraints: 19835
574.91/576.41 c #Conflicts: 342000 | #Constraints: 20835
574.91/576.41 c #Conflicts: 343000 | #Constraints: 21835
574.91/576.41 c #Conflicts: 344000 | #Constraints: 22835
574.91/576.41 c #Conflicts: 345000 | #Constraints: 23835
574.91/576.41 c INPROCESSING
574.91/576.41 c GARBAGE COLLECT
574.91/576.41 c #Conflicts: 346000 | #Constraints: 13227
574.91/576.41 c #Conflicts: 347000 | #Constraints: 14227
574.91/576.41 c #Conflicts: 348000 | #Constraints: 15227
574.91/576.41 c #Conflicts: 349000 | #Constraints: 16227
574.91/576.41 c #Conflicts: 350000 | #Constraints: 17227
574.91/576.41 c #Conflicts: 351000 | #Constraints: 18227
574.91/576.41 c #Conflicts: 352000 | #Constraints: 19227
574.91/576.41 c #Conflicts: 353000 | #Constraints: 20227
574.91/576.41 c #Conflicts: 354000 | #Constraints: 21227
574.91/576.41 c #Conflicts: 355000 | #Constraints: 22227
574.91/576.41 c #Conflicts: 356000 | #Constraints: 23227
574.91/576.41 c #Conflicts: 357000 | #Constraints: 24227
574.91/576.41 c INPROCESSING
574.91/576.41 c GARBAGE COLLECT
574.91/576.41 c #Conflicts: 358000 | #Constraints: 13429
574.91/576.41 c #Conflicts: 359000 | #Constraints: 14429
574.91/576.41 c #Conflicts: 360000 | #Constraints: 15429
574.91/576.41 c #Conflicts: 361000 | #Constraints: 16429
752.44/754.45 c #Conflicts: 362000 | #Constraints: 17429
752.44/754.45 c #Conflicts: 363000 | #Constraints: 18429
752.44/754.45 c #Conflicts: 364000 | #Constraints: 19429
752.44/754.45 c #Conflicts: 365000 | #Constraints: 20429
752.44/754.45 c #Conflicts: 366000 | #Constraints: 21429
752.44/754.45 c #Conflicts: 367000 | #Constraints: 22429
752.44/754.45 c #Conflicts: 368000 | #Constraints: 23429
752.44/754.45 c #Conflicts: 369000 | #Constraints: 24429
752.44/754.45 c INPROCESSING
752.44/754.45 c GARBAGE COLLECT
752.44/754.45 c #Conflicts: 370000 | #Constraints: 13439
752.44/754.45 c #Conflicts: 371000 | #Constraints: 14439
752.44/754.45 c #Conflicts: 372000 | #Constraints: 15439
752.44/754.45 c #Conflicts: 373000 | #Constraints: 16439
752.44/754.45 c #Conflicts: 374000 | #Constraints: 17439
752.44/754.45 c #Conflicts: 375000 | #Constraints: 18439
752.44/754.45 c #Conflicts: 376000 | #Constraints: 19439
752.44/754.45 c #Conflicts: 377000 | #Constraints: 20439
752.44/754.45 c #Conflicts: 378000 | #Constraints: 21439
752.44/754.45 c #Conflicts: 379000 | #Constraints: 22439
752.44/754.45 c #Conflicts: 380000 | #Constraints: 23439
752.44/754.45 c #Conflicts: 381000 | #Constraints: 24439
752.44/754.45 c INPROCESSING
752.44/754.45 c GARBAGE COLLECT
752.44/754.45 c #Conflicts: 382000 | #Constraints: 13230
752.44/754.45 c #Conflicts: 383000 | #Constraints: 14230
752.44/754.45 c #Conflicts: 384000 | #Constraints: 15230
752.44/754.45 c #Conflicts: 385000 | #Constraints: 16230
752.44/754.45 c #Conflicts: 386000 | #Constraints: 17230
752.44/754.45 c #Conflicts: 387000 | #Constraints: 18230
752.44/754.45 c #Conflicts: 388000 | #Constraints: 19230
752.44/754.45 c #Conflicts: 389000 | #Constraints: 20230
752.44/754.45 c #Conflicts: 390000 | #Constraints: 21230
752.44/754.45 c #Conflicts: 391000 | #Constraints: 22230
752.44/754.45 c #Conflicts: 392000 | #Constraints: 23230
752.44/754.45 c #Conflicts: 393000 | #Constraints: 24230
752.44/754.45 c #Conflicts: 394000 | #Constraints: 25230
752.44/754.45 c INPROCESSING
752.44/754.45 c GARBAGE COLLECT
752.44/754.45 c #Conflicts: 395000 | #Constraints: 13832
752.44/754.45 c #Conflicts: 396000 | #Constraints: 14832
752.44/754.45 c #Conflicts: 397000 | #Constraints: 15832
752.44/754.45 c #Conflicts: 398000 | #Constraints: 16832
752.44/754.45 c #Conflicts: 399000 | #Constraints: 17832
752.44/754.45 c #Conflicts: 400000 | #Constraints: 18832
752.44/754.45 c #Conflicts: 401000 | #Constraints: 19832
752.44/754.45 c #Conflicts: 402000 | #Constraints: 20832
752.44/754.45 c #Conflicts: 403000 | #Constraints: 21832
752.44/754.45 c #Conflicts: 404000 | #Constraints: 22832
752.44/754.45 c #Conflicts: 405000 | #Constraints: 23832
752.44/754.45 c #Conflicts: 406000 | #Constraints: 24832
752.44/754.45 c #Conflicts: 407000 | #Constraints: 25832
752.44/754.45 c INPROCESSING
752.44/754.45 c GARBAGE COLLECT
752.44/754.45 c #Conflicts: 408000 | #Constraints: 14227
752.44/754.45 c #Conflicts: 409000 | #Constraints: 15227
752.44/754.45 c #Conflicts: 410000 | #Constraints: 16227
752.44/754.45 c #Conflicts: 411000 | #Constraints: 17227
752.44/754.45 c #Conflicts: 412000 | #Constraints: 18227
752.44/754.45 c #Conflicts: 413000 | #Constraints: 19227
752.44/754.45 c #Conflicts: 414000 | #Constraints: 20227
752.44/754.45 c #Conflicts: 415000 | #Constraints: 21227
752.44/754.45 c #Conflicts: 416000 | #Constraints: 22227
752.44/754.45 c #Conflicts: 417000 | #Constraints: 23227
752.44/754.45 c #Conflicts: 418000 | #Constraints: 24227
752.44/754.45 c #Conflicts: 419000 | #Constraints: 25227
752.44/754.45 c #Conflicts: 420000 | #Constraints: 26227
752.44/754.45 c INPROCESSING
752.44/754.45 c GARBAGE COLLECT
752.44/754.45 c #Conflicts: 421000 | #Constraints: 14471
752.44/754.45 c #Conflicts: 422000 | #Constraints: 15471
752.44/754.45 c #Conflicts: 423000 | #Constraints: 16471
752.44/754.45 c #Conflicts: 424000 | #Constraints: 17471
752.44/754.45 c #Conflicts: 425000 | #Constraints: 18471
752.44/754.45 c #Conflicts: 426000 | #Constraints: 19471
752.44/754.45 c #Conflicts: 427000 | #Constraints: 20471
752.44/754.45 c #Conflicts: 428000 | #Constraints: 21471
752.44/754.45 c #Conflicts: 429000 | #Constraints: 22471
752.44/754.45 c #Conflicts: 430000 | #Constraints: 23471
752.44/754.45 c #Conflicts: 431000 | #Constraints: 24471
752.44/754.45 c #Conflicts: 432000 | #Constraints: 25471
752.44/754.45 c #Conflicts: 433000 | #Constraints: 26471
752.44/754.45 c INPROCESSING
752.44/754.45 c GARBAGE COLLECT
752.44/754.45 c #Conflicts: 434000 | #Constraints: 14563
752.44/754.45 c #Conflicts: 435000 | #Constraints: 15563
752.44/754.45 c #Conflicts: 436000 | #Constraints: 16563
1079.78/1082.60 c #Conflicts: 437000 | #Constraints: 17563
1079.78/1082.60 c #Conflicts: 438000 | #Constraints: 18563
1079.78/1082.60 c #Conflicts: 439000 | #Constraints: 19563
1079.78/1082.60 c #Conflicts: 440000 | #Constraints: 20563
1079.78/1082.60 c #Conflicts: 441000 | #Constraints: 21563
1079.78/1082.60 c #Conflicts: 442000 | #Constraints: 22563
1079.78/1082.60 c #Conflicts: 443000 | #Constraints: 23563
1079.78/1082.60 c #Conflicts: 444000 | #Constraints: 24563
1079.78/1082.60 c #Conflicts: 445000 | #Constraints: 25563
1079.78/1082.60 c #Conflicts: 446000 | #Constraints: 26563
1079.78/1082.60 c INPROCESSING
1079.78/1082.60 c GARBAGE COLLECT
1079.78/1082.60 c #Conflicts: 447000 | #Constraints: 14420
1079.78/1082.60 c #Conflicts: 448000 | #Constraints: 15420
1079.78/1082.60 c #Conflicts: 449000 | #Constraints: 16420
1079.78/1082.60 c #Conflicts: 450000 | #Constraints: 17420
1079.78/1082.60 c #Conflicts: 451000 | #Constraints: 18420
1079.78/1082.60 c #Conflicts: 452000 | #Constraints: 19420
1079.78/1082.60 c #Conflicts: 453000 | #Constraints: 20420
1079.78/1082.60 c #Conflicts: 454000 | #Constraints: 21420
1079.78/1082.60 c #Conflicts: 455000 | #Constraints: 22420
1079.78/1082.60 c #Conflicts: 456000 | #Constraints: 23420
1079.78/1082.60 c #Conflicts: 457000 | #Constraints: 24420
1079.78/1082.60 c #Conflicts: 458000 | #Constraints: 25420
1079.78/1082.60 c #Conflicts: 459000 | #Constraints: 26420
1079.78/1082.60 c #Conflicts: 460000 | #Constraints: 27420
1079.78/1082.60 c INPROCESSING
1079.78/1082.60 c GARBAGE COLLECT
1079.78/1082.60 c #Conflicts: 461000 | #Constraints: 14961
1079.78/1082.60 c #Conflicts: 462000 | #Constraints: 15961
1079.78/1082.60 c #Conflicts: 463000 | #Constraints: 16961
1079.78/1082.60 c #Conflicts: 464000 | #Constraints: 17961
1079.78/1082.60 c #Conflicts: 465000 | #Constraints: 18961
1079.78/1082.60 c #Conflicts: 466000 | #Constraints: 19961
1079.78/1082.60 c #Conflicts: 467000 | #Constraints: 20961
1079.78/1082.60 c #Conflicts: 468000 | #Constraints: 21961
1079.78/1082.60 c #Conflicts: 469000 | #Constraints: 22961
1079.78/1082.60 c #Conflicts: 470000 | #Constraints: 23961
1079.78/1082.60 c #Conflicts: 471000 | #Constraints: 24961
1079.78/1082.60 c #Conflicts: 472000 | #Constraints: 25961
1079.78/1082.60 c #Conflicts: 473000 | #Constraints: 26961
1079.78/1082.60 c #Conflicts: 474000 | #Constraints: 27961
1079.78/1082.60 c INPROCESSING
1079.78/1082.60 c GARBAGE COLLECT
1079.78/1082.60 c #Conflicts: 475000 | #Constraints: 15361
1079.78/1082.60 c #Conflicts: 476000 | #Constraints: 16361
1079.78/1082.60 c #Conflicts: 477000 | #Constraints: 17361
1079.78/1082.60 c #Conflicts: 478000 | #Constraints: 18361
1079.78/1082.60 c #Conflicts: 479000 | #Constraints: 19361
1079.78/1082.60 c #Conflicts: 480000 | #Constraints: 20361
1079.78/1082.60 c #Conflicts: 481000 | #Constraints: 21361
1079.78/1082.60 c #Conflicts: 482000 | #Constraints: 22361
1079.78/1082.60 c #Conflicts: 483000 | #Constraints: 23361
1079.78/1082.60 c #Conflicts: 484000 | #Constraints: 24361
1079.78/1082.60 c #Conflicts: 485000 | #Constraints: 25361
1079.78/1082.60 c #Conflicts: 486000 | #Constraints: 26361
1079.78/1082.60 c #Conflicts: 487000 | #Constraints: 27361
1079.78/1082.60 c #Conflicts: 488000 | #Constraints: 28361
1079.78/1082.60 c INPROCESSING
1079.78/1082.60 c GARBAGE COLLECT
1079.78/1082.60 c #Conflicts: 489000 | #Constraints: 15524
1079.78/1082.60 c #Conflicts: 490000 | #Constraints: 16524
1079.78/1082.60 c #Conflicts: 491000 | #Constraints: 17524
1079.78/1082.60 c #Conflicts: 492000 | #Constraints: 18524
1079.78/1082.60 c #Conflicts: 493000 | #Constraints: 19524
1079.78/1082.60 c #Conflicts: 494000 | #Constraints: 20524
1079.78/1082.60 c #Conflicts: 495000 | #Constraints: 21524
1079.78/1082.60 c #Conflicts: 496000 | #Constraints: 22524
1079.78/1082.60 c #Conflicts: 497000 | #Constraints: 23524
1079.78/1082.60 c #Conflicts: 498000 | #Constraints: 24524
1079.78/1082.60 c #Conflicts: 499000 | #Constraints: 25524
1079.78/1082.60 c #Conflicts: 500000 | #Constraints: 26524
1079.78/1082.60 c #Conflicts: 501000 | #Constraints: 27524
1079.78/1082.60 c #Conflicts: 502000 | #Constraints: 28524
1079.78/1082.60 c INPROCESSING
1079.78/1082.60 c GARBAGE COLLECT
1079.78/1082.60 c #Conflicts: 503000 | #Constraints: 15500
1079.78/1082.60 c #Conflicts: 504000 | #Constraints: 16500
1079.78/1082.60 c #Conflicts: 505000 | #Constraints: 17500
1079.78/1082.60 c #Conflicts: 506000 | #Constraints: 18500
1079.78/1082.60 c #Conflicts: 507000 | #Constraints: 19500
1079.78/1082.60 c #Conflicts: 508000 | #Constraints: 20500
1079.78/1082.60 c #Conflicts: 509000 | #Constraints: 21500
1079.78/1082.60 c #Conflicts: 510000 | #Constraints: 22500
1079.78/1082.60 c #Conflicts: 511000 | #Constraints: 23500
1079.78/1082.60 c #Conflicts: 512000 | #Constraints: 24500
1217.06/1220.25 c #Conflicts: 513000 | #Constraints: 25500
1217.06/1220.25 c #Conflicts: 514000 | #Constraints: 26500
1217.06/1220.25 c #Conflicts: 515000 | #Constraints: 27500
1217.06/1220.25 c #Conflicts: 516000 | #Constraints: 28500
1217.06/1220.25 c INPROCESSING
1217.06/1220.25 c GARBAGE COLLECT
1217.06/1220.25 c #Conflicts: 517000 | #Constraints: 15265
1217.06/1220.25 c #Conflicts: 518000 | #Constraints: 16265
1217.06/1220.25 c #Conflicts: 519000 | #Constraints: 17265
1217.06/1220.25 c #Conflicts: 520000 | #Constraints: 18265
1217.06/1220.25 c #Conflicts: 521000 | #Constraints: 19265
1217.06/1220.25 c #Conflicts: 522000 | #Constraints: 20265
1217.06/1220.25 c #Conflicts: 523000 | #Constraints: 21265
1217.06/1220.25 c #Conflicts: 524000 | #Constraints: 22265
1217.06/1220.25 c #Conflicts: 525000 | #Constraints: 23265
1217.06/1220.25 c #Conflicts: 526000 | #Constraints: 24265
1217.06/1220.25 c #Conflicts: 527000 | #Constraints: 25265
1217.06/1220.25 c #Conflicts: 528000 | #Constraints: 26265
1217.06/1220.25 c #Conflicts: 529000 | #Constraints: 27265
1217.06/1220.25 c #Conflicts: 530000 | #Constraints: 28265
1217.06/1220.25 c #Conflicts: 531000 | #Constraints: 29265
1217.06/1220.25 c INPROCESSING
1217.06/1220.25 c GARBAGE COLLECT
1217.06/1220.25 c #Conflicts: 532000 | #Constraints: 15855
1217.06/1220.25 c #Conflicts: 533000 | #Constraints: 16855
1217.06/1220.25 c #Conflicts: 534000 | #Constraints: 17855
1217.06/1220.25 c #Conflicts: 535000 | #Constraints: 18855
1217.06/1220.25 c #Conflicts: 536000 | #Constraints: 19855
1217.06/1220.25 c #Conflicts: 537000 | #Constraints: 20855
1217.06/1220.25 c #Conflicts: 538000 | #Constraints: 21855
1217.06/1220.25 c #Conflicts: 539000 | #Constraints: 22855
1217.06/1220.25 c #Conflicts: 540000 | #Constraints: 23855
1217.06/1220.25 c #Conflicts: 541000 | #Constraints: 24855
1217.06/1220.25 c #Conflicts: 542000 | #Constraints: 25855
1217.06/1220.25 c #Conflicts: 543000 | #Constraints: 26855
1217.06/1220.25 c #Conflicts: 544000 | #Constraints: 27855
1217.06/1220.25 c #Conflicts: 545000 | #Constraints: 28855
1217.06/1220.25 c #Conflicts: 546000 | #Constraints: 29855
1217.06/1220.25 c INPROCESSING
1217.06/1220.25 c GARBAGE COLLECT
1217.06/1220.25 c #Conflicts: 547000 | #Constraints: 16241
1217.06/1220.25 c #Conflicts: 548000 | #Constraints: 17241
1217.06/1220.25 c #Conflicts: 549000 | #Constraints: 18241
1217.06/1220.25 c #Conflicts: 550000 | #Constraints: 19241
1217.06/1220.25 c #Conflicts: 551000 | #Constraints: 20241
1217.06/1220.25 c #Conflicts: 552000 | #Constraints: 21241
1217.06/1220.25 c #Conflicts: 553000 | #Constraints: 22241
1217.06/1220.25 c #Conflicts: 554000 | #Constraints: 23241
1217.06/1220.25 c #Conflicts: 555000 | #Constraints: 24241
1217.06/1220.25 c #Conflicts: 556000 | #Constraints: 25241
1217.06/1220.25 c #Conflicts: 557000 | #Constraints: 26241
1217.06/1220.25 c #Conflicts: 558000 | #Constraints: 27241
1217.06/1220.25 c #Conflicts: 559000 | #Constraints: 28241
1217.06/1220.25 c #Conflicts: 560000 | #Constraints: 29241
1217.06/1220.25 c #Conflicts: 561000 | #Constraints: 30241
1217.06/1220.25 c INPROCESSING
1217.06/1220.25 c GARBAGE COLLECT
1217.06/1220.25 c #Conflicts: 562000 | #Constraints: 16440
1217.06/1220.25 c #Conflicts: 563000 | #Constraints: 17440
1217.06/1220.25 c #Conflicts: 564000 | #Constraints: 18440
1217.06/1220.25 c #Conflicts: 565000 | #Constraints: 19440
1217.06/1220.25 c #Conflicts: 566000 | #Constraints: 20440
1217.06/1220.25 c #Conflicts: 567000 | #Constraints: 21440
1217.06/1220.25 c #Conflicts: 568000 | #Constraints: 22440
1217.06/1220.25 c #Conflicts: 569000 | #Constraints: 23440
1217.06/1220.25 c #Conflicts: 570000 | #Constraints: 24440
1217.06/1220.25 c #Conflicts: 571000 | #Constraints: 25440
1217.06/1220.25 c #Conflicts: 572000 | #Constraints: 26440
1217.06/1220.25 c #Conflicts: 573000 | #Constraints: 27440
1217.06/1220.25 c #Conflicts: 574000 | #Constraints: 28440
1217.06/1220.25 c #Conflicts: 575000 | #Constraints: 29440
1217.06/1220.25 c #Conflicts: 576000 | #Constraints: 30440
1217.06/1220.25 c INPROCESSING
1217.06/1220.25 c GARBAGE COLLECT
1217.06/1220.25 c #Conflicts: 577000 | #Constraints: 16484
1217.06/1220.25 c #Conflicts: 578000 | #Constraints: 17484
1217.06/1220.25 c #Conflicts: 579000 | #Constraints: 18484
1217.06/1220.25 c #Conflicts: 580000 | #Constraints: 19484
1217.06/1220.25 c #Conflicts: 581000 | #Constraints: 20484
1217.06/1220.25 c #Conflicts: 582000 | #Constraints: 21484
1217.06/1220.25 c #Conflicts: 583000 | #Constraints: 22484
1217.06/1220.25 c #Conflicts: 584000 | #Constraints: 23484
1217.06/1220.25 c #Conflicts: 585000 | #Constraints: 24484
1217.06/1220.25 c #Conflicts: 586000 | #Constraints: 25484
1217.06/1220.25 c #Conflicts: 587000 | #Constraints: 26484
1217.06/1220.25 c #Conflicts: 588000 | #Constraints: 27484
1371.89/1375.42 c #Conflicts: 589000 | #Constraints: 28484
1371.89/1375.42 c #Conflicts: 590000 | #Constraints: 29484
1371.89/1375.42 c #Conflicts: 591000 | #Constraints: 30484
1371.89/1375.42 c INPROCESSING
1371.89/1375.42 c GARBAGE COLLECT
1371.89/1375.42 c #Conflicts: 592000 | #Constraints: 16267
1371.89/1375.42 c #Conflicts: 593000 | #Constraints: 17267
1371.89/1375.42 c #Conflicts: 594000 | #Constraints: 18267
1371.89/1375.42 c #Conflicts: 595000 | #Constraints: 19267
1371.89/1375.42 c #Conflicts: 596000 | #Constraints: 20267
1371.89/1375.42 c #Conflicts: 597000 | #Constraints: 21267
1371.89/1375.42 c #Conflicts: 598000 | #Constraints: 22267
1371.89/1375.42 c #Conflicts: 599000 | #Constraints: 23267
1371.89/1375.42 c #Conflicts: 600000 | #Constraints: 24267
1371.89/1375.42 c #Conflicts: 601000 | #Constraints: 25267
1371.89/1375.42 c #Conflicts: 602000 | #Constraints: 26267
1371.89/1375.42 c #Conflicts: 603000 | #Constraints: 27267
1371.89/1375.42 c #Conflicts: 604000 | #Constraints: 28267
1371.89/1375.42 c #Conflicts: 605000 | #Constraints: 29267
1371.89/1375.42 c #Conflicts: 606000 | #Constraints: 30267
1371.89/1375.42 c #Conflicts: 607000 | #Constraints: 31267
1371.89/1375.42 c INPROCESSING
1371.89/1375.42 c GARBAGE COLLECT
1371.89/1375.42 c #Conflicts: 608000 | #Constraints: 16877
1371.89/1375.42 c #Conflicts: 609000 | #Constraints: 17877
1371.89/1375.42 c #Conflicts: 610000 | #Constraints: 18877
1371.89/1375.42 c #Conflicts: 611000 | #Constraints: 19877
1371.89/1375.42 c #Conflicts: 612000 | #Constraints: 20877
1371.89/1375.42 c #Conflicts: 613000 | #Constraints: 21877
1371.89/1375.42 c #Conflicts: 614000 | #Constraints: 22877
1371.89/1375.42 c #Conflicts: 615000 | #Constraints: 23877
1371.89/1375.42 c #Conflicts: 616000 | #Constraints: 24877
1371.89/1375.42 c #Conflicts: 617000 | #Constraints: 25877
1371.89/1375.42 c #Conflicts: 618000 | #Constraints: 26877
1371.89/1375.42 c #Conflicts: 619000 | #Constraints: 27877
1371.89/1375.42 c #Conflicts: 620000 | #Constraints: 28877
1371.89/1375.42 c #Conflicts: 621000 | #Constraints: 29877
1371.89/1375.42 c #Conflicts: 622000 | #Constraints: 30877
1371.89/1375.42 c #Conflicts: 623000 | #Constraints: 31877
1371.89/1375.42 c INPROCESSING
1371.89/1375.42 c GARBAGE COLLECT
1371.89/1375.42 c #Conflicts: 624000 | #Constraints: 17254
1371.89/1375.42 c #Conflicts: 625000 | #Constraints: 18254
1371.89/1375.42 c #Conflicts: 626000 | #Constraints: 19254
1371.89/1375.42 c #Conflicts: 627000 | #Constraints: 20254
1371.89/1375.42 c #Conflicts: 628000 | #Constraints: 21254
1371.89/1375.42 c #Conflicts: 629000 | #Constraints: 22254
1371.89/1375.42 c #Conflicts: 630000 | #Constraints: 23254
1371.89/1375.42 c #Conflicts: 631000 | #Constraints: 24254
1371.89/1375.42 c #Conflicts: 632000 | #Constraints: 25254
1371.89/1375.42 c #Conflicts: 633000 | #Constraints: 26254
1371.89/1375.42 c #Conflicts: 634000 | #Constraints: 27254
1371.89/1375.42 c #Conflicts: 635000 | #Constraints: 28254
1371.89/1375.42 c #Conflicts: 636000 | #Constraints: 29254
1371.89/1375.42 c #Conflicts: 637000 | #Constraints: 30254
1371.89/1375.42 c #Conflicts: 638000 | #Constraints: 31254
1371.89/1375.42 c #Conflicts: 639000 | #Constraints: 32254
1371.89/1375.42 c INPROCESSING
1371.89/1375.42 c GARBAGE COLLECT
1371.89/1375.42 c #Conflicts: 640000 | #Constraints: 17438
1371.89/1375.42 c #Conflicts: 641000 | #Constraints: 18438
1371.89/1375.42 c #Conflicts: 642000 | #Constraints: 19438
1371.89/1375.42 c #Conflicts: 643000 | #Constraints: 20438
1371.89/1375.42 c #Conflicts: 644000 | #Constraints: 21438
1371.89/1375.42 c #Conflicts: 645000 | #Constraints: 22438
1371.89/1375.42 c #Conflicts: 646000 | #Constraints: 23438
1371.89/1375.42 c #Conflicts: 647000 | #Constraints: 24438
1371.89/1375.42 c #Conflicts: 648000 | #Constraints: 25438
1371.89/1375.42 c #Conflicts: 649000 | #Constraints: 26438
1371.89/1375.42 c #Conflicts: 650000 | #Constraints: 27438
1371.89/1375.42 c #Conflicts: 651000 | #Constraints: 28438
1371.89/1375.42 c #Conflicts: 652000 | #Constraints: 29438
1371.89/1375.42 c #Conflicts: 653000 | #Constraints: 30438
1371.89/1375.42 c #Conflicts: 654000 | #Constraints: 31438
1371.89/1375.42 c #Conflicts: 655000 | #Constraints: 32438
1371.89/1375.42 c INPROCESSING
1371.89/1375.42 c GARBAGE COLLECT
1371.89/1375.42 c #Conflicts: 656000 | #Constraints: 17448
1371.89/1375.42 c #Conflicts: 657000 | #Constraints: 18448
1371.89/1375.42 c #Conflicts: 658000 | #Constraints: 19448
1371.89/1375.42 c #Conflicts: 659000 | #Constraints: 20448
1371.89/1375.42 c #Conflicts: 660000 | #Constraints: 21448
1371.89/1375.42 c #Conflicts: 661000 | #Constraints: 22448
1371.89/1375.42 c #Conflicts: 662000 | #Constraints: 23448
1371.89/1375.42 c #Conflicts: 663000 | #Constraints: 24448
1582.50/1586.53 c #Conflicts: 664000 | #Constraints: 25448
1582.50/1586.53 c #Conflicts: 665000 | #Constraints: 26448
1582.50/1586.53 c #Conflicts: 666000 | #Constraints: 27448
1582.50/1586.53 c #Conflicts: 667000 | #Constraints: 28448
1582.50/1586.53 c #Conflicts: 668000 | #Constraints: 29448
1582.50/1586.53 c #Conflicts: 669000 | #Constraints: 30448
1582.50/1586.53 c #Conflicts: 670000 | #Constraints: 31448
1582.50/1586.53 c #Conflicts: 671000 | #Constraints: 32448
1582.50/1586.53 c INPROCESSING
1582.50/1586.53 c GARBAGE COLLECT
1582.50/1586.53 c #Conflicts: 672000 | #Constraints: 17237
1582.50/1586.53 c #Conflicts: 673000 | #Constraints: 18237
1582.50/1586.53 c #Conflicts: 674000 | #Constraints: 19237
1582.50/1586.53 c #Conflicts: 675000 | #Constraints: 20237
1582.50/1586.53 c #Conflicts: 676000 | #Constraints: 21237
1582.50/1586.53 c #Conflicts: 677000 | #Constraints: 22237
1582.50/1586.53 c #Conflicts: 678000 | #Constraints: 23237
1582.50/1586.53 c #Conflicts: 679000 | #Constraints: 24237
1582.50/1586.53 c #Conflicts: 680000 | #Constraints: 25237
1582.50/1586.53 c #Conflicts: 681000 | #Constraints: 26237
1582.50/1586.53 c #Conflicts: 682000 | #Constraints: 27237
1582.50/1586.53 c #Conflicts: 683000 | #Constraints: 28237
1582.50/1586.53 c #Conflicts: 684000 | #Constraints: 29237
1582.50/1586.53 c #Conflicts: 685000 | #Constraints: 30237
1582.50/1586.53 c #Conflicts: 686000 | #Constraints: 31237
1582.50/1586.53 c #Conflicts: 687000 | #Constraints: 32237
1582.50/1586.53 c #Conflicts: 688000 | #Constraints: 33237
1582.50/1586.53 c INPROCESSING
1582.50/1586.53 c GARBAGE COLLECT
1582.50/1586.53 c #Conflicts: 689000 | #Constraints: 17831
1582.50/1586.53 c #Conflicts: 690000 | #Constraints: 18831
1582.50/1586.53 c #Conflicts: 691000 | #Constraints: 19831
1582.50/1586.53 c #Conflicts: 692000 | #Constraints: 20831
1582.50/1586.53 c #Conflicts: 693000 | #Constraints: 21831
1582.50/1586.53 c #Conflicts: 694000 | #Constraints: 22831
1582.50/1586.53 c #Conflicts: 695000 | #Constraints: 23831
1582.50/1586.53 c #Conflicts: 696000 | #Constraints: 24831
1582.50/1586.53 c #Conflicts: 697000 | #Constraints: 25831
1582.50/1586.53 c #Conflicts: 698000 | #Constraints: 26831
1582.50/1586.53 c #Conflicts: 699000 | #Constraints: 27831
1582.50/1586.53 c #Conflicts: 700000 | #Constraints: 28831
1582.50/1586.53 c #Conflicts: 701000 | #Constraints: 29831
1582.50/1586.53 c #Conflicts: 702000 | #Constraints: 30831
1582.50/1586.53 c #Conflicts: 703000 | #Constraints: 31831
1582.50/1586.53 c #Conflicts: 704000 | #Constraints: 32831
1582.50/1586.53 c #Conflicts: 705000 | #Constraints: 33831
1582.50/1586.53 c INPROCESSING
1582.50/1586.53 c GARBAGE COLLECT
1582.50/1586.53 c #Conflicts: 706000 | #Constraints: 18240
1582.50/1586.53 c #Conflicts: 707000 | #Constraints: 19240
1582.50/1586.53 c #Conflicts: 708000 | #Constraints: 20240
1582.50/1586.53 c #Conflicts: 709000 | #Constraints: 21240
1582.50/1586.53 c #Conflicts: 710000 | #Constraints: 22240
1582.50/1586.53 c #Conflicts: 711000 | #Constraints: 23240
1582.50/1586.53 c #Conflicts: 712000 | #Constraints: 24240
1582.50/1586.53 c #Conflicts: 713000 | #Constraints: 25240
1582.50/1586.53 c #Conflicts: 714000 | #Constraints: 26240
1582.50/1586.53 c #Conflicts: 715000 | #Constraints: 27240
1582.50/1586.53 c #Conflicts: 716000 | #Constraints: 28240
1582.50/1586.53 c #Conflicts: 717000 | #Constraints: 29240
1582.50/1586.53 c #Conflicts: 718000 | #Constraints: 30240
1582.50/1586.53 c #Conflicts: 719000 | #Constraints: 31240
1582.50/1586.53 c #Conflicts: 720000 | #Constraints: 32240
1582.50/1586.53 c #Conflicts: 721000 | #Constraints: 33240
1582.50/1586.53 c #Conflicts: 722000 | #Constraints: 34240
1582.50/1586.53 c INPROCESSING
1582.50/1586.53 c GARBAGE COLLECT
1582.50/1586.53 c #Conflicts: 723000 | #Constraints: 18454
1582.50/1586.53 c #Conflicts: 724000 | #Constraints: 19454
1582.50/1586.53 c #Conflicts: 725000 | #Constraints: 20454
1582.50/1586.53 c #Conflicts: 726000 | #Constraints: 21454
1582.50/1586.53 c #Conflicts: 727000 | #Constraints: 22454
1582.50/1586.53 c #Conflicts: 728000 | #Constraints: 23454
1582.50/1586.53 c #Conflicts: 729000 | #Constraints: 24454
1582.50/1586.53 c #Conflicts: 730000 | #Constraints: 25454
1582.50/1586.53 c #Conflicts: 731000 | #Constraints: 26454
1582.50/1586.53 c #Conflicts: 732000 | #Constraints: 27454
1582.50/1586.53 c #Conflicts: 733000 | #Constraints: 28454
1582.50/1586.53 c #Conflicts: 734000 | #Constraints: 29454
1582.50/1586.53 c #Conflicts: 735000 | #Constraints: 30454
1582.50/1586.53 c #Conflicts: 736000 | #Constraints: 31454
1582.50/1586.53 c #Conflicts: 737000 | #Constraints: 32454
1582.50/1586.53 c #Conflicts: 738000 | #Constraints: 33454
1582.50/1586.53 c #Conflicts: 739000 | #Constraints: 34454
1725.87/1730.26 c INPROCESSING
1725.87/1730.26 c GARBAGE COLLECT
1725.87/1730.26 c #Conflicts: 740000 | #Constraints: 18465
1725.87/1730.26 c #Conflicts: 741000 | #Constraints: 19465
1725.87/1730.26 c #Conflicts: 742000 | #Constraints: 20465
1725.87/1730.26 c #Conflicts: 743000 | #Constraints: 21465
1725.87/1730.26 c #Conflicts: 744000 | #Constraints: 22465
1725.87/1730.26 c #Conflicts: 745000 | #Constraints: 23465
1725.87/1730.26 c #Conflicts: 746000 | #Constraints: 24465
1725.87/1730.26 c #Conflicts: 747000 | #Constraints: 25465
1725.87/1730.26 c #Conflicts: 748000 | #Constraints: 26465
1725.87/1730.26 c #Conflicts: 749000 | #Constraints: 27465
1725.87/1730.26 c #Conflicts: 750000 | #Constraints: 28465
1725.87/1730.26 c #Conflicts: 751000 | #Constraints: 29465
1725.87/1730.26 c #Conflicts: 752000 | #Constraints: 30465
1725.87/1730.26 c #Conflicts: 753000 | #Constraints: 31465
1725.87/1730.26 c #Conflicts: 754000 | #Constraints: 32465
1725.87/1730.26 c #Conflicts: 755000 | #Constraints: 33465
1725.87/1730.26 c #Conflicts: 756000 | #Constraints: 34465
1725.87/1730.26 c INPROCESSING
1725.87/1730.26 c GARBAGE COLLECT
1725.87/1730.26 c #Conflicts: 757000 | #Constraints: 18264
1725.87/1730.26 c #Conflicts: 758000 | #Constraints: 19264
1725.87/1730.26 c #Conflicts: 759000 | #Constraints: 20264
1725.87/1730.26 c #Conflicts: 760000 | #Constraints: 21264
1725.87/1730.26 c #Conflicts: 761000 | #Constraints: 22264
1725.87/1730.26 c #Conflicts: 762000 | #Constraints: 23264
1725.87/1730.26 c #Conflicts: 763000 | #Constraints: 24264
1725.87/1730.26 c #Conflicts: 764000 | #Constraints: 25264
1725.87/1730.26 c #Conflicts: 765000 | #Constraints: 26264
1725.87/1730.26 c #Conflicts: 766000 | #Constraints: 27264
1725.87/1730.26 c #Conflicts: 767000 | #Constraints: 28264
1725.87/1730.26 c #Conflicts: 768000 | #Constraints: 29264
1725.87/1730.26 c #Conflicts: 769000 | #Constraints: 30264
1725.87/1730.26 c #Conflicts: 770000 | #Constraints: 31264
1725.87/1730.26 c #Conflicts: 771000 | #Constraints: 32264
1725.87/1730.26 c #Conflicts: 772000 | #Constraints: 33264
1725.87/1730.26 c #Conflicts: 773000 | #Constraints: 34264
1725.87/1730.26 c #Conflicts: 774000 | #Constraints: 35264
1725.87/1730.26 c INPROCESSING
1725.87/1730.26 c GARBAGE COLLECT
1725.87/1730.26 c #Conflicts: 775000 | #Constraints: 18846
1725.87/1730.26 c #Conflicts: 776000 | #Constraints: 19846
1725.87/1730.26 c #Conflicts: 777000 | #Constraints: 20846
1725.87/1730.26 c #Conflicts: 778000 | #Constraints: 21846
1725.87/1730.26 c #Conflicts: 779000 | #Constraints: 22846
1725.87/1730.26 c #Conflicts: 780000 | #Constraints: 23846
1725.87/1730.26 c #Conflicts: 781000 | #Constraints: 24846
1725.87/1730.26 c #Conflicts: 782000 | #Constraints: 25846
1725.87/1730.26 c #Conflicts: 783000 | #Constraints: 26846
1725.87/1730.26 c #Conflicts: 784000 | #Constraints: 27846
1725.87/1730.26 c #Conflicts: 785000 | #Constraints: 28846
1725.87/1730.26 c #Conflicts: 786000 | #Constraints: 29846
1725.87/1730.26 c #Conflicts: 787000 | #Constraints: 30846
1725.87/1730.26 c #Conflicts: 788000 | #Constraints: 31846
1725.87/1730.26 c #Conflicts: 789000 | #Constraints: 32846
1725.87/1730.26 c #Conflicts: 790000 | #Constraints: 33846
1725.87/1730.26 c #Conflicts: 791000 | #Constraints: 34846
1725.87/1730.26 c #Conflicts: 792000 | #Constraints: 35846
1725.87/1730.26 c INPROCESSING
1725.87/1730.26 c GARBAGE COLLECT
1725.87/1730.26 c #Conflicts: 793000 | #Constraints: 19239
1725.87/1730.26 c #Conflicts: 794000 | #Constraints: 20239
1725.87/1730.26 c #Conflicts: 795000 | #Constraints: 21239
1725.87/1730.26 c #Conflicts: 796000 | #Constraints: 22239
1725.87/1730.26 c #Conflicts: 797000 | #Constraints: 23239
1725.87/1730.26 c #Conflicts: 798000 | #Constraints: 24239
1725.87/1730.26 c #Conflicts: 799000 | #Constraints: 25239
1725.87/1730.26 c #Conflicts: 800000 | #Constraints: 26239
1725.87/1730.26 c #Conflicts: 801000 | #Constraints: 27239
1725.87/1730.26 c #Conflicts: 802000 | #Constraints: 28239
1725.87/1730.26 c #Conflicts: 803000 | #Constraints: 29239
1725.87/1730.26 c #Conflicts: 804000 | #Constraints: 30239
1725.87/1730.26 c #Conflicts: 805000 | #Constraints: 31239
1725.87/1730.26 c #Conflicts: 806000 | #Constraints: 32239
1725.87/1730.26 c #Conflicts: 807000 | #Constraints: 33239
1725.87/1730.26 c #Conflicts: 808000 | #Constraints: 34239
1725.87/1730.26 c #Conflicts: 809000 | #Constraints: 35239
1725.87/1730.26 c #Conflicts: 810000 | #Constraints: 36239
1725.87/1730.26 c INPROCESSING
1725.87/1730.26 c GARBAGE COLLECT
1725.87/1730.26 c #Conflicts: 811000 | #Constraints: 19438
1725.87/1730.26 c #Conflicts: 812000 | #Constraints: 20438
1725.87/1730.26 c #Conflicts: 813000 | #Constraints: 21438
1725.87/1730.26 c #Conflicts: 814000 | #Constraints: 22438
1725.87/1730.26 c #Conflicts: 815000 | #Constraints: 23438
1896.21/1901.03 c #Conflicts: 816000 | #Constraints: 24438
1896.21/1901.03 c #Conflicts: 817000 | #Constraints: 25438
1896.21/1901.03 c #Conflicts: 818000 | #Constraints: 26438
1896.21/1901.03 c #Conflicts: 819000 | #Constraints: 27438
1896.21/1901.03 c #Conflicts: 820000 | #Constraints: 28438
1896.21/1901.03 c #Conflicts: 821000 | #Constraints: 29438
1896.21/1901.03 c #Conflicts: 822000 | #Constraints: 30438
1896.21/1901.03 c #Conflicts: 823000 | #Constraints: 31438
1896.21/1901.03 c #Conflicts: 824000 | #Constraints: 32438
1896.21/1901.03 c #Conflicts: 825000 | #Constraints: 33438
1896.21/1901.03 c #Conflicts: 826000 | #Constraints: 34438
1896.21/1901.03 c #Conflicts: 827000 | #Constraints: 35438
1896.21/1901.03 c #Conflicts: 828000 | #Constraints: 36438
1896.21/1901.03 c INPROCESSING
1896.21/1901.03 c GARBAGE COLLECT
1896.21/1901.03 c #Conflicts: 829000 | #Constraints: 19443
1896.21/1901.03 c #Conflicts: 830000 | #Constraints: 20443
1896.21/1901.03 c #Conflicts: 831000 | #Constraints: 21443
1896.21/1901.03 c #Conflicts: 832000 | #Constraints: 22443
1896.21/1901.03 c #Conflicts: 833000 | #Constraints: 23443
1896.21/1901.03 c #Conflicts: 834000 | #Constraints: 24443
1896.21/1901.03 c #Conflicts: 835000 | #Constraints: 25443
1896.21/1901.03 c #Conflicts: 836000 | #Constraints: 26443
1896.21/1901.03 c #Conflicts: 837000 | #Constraints: 27443
1896.21/1901.03 c #Conflicts: 838000 | #Constraints: 28443
1896.21/1901.03 c #Conflicts: 839000 | #Constraints: 29443
1896.21/1901.03 c #Conflicts: 840000 | #Constraints: 30443
1896.21/1901.03 c #Conflicts: 841000 | #Constraints: 31443
1896.21/1901.03 c #Conflicts: 842000 | #Constraints: 32443
1896.21/1901.03 c #Conflicts: 843000 | #Constraints: 33443
1896.21/1901.03 c #Conflicts: 844000 | #Constraints: 34443
1896.21/1901.03 c #Conflicts: 845000 | #Constraints: 35443
1896.21/1901.03 c #Conflicts: 846000 | #Constraints: 36443
1896.21/1901.03 c INPROCESSING
1896.21/1901.03 c GARBAGE COLLECT
1896.21/1901.03 c #Conflicts: 847000 | #Constraints: 19230
1896.21/1901.03 c #Conflicts: 848000 | #Constraints: 20230
1896.21/1901.03 c #Conflicts: 849000 | #Constraints: 21230
1896.21/1901.03 c #Conflicts: 850000 | #Constraints: 22230
1896.21/1901.03 c #Conflicts: 851000 | #Constraints: 23230
1896.21/1901.03 c #Conflicts: 852000 | #Constraints: 24230
1896.21/1901.03 c #Conflicts: 853000 | #Constraints: 25230
1896.21/1901.03 c #Conflicts: 854000 | #Constraints: 26230
1896.21/1901.03 c #Conflicts: 855000 | #Constraints: 27230
1896.21/1901.03 c #Conflicts: 856000 | #Constraints: 28230
1896.21/1901.03 c #Conflicts: 857000 | #Constraints: 29230
1896.21/1901.03 c #Conflicts: 858000 | #Constraints: 30230
1896.21/1901.03 c #Conflicts: 859000 | #Constraints: 31230
1896.21/1901.03 c #Conflicts: 860000 | #Constraints: 32230
1896.21/1901.03 c #Conflicts: 861000 | #Constraints: 33230
1896.21/1901.03 c #Conflicts: 862000 | #Constraints: 34230
1896.21/1901.03 c #Conflicts: 863000 | #Constraints: 35230
1896.21/1901.03 c #Conflicts: 864000 | #Constraints: 36230
1896.21/1901.03 c #Conflicts: 865000 | #Constraints: 37230
1896.21/1901.03 c INPROCESSING
1896.21/1901.03 c GARBAGE COLLECT
1896.21/1901.03 c #Conflicts: 866000 | #Constraints: 19836
1896.21/1901.03 c #Conflicts: 867000 | #Constraints: 20836
1896.21/1901.03 c #Conflicts: 868000 | #Constraints: 21836
1896.21/1901.03 c #Conflicts: 869000 | #Constraints: 22836
1896.21/1901.03 c #Conflicts: 870000 | #Constraints: 23836
1896.21/1901.03 c #Conflicts: 871000 | #Constraints: 24836
1896.21/1901.03 c #Conflicts: 872000 | #Constraints: 25836
1896.21/1901.03 c #Conflicts: 873000 | #Constraints: 26836
1896.21/1901.03 c #Conflicts: 874000 | #Constraints: 27836
1896.21/1901.03 c #Conflicts: 875000 | #Constraints: 28836
1896.21/1901.03 c #Conflicts: 876000 | #Constraints: 29836
1896.21/1901.03 c #Conflicts: 877000 | #Constraints: 30836
1896.21/1901.03 c #Conflicts: 878000 | #Constraints: 31836
1896.21/1901.03 c #Conflicts: 879000 | #Constraints: 32836
1896.21/1901.03 c #Conflicts: 880000 | #Constraints: 33836
1896.21/1901.03 c #Conflicts: 881000 | #Constraints: 34836
1896.21/1901.03 c #Conflicts: 882000 | #Constraints: 35836
1896.21/1901.03 c #Conflicts: 883000 | #Constraints: 36836
1896.21/1901.03 c #Conflicts: 884000 | #Constraints: 37836
1896.21/1901.03 c INPROCESSING
1896.21/1901.03 c GARBAGE COLLECT
1896.21/1901.03 c #Conflicts: 885000 | #Constraints: 20251
1896.21/1901.03 c #Conflicts: 886000 | #Constraints: 21251
1896.21/1901.03 c #Conflicts: 887000 | #Constraints: 22251
1896.21/1901.03 c #Conflicts: 888000 | #Constraints: 23251
1896.21/1901.03 c #Conflicts: 889000 | #Constraints: 24251
1896.21/1901.03 c #Conflicts: 890000 | #Constraints: 25251
1896.21/1901.03 c #Conflicts: 891000 | #Constraints: 26251
2190.28/2195.94 c #Conflicts: 892000 | #Constraints: 27251
2190.28/2195.94 c #Conflicts: 893000 | #Constraints: 28251
2190.28/2195.94 c #Conflicts: 894000 | #Constraints: 29251
2190.28/2195.94 c #Conflicts: 895000 | #Constraints: 30251
2190.28/2195.94 c #Conflicts: 896000 | #Constraints: 31251
2190.28/2195.94 c #Conflicts: 897000 | #Constraints: 32251
2190.28/2195.94 c #Conflicts: 898000 | #Constraints: 33251
2190.28/2195.94 c #Conflicts: 899000 | #Constraints: 34251
2190.28/2195.94 c #Conflicts: 900000 | #Constraints: 35251
2190.28/2195.94 c #Conflicts: 901000 | #Constraints: 36251
2190.28/2195.94 c #Conflicts: 902000 | #Constraints: 37251
2190.28/2195.94 c #Conflicts: 903000 | #Constraints: 38251
2190.28/2195.94 c INPROCESSING
2190.28/2195.94 c GARBAGE COLLECT
2190.28/2195.94 c #Conflicts: 904000 | #Constraints: 20450
2190.28/2195.94 c #Conflicts: 905000 | #Constraints: 21450
2190.28/2195.94 c #Conflicts: 906000 | #Constraints: 22450
2190.28/2195.94 c #Conflicts: 907000 | #Constraints: 23450
2190.28/2195.94 c #Conflicts: 908000 | #Constraints: 24450
2190.28/2195.94 c #Conflicts: 909000 | #Constraints: 25450
2190.28/2195.94 c #Conflicts: 910000 | #Constraints: 26450
2190.28/2195.94 c #Conflicts: 911000 | #Constraints: 27450
2190.28/2195.94 c #Conflicts: 912000 | #Constraints: 28450
2190.28/2195.94 c #Conflicts: 913000 | #Constraints: 29450
2190.28/2195.94 c #Conflicts: 914000 | #Constraints: 30450
2190.28/2195.94 c #Conflicts: 915000 | #Constraints: 31450
2190.28/2195.94 c #Conflicts: 916000 | #Constraints: 32450
2190.28/2195.94 c #Conflicts: 917000 | #Constraints: 33450
2190.28/2195.94 c #Conflicts: 918000 | #Constraints: 34450
2190.28/2195.94 c #Conflicts: 919000 | #Constraints: 35450
2190.28/2195.94 c #Conflicts: 920000 | #Constraints: 36450
2190.28/2195.94 c #Conflicts: 921000 | #Constraints: 37450
2190.28/2195.94 c #Conflicts: 922000 | #Constraints: 38450
2190.28/2195.94 c INPROCESSING
2190.28/2195.94 c GARBAGE COLLECT
2190.28/2195.94 c #Conflicts: 923000 | #Constraints: 20451
2190.28/2195.94 c #Conflicts: 924000 | #Constraints: 21451
2190.28/2195.94 c #Conflicts: 925000 | #Constraints: 22451
2190.28/2195.94 c #Conflicts: 926000 | #Constraints: 23451
2190.28/2195.94 c #Conflicts: 927000 | #Constraints: 24451
2190.28/2195.94 c #Conflicts: 928000 | #Constraints: 25451
2190.28/2195.94 c #Conflicts: 929000 | #Constraints: 26451
2190.28/2195.94 c #Conflicts: 930000 | #Constraints: 27451
2190.28/2195.94 c #Conflicts: 931000 | #Constraints: 28451
2190.28/2195.94 c #Conflicts: 932000 | #Constraints: 29451
2190.28/2195.94 c #Conflicts: 933000 | #Constraints: 30451
2190.28/2195.94 c #Conflicts: 934000 | #Constraints: 31451
2190.28/2195.94 c #Conflicts: 935000 | #Constraints: 32451
2190.28/2195.94 c #Conflicts: 936000 | #Constraints: 33451
2190.28/2195.94 c #Conflicts: 937000 | #Constraints: 34451
2190.28/2195.94 c #Conflicts: 938000 | #Constraints: 35451
2190.28/2195.94 c #Conflicts: 939000 | #Constraints: 36451
2190.28/2195.94 c #Conflicts: 940000 | #Constraints: 37451
2190.28/2195.94 c #Conflicts: 941000 | #Constraints: 38451
2190.28/2195.94 c INPROCESSING
2190.28/2195.94 c GARBAGE COLLECT
2190.28/2195.94 c #Conflicts: 942000 | #Constraints: 20261
2190.28/2195.94 c #Conflicts: 943000 | #Constraints: 21261
2190.28/2195.94 c #Conflicts: 944000 | #Constraints: 22261
2190.28/2195.94 c #Conflicts: 945000 | #Constraints: 23261
2190.28/2195.94 c #Conflicts: 946000 | #Constraints: 24261
2190.28/2195.94 c #Conflicts: 947000 | #Constraints: 25261
2190.28/2195.94 c #Conflicts: 948000 | #Constraints: 26261
2190.28/2195.94 c #Conflicts: 949000 | #Constraints: 27261
2190.28/2195.94 c #Conflicts: 950000 | #Constraints: 28261
2190.28/2195.94 c #Conflicts: 951000 | #Constraints: 29261
2190.28/2195.94 c #Conflicts: 952000 | #Constraints: 30261
2190.28/2195.94 c #Conflicts: 953000 | #Constraints: 31261
2190.28/2195.94 c #Conflicts: 954000 | #Constraints: 32261
2190.28/2195.94 c #Conflicts: 955000 | #Constraints: 33261
2190.28/2195.94 c #Conflicts: 956000 | #Constraints: 34261
2190.28/2195.94 c #Conflicts: 957000 | #Constraints: 35261
2190.28/2195.94 c #Conflicts: 958000 | #Constraints: 36261
2190.28/2195.94 c #Conflicts: 959000 | #Constraints: 37261
2190.28/2195.94 c #Conflicts: 960000 | #Constraints: 38261
2190.28/2195.94 c #Conflicts: 961000 | #Constraints: 39261
2190.28/2195.94 c INPROCESSING
2190.28/2195.94 c GARBAGE COLLECT
2190.28/2195.94 c #Conflicts: 962000 | #Constraints: 20895
2190.28/2195.94 c #Conflicts: 963000 | #Constraints: 21895
2190.28/2195.94 c #Conflicts: 964000 | #Constraints: 22895
2190.28/2195.94 c #Conflicts: 965000 | #Constraints: 23895
2190.28/2195.94 c #Conflicts: 966000 | #Constraints: 24895
2190.28/2195.94 c #Conflicts: 967000 | #Constraints: 25895
2190.28/2195.94 c #Conflicts: 968000 | #Constraints: 26895
2913.22/2920.79 c #Conflicts: 969000 | #Constraints: 27895
2913.22/2920.79 c #Conflicts: 970000 | #Constraints: 28895
2913.22/2920.79 c #Conflicts: 971000 | #Constraints: 29895
2913.22/2920.79 c #Conflicts: 972000 | #Constraints: 30895
2913.22/2920.79 c #Conflicts: 973000 | #Constraints: 31895
2913.22/2920.79 c #Conflicts: 974000 | #Constraints: 32895
2913.22/2920.79 c #Conflicts: 975000 | #Constraints: 33895
2913.22/2920.79 c #Conflicts: 976000 | #Constraints: 34895
2913.22/2920.79 c #Conflicts: 977000 | #Constraints: 35895
2913.22/2920.79 c #Conflicts: 978000 | #Constraints: 36895
2913.22/2920.79 c #Conflicts: 979000 | #Constraints: 37895
2913.22/2920.79 c #Conflicts: 980000 | #Constraints: 38895
2913.22/2920.79 c #Conflicts: 981000 | #Constraints: 39895
2913.22/2920.79 c INPROCESSING
2913.22/2920.79 c GARBAGE COLLECT
2913.22/2920.79 c #Conflicts: 982000 | #Constraints: 21308
2913.22/2920.79 c #Conflicts: 983000 | #Constraints: 22308
2913.22/2920.79 c #Conflicts: 984000 | #Constraints: 23308
2913.22/2920.79 c #Conflicts: 985000 | #Constraints: 24308
2913.22/2920.79 c #Conflicts: 986000 | #Constraints: 25308
2913.22/2920.79 c #Conflicts: 987000 | #Constraints: 26308
2913.22/2920.79 c #Conflicts: 988000 | #Constraints: 27308
2913.22/2920.79 c #Conflicts: 989000 | #Constraints: 28308
2913.22/2920.79 c #Conflicts: 990000 | #Constraints: 29308
2913.22/2920.79 c #Conflicts: 991000 | #Constraints: 30308
2913.22/2920.79 c #Conflicts: 992000 | #Constraints: 31308
2913.22/2920.79 c #Conflicts: 993000 | #Constraints: 32308
2913.22/2920.79 c #Conflicts: 994000 | #Constraints: 33308
2913.22/2920.79 c #Conflicts: 995000 | #Constraints: 34308
2913.22/2920.79 c #Conflicts: 996000 | #Constraints: 35308
2913.22/2920.79 c #Conflicts: 997000 | #Constraints: 36308
2913.22/2920.79 c #Conflicts: 998000 | #Constraints: 37308
2913.22/2920.79 c #Conflicts: 999000 | #Constraints: 38308
2913.22/2920.79 c #Conflicts: 1000000 | #Constraints: 39308
2913.22/2920.79 c #Conflicts: 1001000 | #Constraints: 40308
2913.22/2920.79 c INPROCESSING
2913.22/2920.79 c GARBAGE COLLECT
2913.22/2920.79 c #Conflicts: 1002000 | #Constraints: 21532
2913.22/2920.79 c #Conflicts: 1003000 | #Constraints: 22532
2913.22/2920.79 c #Conflicts: 1004000 | #Constraints: 23532
2913.22/2920.79 c #Conflicts: 1005000 | #Constraints: 24532
2913.22/2920.79 c #Conflicts: 1006000 | #Constraints: 25532
2913.22/2920.79 c #Conflicts: 1007000 | #Constraints: 26532
2913.22/2920.79 c #Conflicts: 1008000 | #Constraints: 27532
2913.22/2920.79 c #Conflicts: 1009000 | #Constraints: 28532
2913.22/2920.79 c #Conflicts: 1010000 | #Constraints: 29532
2913.22/2920.79 c #Conflicts: 1011000 | #Constraints: 30532
2913.22/2920.79 c #Conflicts: 1012000 | #Constraints: 31532
2913.22/2920.79 c #Conflicts: 1013000 | #Constraints: 32532
2913.22/2920.79 c #Conflicts: 1014000 | #Constraints: 33532
2913.22/2920.79 c #Conflicts: 1015000 | #Constraints: 34532
2913.22/2920.79 c #Conflicts: 1016000 | #Constraints: 35532
2913.22/2920.79 c #Conflicts: 1017000 | #Constraints: 36532
2913.22/2920.79 c #Conflicts: 1018000 | #Constraints: 37532
2913.22/2920.79 c #Conflicts: 1019000 | #Constraints: 38532
2913.22/2920.79 c #Conflicts: 1020000 | #Constraints: 39532
2913.22/2920.79 c #Conflicts: 1021000 | #Constraints: 40532
2913.22/2920.79 c INPROCESSING
2913.22/2920.79 c GARBAGE COLLECT
2913.22/2920.79 c #Conflicts: 1022000 | #Constraints: 21614
2913.22/2920.79 c #Conflicts: 1023000 | #Constraints: 22614
2913.22/2920.79 c #Conflicts: 1024000 | #Constraints: 23614
2913.22/2920.79 c #Conflicts: 1025000 | #Constraints: 24614
2913.22/2920.79 c #Conflicts: 1026000 | #Constraints: 25614
2913.22/2920.79 c #Conflicts: 1027000 | #Constraints: 26614
2913.22/2920.79 c #Conflicts: 1028000 | #Constraints: 27614
2913.22/2920.79 c #Conflicts: 1029000 | #Constraints: 28614
2913.22/2920.79 c #Conflicts: 1030000 | #Constraints: 29614
2913.22/2920.79 c #Conflicts: 1031000 | #Constraints: 30614
2913.22/2920.79 c #Conflicts: 1032000 | #Constraints: 31614
2913.22/2920.79 c #Conflicts: 1033000 | #Constraints: 32614
2913.22/2920.79 c #Conflicts: 1034000 | #Constraints: 33614
2913.22/2920.79 c #Conflicts: 1035000 | #Constraints: 34614
2913.22/2920.79 c #Conflicts: 1036000 | #Constraints: 35614
2913.22/2920.79 c #Conflicts: 1037000 | #Constraints: 36614
2913.22/2920.79 c #Conflicts: 1038000 | #Constraints: 37614
2913.22/2920.79 c #Conflicts: 1039000 | #Constraints: 38614
2913.22/2920.79 c #Conflicts: 1040000 | #Constraints: 39614
2913.22/2920.79 c #Conflicts: 1041000 | #Constraints: 40614
2913.22/2920.79 c INPROCESSING
2913.22/2920.79 c GARBAGE COLLECT
2913.22/2920.79 c #Conflicts: 1042000 | #Constraints: 21353
2913.22/2920.79 c #Conflicts: 1043000 | #Constraints: 22353
2913.22/2920.79 c #Conflicts: 1044000 | #Constraints: 23353
3404.32/3413.25 c #Conflicts: 1045000 | #Constraints: 24353
3404.32/3413.25 c #Conflicts: 1046000 | #Constraints: 25353
3404.32/3413.25 c #Conflicts: 1047000 | #Constraints: 26353
3404.32/3413.25 c #Conflicts: 1048000 | #Constraints: 27353
3404.32/3413.25 c #Conflicts: 1049000 | #Constraints: 28353
3404.32/3413.25 c #Conflicts: 1050000 | #Constraints: 29353
3404.32/3413.25 c #Conflicts: 1051000 | #Constraints: 30353
3404.32/3413.25 c #Conflicts: 1052000 | #Constraints: 31353
3404.32/3413.25 c #Conflicts: 1053000 | #Constraints: 32353
3404.32/3413.25 c #Conflicts: 1054000 | #Constraints: 33353
3404.32/3413.25 c #Conflicts: 1055000 | #Constraints: 34353
3404.32/3413.25 c #Conflicts: 1056000 | #Constraints: 35353
3404.32/3413.25 c #Conflicts: 1057000 | #Constraints: 36353
3404.32/3413.25 c #Conflicts: 1058000 | #Constraints: 37353
3404.32/3413.25 c #Conflicts: 1059000 | #Constraints: 38353
3404.32/3413.25 c #Conflicts: 1060000 | #Constraints: 39353
3404.32/3413.25 c #Conflicts: 1061000 | #Constraints: 40353
3404.32/3413.25 c #Conflicts: 1062000 | #Constraints: 41353
3404.32/3413.25 c INPROCESSING
3404.32/3413.25 c GARBAGE COLLECT
3404.32/3413.25 c #Conflicts: 1063000 | #Constraints: 21931
3404.32/3413.25 c #Conflicts: 1064000 | #Constraints: 22931
3404.32/3413.25 c #Conflicts: 1065000 | #Constraints: 23931
3404.32/3413.25 c #Conflicts: 1066000 | #Constraints: 24931
3404.32/3413.25 c #Conflicts: 1067000 | #Constraints: 25931
3404.32/3413.25 c #Conflicts: 1068000 | #Constraints: 26931
3404.32/3413.25 c #Conflicts: 1069000 | #Constraints: 27931
3404.32/3413.25 c #Conflicts: 1070000 | #Constraints: 28931
3404.32/3413.25 c #Conflicts: 1071000 | #Constraints: 29931
3404.32/3413.25 c #Conflicts: 1072000 | #Constraints: 30931
3404.32/3413.25 c #Conflicts: 1073000 | #Constraints: 31931
3404.32/3413.25 c #Conflicts: 1074000 | #Constraints: 32931
3404.32/3413.25 c #Conflicts: 1075000 | #Constraints: 33931
3404.32/3413.25 c #Conflicts: 1076000 | #Constraints: 34931
3404.32/3413.25 c #Conflicts: 1077000 | #Constraints: 35931
3404.32/3413.25 c #Conflicts: 1078000 | #Constraints: 36931
3404.32/3413.25 c #Conflicts: 1079000 | #Constraints: 37931
3404.32/3413.25 c #Conflicts: 1080000 | #Constraints: 38931
3404.32/3413.25 c #Conflicts: 1081000 | #Constraints: 39931
3404.32/3413.25 c #Conflicts: 1082000 | #Constraints: 40931
3404.32/3413.25 c #Conflicts: 1083000 | #Constraints: 41931
3404.32/3413.25 c INPROCESSING
3404.32/3413.25 c GARBAGE COLLECT
3404.32/3413.25 c #Conflicts: 1084000 | #Constraints: 22305
3404.32/3413.25 c #Conflicts: 1085000 | #Constraints: 23305
3404.32/3413.25 c #Conflicts: 1086000 | #Constraints: 24305
3404.32/3413.25 c #Conflicts: 1087000 | #Constraints: 25305
3404.32/3413.25 c #Conflicts: 1088000 | #Constraints: 26305
3404.32/3413.25 c #Conflicts: 1089000 | #Constraints: 27305
3404.32/3413.25 c #Conflicts: 1090000 | #Constraints: 28305
3404.32/3413.25 c #Conflicts: 1091000 | #Constraints: 29305
3404.32/3413.25 c #Conflicts: 1092000 | #Constraints: 30305
3404.32/3413.25 c #Conflicts: 1093000 | #Constraints: 31305
3404.32/3413.25 c #Conflicts: 1094000 | #Constraints: 32305
3404.32/3413.25 c #Conflicts: 1095000 | #Constraints: 33305
3404.32/3413.25 c #Conflicts: 1096000 | #Constraints: 34305
3404.32/3413.25 c #Conflicts: 1097000 | #Constraints: 35305
3404.32/3413.25 c #Conflicts: 1098000 | #Constraints: 36305
3404.32/3413.25 c #Conflicts: 1099000 | #Constraints: 37305
3404.32/3413.25 c #Conflicts: 1100000 | #Constraints: 38305
3404.32/3413.25 c #Conflicts: 1101000 | #Constraints: 39305
3404.32/3413.25 c #Conflicts: 1102000 | #Constraints: 40305
3404.32/3413.25 c #Conflicts: 1103000 | #Constraints: 41305
3404.32/3413.25 c #Conflicts: 1104000 | #Constraints: 42305
3404.32/3413.25 c INPROCESSING
3404.32/3413.25 c GARBAGE COLLECT
3404.32/3413.25 c #Conflicts: 1105000 | #Constraints: 22517
3404.32/3413.25 c #Conflicts: 1106000 | #Constraints: 23517
3404.32/3413.25 c #Conflicts: 1107000 | #Constraints: 24517
3404.32/3413.25 c #Conflicts: 1108000 | #Constraints: 25517
3404.32/3413.25 c #Conflicts: 1109000 | #Constraints: 26517
3404.32/3413.25 c #Conflicts: 1110000 | #Constraints: 27517
3404.32/3413.25 c #Conflicts: 1111000 | #Constraints: 28517
3404.32/3413.25 c #Conflicts: 1112000 | #Constraints: 29517
3404.32/3413.25 c #Conflicts: 1113000 | #Constraints: 30517
3404.32/3413.25 c #Conflicts: 1114000 | #Constraints: 31517
3404.32/3413.25 c #Conflicts: 1115000 | #Constraints: 32517
3404.32/3413.25 c #Conflicts: 1116000 | #Constraints: 33517
3404.32/3413.25 c #Conflicts: 1117000 | #Constraints: 34517
3404.32/3413.25 c #Conflicts: 1118000 | #Constraints: 35517
3404.32/3413.25 c #Conflicts: 1119000 | #Constraints: 36517
3404.32/3413.25 c #Conflicts: 1120000 | #Constraints: 37517
3404.32/3413.25 c #Conflicts: 1121000 | #Constraints: 38517
3600.07/3609.50 c #Conflicts: 1122000 | #Constraints: 39517
3600.07/3609.50 c #Conflicts: 1123000 | #Constraints: 40517
3600.07/3609.50 c #Conflicts: 1124000 | #Constraints: 41517
3600.07/3609.50 c #Conflicts: 1125000 | #Constraints: 42517
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 1126000 | #Constraints: 22523
3600.07/3609.50 c #Conflicts: 1127000 | #Constraints: 23523
3600.07/3609.50 c #Conflicts: 1128000 | #Constraints: 24523
3600.07/3609.50 c #Conflicts: 1129000 | #Constraints: 25523
3600.07/3609.50 c #Conflicts: 1130000 | #Constraints: 26523
3600.07/3609.50 c #Conflicts: 1131000 | #Constraints: 27523
3600.07/3609.50 c #Conflicts: 1132000 | #Constraints: 28523
3600.07/3609.50 c #Conflicts: 1133000 | #Constraints: 29523
3600.07/3609.50 c #Conflicts: 1134000 | #Constraints: 30523
3600.07/3609.50 c #Conflicts: 1135000 | #Constraints: 31523
3600.07/3609.50 c #Conflicts: 1136000 | #Constraints: 32523
3600.07/3609.50 c #Conflicts: 1137000 | #Constraints: 33523
3600.07/3609.50 c #Conflicts: 1138000 | #Constraints: 34523
3600.07/3609.50 c #Conflicts: 1139000 | #Constraints: 35523
3600.07/3609.50 c #Conflicts: 1140000 | #Constraints: 36523
3600.07/3609.50 c #Conflicts: 1141000 | #Constraints: 37523
3600.07/3609.50 c #Conflicts: 1142000 | #Constraints: 38523
3600.07/3609.50 c #Conflicts: 1143000 | #Constraints: 39523
3600.07/3609.50 c #Conflicts: 1144000 | #Constraints: 40523
3600.07/3609.50 c #Conflicts: 1145000 | #Constraints: 41523
3600.07/3609.50 c #Conflicts: 1146000 | #Constraints: 42523
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 1147000 | #Constraints: 22275
3600.07/3609.50 c #Conflicts: 1148000 | #Constraints: 23275
3600.07/3609.50 c #Conflicts: 1149000 | #Constraints: 24275
3600.07/3609.50 c #Conflicts: 1150000 | #Constraints: 25275
3600.07/3609.50 c #Conflicts: 1151000 | #Constraints: 26275
3600.07/3609.50 c #Conflicts: 1152000 | #Constraints: 27275
3600.07/3609.50 c #Conflicts: 1153000 | #Constraints: 28275
3600.07/3609.50 c #Conflicts: 1154000 | #Constraints: 29275
3600.07/3609.50 c #Conflicts: 1155000 | #Constraints: 30275
3600.07/3609.50 c #Conflicts: 1156000 | #Constraints: 31275
3600.07/3609.50 c #Conflicts: 1157000 | #Constraints: 32275
3600.07/3609.50 c #Conflicts: 1158000 | #Constraints: 33275
3600.07/3609.50 c #Conflicts: 1159000 | #Constraints: 34275
3600.07/3609.50 c #Conflicts: 1160000 | #Constraints: 35275
3600.07/3609.50 c #Conflicts: 1161000 | #Constraints: 36275
3600.07/3609.50 c #Conflicts: 1162000 | #Constraints: 37275
3600.07/3609.50 c #Conflicts: 1163000 | #Constraints: 38275
3600.07/3609.50 c #Conflicts: 1164000 | #Constraints: 39275
3600.07/3609.50 c #Conflicts: 1165000 | #Constraints: 40275
3600.07/3609.50 c #Conflicts: 1166000 | #Constraints: 41275
3600.07/3609.50 c #Conflicts: 1167000 | #Constraints: 42275
3600.07/3609.50 c #Conflicts: 1168000 | #Constraints: 43275
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 1169000 | #Constraints: 22872
3600.07/3609.50 c #Conflicts: 1170000 | #Constraints: 23872
3600.07/3609.50 c Program interrupted by user.
3600.07/3609.50 c cpu time 3588.81 s
3600.07/3609.50 c deterministic time 887146104810 8.87e+11
3600.07/3609.50 c optimization time 5.67391 s
3600.07/3609.50 c total solve time 3583.11 s
3600.07/3609.50 c core-guided solve time 3583.11 s
3600.07/3609.50 c propagation time 3026 s
3600.07/3609.50 c conflict analysis time 505.657 s
3600.07/3609.50 c propagations 362546282
3600.07/3609.50 c resolve steps 13087864
3600.07/3609.50 c decisions 8055983
3600.07/3609.50 c conflicts 1170447
3600.07/3609.50 c restarts 2173
3600.07/3609.50 c inprocessing phases 99
3600.07/3609.50 c input clauses 5045
3600.07/3609.50 c input cardinalities 76
3600.07/3609.50 c input general constraints 448
3600.07/3609.50 c input average constraint length 9.60
3600.07/3609.50 c input average constraint degree 71.21
3600.07/3609.50 c learned clauses 120050
3600.07/3609.50 c learned cardinalities 12670
3600.07/3609.50 c learned general constraints 1037726
3600.07/3609.50 c learned average constraint length 801.26
3600.07/3609.50 c learned average constraint degree 96316913.20
3600.07/3609.50 c watched constraints 833210
3600.07/3609.50 c counting constraints 204964
3600.07/3609.50 c gcd simplifications 75666
3600.07/3609.50 c detected cardinalities 353
3600.07/3609.50 c weakened non-implied lits 112832883
3600.07/3609.50 c weakened non-implying lits 160412
3600.07/3609.50 c original variables 4977
3600.07/3609.50 c clausal propagations 1474036
3600.07/3609.50 c cardinality propagations 7909574
3600.07/3609.50 c watched propagations 17939708
3600.07/3609.50 c counting propagations 333820450
3600.07/3609.50 c watch lookups 29051882316
3600.07/3609.50 c watch backjump lookups 25307832126
3600.07/3609.50 c watch checks 750046394786
3600.07/3609.50 c propagation checks 78528996595
3600.07/3609.50 c constraint additions 3468627647
3600.07/3609.50 c trail pops 371769074
3600.07/3609.50 c formula constraints 5569
3600.07/3609.50 c learned constraints 1170446
3600.07/3609.50 c bound constraints 0
3600.07/3609.50 c core-guided constraints 0
3600.07/3609.50 c encountered formula constraints 8566268
3600.07/3609.50 c encountered learned constraints 5692043
3600.07/3609.50 c encountered bound constraints 0
3600.07/3609.50 c encountered core-guided constraints 0
3600.07/3609.50 c LP total time 0 s
3600.07/3609.50 c LP solve time 0 s
3600.07/3609.50 c LP constraints added 0
3600.07/3609.50 c LP constraints removed 0
3600.07/3609.50 c LP pivots internal 0
3600.07/3609.50 c LP pivots root 0
3600.07/3609.50 c LP calls 0
3600.07/3609.50 c LP optimalities 0
3600.07/3609.50 c LP no pivot count 0
3600.07/3609.50 c LP infeasibilities 0
3600.07/3609.50 c LP valid Farkas constraints 0
3600.07/3609.50 c LP learned Farkas constraints 0
3600.07/3609.50 c LP basis resets 0
3600.07/3609.50 c LP cycling count 0
3600.07/3609.50 c LP singular count 0
3600.07/3609.50 c LP no primal count 0
3600.07/3609.50 c LP no farkas count 0
3600.07/3609.50 c LP other issue count 0
3600.07/3609.50 c LP Gomory cuts 0
3600.07/3609.50 c LP learned cuts 0
3600.07/3609.50 c LP deleted cuts 0
3600.07/3609.50 c LP encountered Gomory constraints 0
3600.07/3609.50 c LP encountered Farkas constraints 0
3600.07/3609.50 c LP encountered learned Farkas constraints 0
3600.07/3609.50 c CG auxiliary variables introduced 0
3600.07/3609.50 c CG solutions found 0
3600.07/3609.50 c CG cores constructed 0
3600.07/3609.50 c CG core cardinality constraints returned 0
3600.07/3609.50 c CG unit cores 0
3600.07/3609.50 c CG single cores 0
3600.07/3609.50 c CG blocks removed during cardinality reduction 0
3600.07/3609.50 c CG first core best 0
3600.07/3609.50 c CG decision core best 0
3600.07/3609.50 c CG core reduction tie 0
3600.07/3609.50 c CG core degree average 0.00
3600.07/3609.50 c CG core slack average 0.00
3600.07/3609.50 c CG exhausted 0
3600.07/3609.50 c CG exhaust time 0 s
3600.07/3609.50 c CG trimmed 0
3600.07/3609.50 c CG trim time 0 s
3600.07/3609.50 c CG minimized 0
3600.07/3609.50 c CG minimize time 0 s
3600.07/3609.50 c CG am1 prop time 0 s
3600.07/3609.50 c CG # am1s reformulated 0
3600.07/3609.50 c CG lower bound derived from am1s 0
3600.07/3609.50 c CG # clausal cores 0
3600.07/3609.50 c CG # cardinality cores 0
3600.07/3609.50 c CG # pb cores 0
3600.07/3609.50 c CG # pb reforms 0
3600.07/3609.50 c CG # cores discarded because of pb reform 0
3600.07/3609.50 d LOWERBOUND 0
3600.07/3609.50 d NCORES 0
3600.07/3609.50 d NPBCORES 0
3600.07/3609.50 d NPBREFORM 0
3600.07/3609.50 d NTRIMMED 0
3600.07/3609.50 d NEXHAUSTED 0
3600.07/3609.50 d NAM1S 0
3600.07/3609.50 d AM1LB 0
3600.07/3609.50 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: 63931 MiB (58955 MiB free)
memory of node 1: 64510 MiB (61767 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436005-1721119549/watcher-4436005-1721119549 -o /tmp/evaluation-result-4436005-1721119549/solver-4436005-1721119549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865521 --watchdog 3760 pb-oll-rs HOME/instance-4436005-1721119549.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=865631, runsolver pid=865628
[startup+0.100733 s]*
/proc/loadavg: 1.10 1.10 1.33 5/257 865632
/proc/meminfo: memFree=123611824/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=41232 memory=10944 CPUtime=0.09 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 1041 0 0 0 8 1 0 0 20 0 1 0 164122272 42221568 2736 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 10308 2736 1375 291 0 1842 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 10944 KiB
[startup+0.205329 s]*
/proc/loadavg: 1.10 1.10 1.33 5/257 865632
/proc/meminfo: memFree=123608396/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=42396 memory=12108 CPUtime=0.19 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 1310 0 0 0 18 1 0 0 20 0 1 0 164122272 43413504 3027 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 10599 3027 1375 291 0 2133 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42396 KiB
Current children cumulated memory: 12108 KiB
[startup+0.305128 s]*
/proc/loadavg: 1.10 1.10 1.33 5/255 865646
/proc/meminfo: memFree=123624732/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=43024 memory=13632 CPUtime=0.29 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 1712 0 0 0 28 1 0 0 20 0 1 0 164122272 44056576 3408 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 10756 3408 1375 291 0 2290 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43024 KiB
Current children cumulated memory: 13632 KiB
[startup+0.700188 s]
/proc/loadavg: 1.25 1.13 1.34 5/254 865672
/proc/meminfo: memFree=123616952/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=47172 memory=17048 CPUtime=0.68 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 2514 0 0 0 65 3 0 0 20 0 1 0 164122272 48304128 4262 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 11793 4262 1430 291 0 3327 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47172 KiB
Current children cumulated memory: 17048 KiB
[startup+1.50019 s]
/proc/loadavg: 1.25 1.13 1.34 5/257 865678
/proc/meminfo: memFree=123607664/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=53504 memory=22200 CPUtime=1.48 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 3800 0 0 0 142 6 0 0 20 0 1 0 164122272 54788096 5550 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 13376 5550 1430 291 0 4910 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53504 KiB
Current children cumulated memory: 22200 KiB
[startup+3.10526 s]
/proc/loadavg: 1.25 1.13 1.34 5/257 865680
/proc/meminfo: memFree=123582044/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=64112 memory=28844 CPUtime=3.08 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 4926 0 0 0 300 8 0 0 20 0 1 0 164122272 65650688 7211 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 16028 7211 1430 291 0 7562 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64112 KiB
Current children cumulated memory: 28844 KiB
[startup+6.30017 s]
/proc/loadavg: 1.47 1.18 1.35 5/257 865680
/proc/meminfo: memFree=123562104/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=67176 memory=35276 CPUtime=6.26 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 6022 0 0 0 612 14 0 0 20 0 1 0 164122272 68788224 8819 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 16794 8819 1430 291 0 8328 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 35276 KiB
[startup+12.7002 s]
/proc/loadavg: 1.67 1.23 1.37 5/257 865680
/proc/meminfo: memFree=123529328/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=86580 memory=48220 CPUtime=12.65 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 8288 0 0 0 1238 27 0 0 20 0 1 0 164122272 88657920 12055 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 21645 12055 1430 291 0 13179 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86580 KiB
Current children cumulated memory: 48220 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.34 1.40 5/257 865683
/proc/meminfo: memFree=123468820/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=129560 memory=79676 CPUtime=25.42 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 14083 0 0 0 2500 42 0 0 20 0 1 0 164122272 132669440 19919 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 32390 19919 1430 291 0 23924 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 129560 KiB
Current children cumulated memory: 79676 KiB
[startup+51.1053 s]
/proc/loadavg: 3.00 1.63 1.50 5/257 865824
/proc/meminfo: memFree=123477492/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=134152 memory=92280 CPUtime=50.96 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 15302 0 0 0 5017 79 0 0 20 0 1 0 164122272 137371648 23070 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 33538 23070 1430 291 0 25072 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 134152 KiB
Current children cumulated memory: 92280 KiB
[startup+102.3 s]
/proc/loadavg: 3.69 2.03 1.64 5/257 865831
/proc/meminfo: memFree=123399404/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=181228 memory=123764 CPUtime=102.02 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 19656 0 0 0 10091 111 0 0 20 0 1 0 164122272 185577472 30941 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 45307 30941 1430 291 0 36841 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 181228 KiB
Current children cumulated memory: 123764 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.42 1.80 5/257 865841
/proc/meminfo: memFree=123353940/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=188576 memory=136100 CPUtime=161.87 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 21414 0 0 0 16014 173 0 0 20 0 1 0 164122272 193101824 34025 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 47144 34025 1430 291 0 38678 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 188576 KiB
Current children cumulated memory: 136100 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 2.71 1.94 5/257 865898
/proc/meminfo: memFree=123326168/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=204980 memory=165380 CPUtime=221.69 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 24777 0 0 0 21962 207 0 0 20 0 1 0 164122272 209899520 41345 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 51245 41345 1430 291 0 42779 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 204980 KiB
Current children cumulated memory: 165380 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.97 2.08 5/259 865958
/proc/meminfo: memFree=123262784/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=265396 memory=192508 CPUtime=281.53 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 27516 0 0 0 27907 246 0 0 20 0 1 0 164122272 271765504 48127 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 66349 48127 1430 291 0 57883 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 265396 KiB
Current children cumulated memory: 192508 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 3.24 2.23 5/256 865968
/proc/meminfo: memFree=123226808/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=270836 memory=196840 CPUtime=341.38 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 28801 0 0 0 33841 297 0 0 20 0 1 0 164122272 277336064 49210 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 67709 49210 1430 291 0 59243 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 270836 KiB
Current children cumulated memory: 196840 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 3.44 2.37 5/256 865979
/proc/meminfo: memFree=123198012/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=289976 memory=211492 CPUtime=401.24 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 32629 0 0 0 39807 317 0 0 20 0 1 0 164122272 296935424 52873 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 72494 52873 1430 291 0 64028 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 289976 KiB
Current children cumulated memory: 211492 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.56 2.48 5/257 865991
/proc/meminfo: memFree=123123384/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=398568 memory=278072 CPUtime=461.11 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 38168 0 0 0 45788 323 0 0 20 0 1 0 164122272 408133632 69518 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 99642 69518 1430 291 0 91176 0
################
# More data... #
################
Current children cumulated memory: 591372 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.04 5/255 867935
/proc/meminfo: memFree=122320572/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=689852 memory=592512 CPUtime=2914.82 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 77065 0 0 0 290461 1021 0 0 20 0 1 0 164122272 706408448 148128 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 172463 148128 1430 291 0 163997 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 689852 KiB
Current children cumulated memory: 592512 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/255 867945
/proc/meminfo: memFree=122316060/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=692540 memory=594048 CPUtime=2974.65 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 77679 0 0 0 296435 1030 0 0 20 0 1 0 164122272 709160960 148512 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 173135 148512 1430 291 0 164669 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 692540 KiB
Current children cumulated memory: 594048 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.05 5/255 867955
/proc/meminfo: memFree=122309560/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=698556 memory=598536 CPUtime=3034.48 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 79159 0 0 0 302406 1042 0 0 20 0 1 0 164122272 715321344 149634 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 174639 149634 1430 291 0 166173 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 698556 KiB
Current children cumulated memory: 598536 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/255 867966
/proc/meminfo: memFree=122284372/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=699196 memory=598756 CPUtime=3094.3 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 79598 0 0 0 308376 1054 0 0 20 0 1 0 164122272 715976704 149689 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 174799 149689 1430 291 0 166333 0
Current children cumulated CPU time: 3094.3 s
Current children cumulated vsize: 699196 KiB
Current children cumulated memory: 598756 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/255 867976
/proc/meminfo: memFree=122281320/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=703104 memory=601412 CPUtime=3154.13 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 80530 0 0 0 314352 1061 0 0 20 0 1 0 164122272 719978496 150353 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 175776 150353 1430 291 0 167310 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 703104 KiB
Current children cumulated memory: 601412 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/255 867986
/proc/meminfo: memFree=122269888/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=708992 memory=605224 CPUtime=3213.96 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 81759 0 0 0 320326 1070 0 0 20 0 1 0 164122272 726007808 151306 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 177248 151306 1430 291 0 168782 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 708992 KiB
Current children cumulated memory: 605224 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/257 868001
/proc/meminfo: memFree=122248536/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=710144 memory=605708 CPUtime=3273.79 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 82151 0 0 0 326306 1073 0 0 20 0 1 0 164122272 727187456 151427 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 177536 151427 1430 291 0 169070 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 710144 KiB
Current children cumulated memory: 605708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/257 868012
/proc/meminfo: memFree=122247572/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=711168 memory=606632 CPUtime=3333.62 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 82601 0 0 0 332286 1076 0 0 20 0 1 0 164122272 728236032 151658 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 177792 151658 1430 291 0 169326 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 711168 KiB
Current children cumulated memory: 606632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/257 868022
/proc/meminfo: memFree=122247272/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=712704 memory=607776 CPUtime=3393.46 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 83115 0 0 0 338268 1078 0 0 20 0 1 0 164122272 729808896 151944 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 178176 151944 1430 291 0 169710 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 712704 KiB
Current children cumulated memory: 607776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/257 868033
/proc/meminfo: memFree=122240912/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=716416 memory=610424 CPUtime=3453.29 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 84055 0 0 0 344249 1080 0 0 20 0 1 0 164122272 733609984 152606 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 179104 152606 1430 291 0 170638 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 716416 KiB
Current children cumulated memory: 610424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/257 868044
/proc/meminfo: memFree=122233664/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=720000 memory=613024 CPUtime=3513.13 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 85067 0 0 0 350228 1085 0 0 20 0 1 0 164122272 737280000 153256 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 180000 153256 1430 291 0 171534 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 720000 KiB
Current children cumulated memory: 613024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 868054
/proc/meminfo: memFree=122232956/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=720000 memory=613028 CPUtime=3572.95 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 85401 0 0 0 356178 1117 0 0 20 0 1 0 164122272 737280000 153257 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 180000 153257 1430 291 0 171534 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 720000 KiB
Current children cumulated memory: 613028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 868058
/proc/meminfo: memFree=122225164/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=720000 memory=620152 CPUtime=3600.07 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 85670 0 0 0 358880 1127 0 0 20 0 1 0 164122272 737280000 155038 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 180000 155038 1430 291 0 171534 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 720000 KiB
Current children cumulated memory: 620152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 865631 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.81 s, system=11.2736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 868058
/proc/meminfo: memFree=122225164/131524600 swapFree=131071996/131071996
[pid=865631] ppid=865628 vsize=720000 memory=620152 CPUtime=3600.07 cores=4,6
/proc/865631/stat : 865631 (pb-oll-rs) R 865628 865631 865510 0 -1 4194304 85670 0 0 0 358880 1127 0 0 20 0 1 0 164122272 737280000 155038 134679101440 4194304 5384005 140737462658064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18186240 140737462666263 140737462666340 140737462666340 140737462673355 0
/proc/865631/statm: 180000 155038 1430 291 0 171534 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 720000 KiB
Current children cumulated memory: 620152 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.08
CPU user time (s): 3588.81
CPU system time (s): 11.2736
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 720656
Max. memory (cumulated for all children) (KiB): 620152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.81
system time used= 11.2736
maximum resident set size= 620272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85684
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= 135
involuntary context switches= 3337
# summary of solver processes directly reported to runsolver:
# pid: 865631
# total CPU time (s): 3600.08
# total CPU user time (s): 3588.81
# total CPU system time (s): 11.2736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66766 second user time and 16.1158 second system time
The end
Begin job on nodeC029 at 2024-07-16 10:46:02
IDJOB=4436005
IDBENCH=148775
IDSOLVER=3067
FILE ID=nodeC029/4436005-1721119549
RUNJOBID= nodeC029-1721119560-865521
SLURM_JOB_ID= 7505669
Free space on /tmp= 890060 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436005-1721119549/watcher-4436005-1721119549 -o /tmp/evaluation-result-4436005-1721119549/solver-4436005-1721119549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865521 --watchdog 3760 pb-oll-rs HOME/instance-4436005-1721119549.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=919791155
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3679.470
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3691.300
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3627.812
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.790
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3654.863
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3691.341
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3657.147
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3600.361
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123620664 kB
MemAvailable: 129620952 kB
Buffers: 400436 kB
Cached: 6363540 kB
SwapCached: 0 kB
Active: 721332 kB
Inactive: 6428128 kB
Active(anon): 1464 kB
Inactive(anon): 421728 kB
Active(file): 719868 kB
Inactive(file): 6006400 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9780 kB
Writeback: 0 kB
AnonPages: 385604 kB
Mapped: 108172 kB
Shmem: 37720 kB
KReclaimable: 227332 kB
Slab: 348888 kB
SReclaimable: 227332 kB
SUnreclaim: 121556 kB
KernelStack: 4128 kB
PageTables: 10056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 749256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC029 at 2024-07-16 11:46:11