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
43.26/43.42 c bounds - >= 7 @ 0.021287
43.26/43.42 c #Conflicts: 1000 | #Constraints: 6568
43.26/43.42 c #Conflicts: 2000 | #Constraints: 7568
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 3000 | #Constraints: 2610
43.26/43.42 c #Conflicts: 4000 | #Constraints: 3610
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 5000 | #Constraints: 3024
43.26/43.42 c #Conflicts: 6000 | #Constraints: 4024
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 7000 | #Constraints: 3024
43.26/43.42 c #Conflicts: 8000 | #Constraints: 4024
43.26/43.42 c #Conflicts: 9000 | #Constraints: 5024
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 10000 | #Constraints: 3722
43.26/43.42 c #Conflicts: 11000 | #Constraints: 4722
43.26/43.42 c #Conflicts: 12000 | #Constraints: 5722
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 13000 | #Constraints: 4172
43.26/43.42 c #Conflicts: 14000 | #Constraints: 5172
43.26/43.42 c #Conflicts: 15000 | #Constraints: 6172
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 16000 | #Constraints: 4396
43.26/43.42 c #Conflicts: 17000 | #Constraints: 5396
43.26/43.42 c #Conflicts: 18000 | #Constraints: 6396
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 19000 | #Constraints: 4437
43.26/43.42 c #Conflicts: 20000 | #Constraints: 5437
43.26/43.42 c #Conflicts: 21000 | #Constraints: 6437
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 22000 | #Constraints: 4232
43.26/43.42 c #Conflicts: 23000 | #Constraints: 5232
43.26/43.42 c #Conflicts: 24000 | #Constraints: 6232
43.26/43.42 c #Conflicts: 25000 | #Constraints: 7232
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 26000 | #Constraints: 4832
43.26/43.42 c #Conflicts: 27000 | #Constraints: 5832
43.26/43.42 c #Conflicts: 28000 | #Constraints: 6832
43.26/43.42 c #Conflicts: 29000 | #Constraints: 7832
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 30000 | #Constraints: 5224
43.26/43.42 c #Conflicts: 31000 | #Constraints: 6224
43.26/43.42 c #Conflicts: 32000 | #Constraints: 7224
43.26/43.42 c #Conflicts: 33000 | #Constraints: 8224
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 34000 | #Constraints: 5430
43.26/43.42 c #Conflicts: 35000 | #Constraints: 6430
43.26/43.42 c #Conflicts: 36000 | #Constraints: 7430
43.26/43.42 c #Conflicts: 37000 | #Constraints: 8430
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 38000 | #Constraints: 5434
43.26/43.42 c #Conflicts: 39000 | #Constraints: 6434
43.26/43.42 c #Conflicts: 40000 | #Constraints: 7434
43.26/43.42 c #Conflicts: 41000 | #Constraints: 8434
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 42000 | #Constraints: 5248
43.26/43.42 c #Conflicts: 43000 | #Constraints: 6248
43.26/43.42 c #Conflicts: 44000 | #Constraints: 7248
43.26/43.42 c #Conflicts: 45000 | #Constraints: 8248
43.26/43.42 c #Conflicts: 46000 | #Constraints: 9248
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 47000 | #Constraints: 5831
43.26/43.42 c #Conflicts: 48000 | #Constraints: 6831
43.26/43.42 c #Conflicts: 49000 | #Constraints: 7831
43.26/43.42 c #Conflicts: 50000 | #Constraints: 8831
43.26/43.42 c #Conflicts: 51000 | #Constraints: 9831
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 52000 | #Constraints: 6235
43.26/43.42 c #Conflicts: 53000 | #Constraints: 7235
43.26/43.42 c #Conflicts: 54000 | #Constraints: 8235
43.26/43.42 c #Conflicts: 55000 | #Constraints: 9235
43.26/43.42 c #Conflicts: 56000 | #Constraints: 10235
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 57000 | #Constraints: 6427
43.26/43.42 c #Conflicts: 58000 | #Constraints: 7427
43.26/43.42 c #Conflicts: 59000 | #Constraints: 8427
43.26/43.42 c #Conflicts: 60000 | #Constraints: 9427
43.26/43.42 c #Conflicts: 61000 | #Constraints: 10427
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 62000 | #Constraints: 6431
43.26/43.42 c #Conflicts: 63000 | #Constraints: 7431
43.26/43.42 c #Conflicts: 64000 | #Constraints: 8431
43.26/43.42 c #Conflicts: 65000 | #Constraints: 9431
43.26/43.42 c #Conflicts: 66000 | #Constraints: 10431
43.26/43.42 c INPROCESSING
43.26/43.42 c GARBAGE COLLECT
43.26/43.42 c #Conflicts: 67000 | #Constraints: 6233
138.80/139.24 c #Conflicts: 68000 | #Constraints: 7233
138.80/139.24 c #Conflicts: 69000 | #Constraints: 8233
138.80/139.24 c #Conflicts: 70000 | #Constraints: 9233
138.80/139.24 c #Conflicts: 71000 | #Constraints: 10233
138.80/139.24 c #Conflicts: 72000 | #Constraints: 11233
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 73000 | #Constraints: 6827
138.80/139.24 c #Conflicts: 74000 | #Constraints: 7827
138.80/139.24 c #Conflicts: 75000 | #Constraints: 8827
138.80/139.24 c #Conflicts: 76000 | #Constraints: 9827
138.80/139.24 c #Conflicts: 77000 | #Constraints: 10827
138.80/139.24 c #Conflicts: 78000 | #Constraints: 11827
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 79000 | #Constraints: 7230
138.80/139.24 c #Conflicts: 80000 | #Constraints: 8230
138.80/139.24 c #Conflicts: 81000 | #Constraints: 9230
138.80/139.24 c #Conflicts: 82000 | #Constraints: 10230
138.80/139.24 c #Conflicts: 83000 | #Constraints: 11230
138.80/139.24 c #Conflicts: 84000 | #Constraints: 12230
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 85000 | #Constraints: 7433
138.80/139.24 c #Conflicts: 86000 | #Constraints: 8433
138.80/139.24 c #Conflicts: 87000 | #Constraints: 9433
138.80/139.24 c #Conflicts: 88000 | #Constraints: 10433
138.80/139.24 c #Conflicts: 89000 | #Constraints: 11433
138.80/139.24 c #Conflicts: 90000 | #Constraints: 12433
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 91000 | #Constraints: 7434
138.80/139.24 c #Conflicts: 92000 | #Constraints: 8434
138.80/139.24 c #Conflicts: 93000 | #Constraints: 9434
138.80/139.24 c #Conflicts: 94000 | #Constraints: 10434
138.80/139.24 c #Conflicts: 95000 | #Constraints: 11434
138.80/139.24 c #Conflicts: 96000 | #Constraints: 12434
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 97000 | #Constraints: 7258
138.80/139.24 c #Conflicts: 98000 | #Constraints: 8258
138.80/139.24 c #Conflicts: 99000 | #Constraints: 9258
138.80/139.24 c #Conflicts: 100000 | #Constraints: 10258
138.80/139.24 c #Conflicts: 101000 | #Constraints: 11258
138.80/139.24 c #Conflicts: 102000 | #Constraints: 12258
138.80/139.24 c #Conflicts: 103000 | #Constraints: 13258
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 104000 | #Constraints: 7844
138.80/139.24 c #Conflicts: 105000 | #Constraints: 8844
138.80/139.24 c #Conflicts: 106000 | #Constraints: 9844
138.80/139.24 c #Conflicts: 107000 | #Constraints: 10844
138.80/139.24 c #Conflicts: 108000 | #Constraints: 11844
138.80/139.24 c #Conflicts: 109000 | #Constraints: 12844
138.80/139.24 c #Conflicts: 110000 | #Constraints: 13844
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 111000 | #Constraints: 8243
138.80/139.24 c #Conflicts: 112000 | #Constraints: 9243
138.80/139.24 c #Conflicts: 113000 | #Constraints: 10243
138.80/139.24 c #Conflicts: 114000 | #Constraints: 11243
138.80/139.24 c #Conflicts: 115000 | #Constraints: 12243
138.80/139.24 c #Conflicts: 116000 | #Constraints: 13243
138.80/139.24 c #Conflicts: 117000 | #Constraints: 14243
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 118000 | #Constraints: 8436
138.80/139.24 c #Conflicts: 119000 | #Constraints: 9436
138.80/139.24 c #Conflicts: 120000 | #Constraints: 10436
138.80/139.24 c #Conflicts: 121000 | #Constraints: 11436
138.80/139.24 c #Conflicts: 122000 | #Constraints: 12436
138.80/139.24 c #Conflicts: 123000 | #Constraints: 13436
138.80/139.24 c #Conflicts: 124000 | #Constraints: 14436
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 125000 | #Constraints: 8427
138.80/139.24 c #Conflicts: 126000 | #Constraints: 9427
138.80/139.24 c #Conflicts: 127000 | #Constraints: 10427
138.80/139.24 c #Conflicts: 128000 | #Constraints: 11427
138.80/139.24 c #Conflicts: 129000 | #Constraints: 12427
138.80/139.24 c #Conflicts: 130000 | #Constraints: 13427
138.80/139.24 c #Conflicts: 131000 | #Constraints: 14427
138.80/139.24 c INPROCESSING
138.80/139.24 c GARBAGE COLLECT
138.80/139.24 c #Conflicts: 132000 | #Constraints: 8235
138.80/139.24 c #Conflicts: 133000 | #Constraints: 9235
138.80/139.24 c #Conflicts: 134000 | #Constraints: 10235
138.80/139.24 c #Conflicts: 135000 | #Constraints: 11235
138.80/139.24 c #Conflicts: 136000 | #Constraints: 12235
138.80/139.24 c #Conflicts: 137000 | #Constraints: 13235
138.80/139.24 c #Conflicts: 138000 | #Constraints: 14235
138.80/139.24 c #Conflicts: 139000 | #Constraints: 15235
138.80/139.24 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 140000 | #Constraints: 8854
234.94/235.68 c #Conflicts: 141000 | #Constraints: 9854
234.94/235.68 c #Conflicts: 142000 | #Constraints: 10854
234.94/235.68 c #Conflicts: 143000 | #Constraints: 11854
234.94/235.68 c #Conflicts: 144000 | #Constraints: 12854
234.94/235.68 c #Conflicts: 145000 | #Constraints: 13854
234.94/235.68 c #Conflicts: 146000 | #Constraints: 14854
234.94/235.68 c #Conflicts: 147000 | #Constraints: 15854
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 148000 | #Constraints: 9258
234.94/235.68 c #Conflicts: 149000 | #Constraints: 10258
234.94/235.68 c #Conflicts: 150000 | #Constraints: 11258
234.94/235.68 c #Conflicts: 151000 | #Constraints: 12258
234.94/235.68 c #Conflicts: 152000 | #Constraints: 13258
234.94/235.68 c #Conflicts: 153000 | #Constraints: 14258
234.94/235.68 c #Conflicts: 154000 | #Constraints: 15258
234.94/235.68 c #Conflicts: 155000 | #Constraints: 16258
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 156000 | #Constraints: 9485
234.94/235.68 c #Conflicts: 157000 | #Constraints: 10485
234.94/235.68 c #Conflicts: 158000 | #Constraints: 11485
234.94/235.68 c #Conflicts: 159000 | #Constraints: 12485
234.94/235.68 c #Conflicts: 160000 | #Constraints: 13485
234.94/235.68 c #Conflicts: 161000 | #Constraints: 14485
234.94/235.68 c #Conflicts: 162000 | #Constraints: 15485
234.94/235.68 c #Conflicts: 163000 | #Constraints: 16485
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 164000 | #Constraints: 9465
234.94/235.68 c #Conflicts: 165000 | #Constraints: 10465
234.94/235.68 c #Conflicts: 166000 | #Constraints: 11465
234.94/235.68 c #Conflicts: 167000 | #Constraints: 12465
234.94/235.68 c #Conflicts: 168000 | #Constraints: 13465
234.94/235.68 c #Conflicts: 169000 | #Constraints: 14465
234.94/235.68 c #Conflicts: 170000 | #Constraints: 15465
234.94/235.68 c #Conflicts: 171000 | #Constraints: 16465
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 172000 | #Constraints: 9244
234.94/235.68 c #Conflicts: 173000 | #Constraints: 10244
234.94/235.68 c #Conflicts: 174000 | #Constraints: 11244
234.94/235.68 c #Conflicts: 175000 | #Constraints: 12244
234.94/235.68 c #Conflicts: 176000 | #Constraints: 13244
234.94/235.68 c #Conflicts: 177000 | #Constraints: 14244
234.94/235.68 c #Conflicts: 178000 | #Constraints: 15244
234.94/235.68 c #Conflicts: 179000 | #Constraints: 16244
234.94/235.68 c #Conflicts: 180000 | #Constraints: 17244
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 181000 | #Constraints: 9833
234.94/235.68 c #Conflicts: 182000 | #Constraints: 10833
234.94/235.68 c #Conflicts: 183000 | #Constraints: 11833
234.94/235.68 c #Conflicts: 184000 | #Constraints: 12833
234.94/235.68 c #Conflicts: 185000 | #Constraints: 13833
234.94/235.68 c #Conflicts: 186000 | #Constraints: 14833
234.94/235.68 c #Conflicts: 187000 | #Constraints: 15833
234.94/235.68 c #Conflicts: 188000 | #Constraints: 16833
234.94/235.68 c #Conflicts: 189000 | #Constraints: 17833
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 190000 | #Constraints: 10250
234.94/235.68 c #Conflicts: 191000 | #Constraints: 11250
234.94/235.68 c #Conflicts: 192000 | #Constraints: 12250
234.94/235.68 c #Conflicts: 193000 | #Constraints: 13250
234.94/235.68 c #Conflicts: 194000 | #Constraints: 14250
234.94/235.68 c #Conflicts: 195000 | #Constraints: 15250
234.94/235.68 c #Conflicts: 196000 | #Constraints: 16250
234.94/235.68 c #Conflicts: 197000 | #Constraints: 17250
234.94/235.68 c #Conflicts: 198000 | #Constraints: 18250
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 199000 | #Constraints: 10454
234.94/235.68 c #Conflicts: 200000 | #Constraints: 11454
234.94/235.68 c #Conflicts: 201000 | #Constraints: 12454
234.94/235.68 c #Conflicts: 202000 | #Constraints: 13454
234.94/235.68 c #Conflicts: 203000 | #Constraints: 14454
234.94/235.68 c #Conflicts: 204000 | #Constraints: 15454
234.94/235.68 c #Conflicts: 205000 | #Constraints: 16454
234.94/235.68 c #Conflicts: 206000 | #Constraints: 17454
234.94/235.68 c #Conflicts: 207000 | #Constraints: 18454
234.94/235.68 c INPROCESSING
234.94/235.68 c GARBAGE COLLECT
234.94/235.68 c #Conflicts: 208000 | #Constraints: 10466
234.94/235.68 c #Conflicts: 209000 | #Constraints: 11466
234.94/235.68 c #Conflicts: 210000 | #Constraints: 12466
234.94/235.68 c #Conflicts: 211000 | #Constraints: 13466
234.94/235.68 c #Conflicts: 212000 | #Constraints: 14466
234.94/235.68 c #Conflicts: 213000 | #Constraints: 15466
341.35/342.39 c #Conflicts: 214000 | #Constraints: 16466
341.35/342.39 c #Conflicts: 215000 | #Constraints: 17466
341.35/342.39 c #Conflicts: 216000 | #Constraints: 18466
341.35/342.39 c INPROCESSING
341.35/342.39 c GARBAGE COLLECT
341.35/342.39 c #Conflicts: 217000 | #Constraints: 10267
341.35/342.39 c #Conflicts: 218000 | #Constraints: 11267
341.35/342.39 c #Conflicts: 219000 | #Constraints: 12267
341.35/342.39 c #Conflicts: 220000 | #Constraints: 13267
341.35/342.39 c #Conflicts: 221000 | #Constraints: 14267
341.35/342.39 c #Conflicts: 222000 | #Constraints: 15267
341.35/342.39 c #Conflicts: 223000 | #Constraints: 16267
341.35/342.39 c #Conflicts: 224000 | #Constraints: 17267
341.35/342.39 c #Conflicts: 225000 | #Constraints: 18267
341.35/342.39 c #Conflicts: 226000 | #Constraints: 19267
341.35/342.39 c INPROCESSING
341.35/342.39 c GARBAGE COLLECT
341.35/342.39 c #Conflicts: 227000 | #Constraints: 10869
341.35/342.39 c #Conflicts: 228000 | #Constraints: 11869
341.35/342.39 c #Conflicts: 229000 | #Constraints: 12869
341.35/342.39 c #Conflicts: 230000 | #Constraints: 13869
341.35/342.39 c #Conflicts: 231000 | #Constraints: 14869
341.35/342.39 c #Conflicts: 232000 | #Constraints: 15869
341.35/342.39 c #Conflicts: 233000 | #Constraints: 16869
341.35/342.39 c #Conflicts: 234000 | #Constraints: 17869
341.35/342.39 c #Conflicts: 235000 | #Constraints: 18869
341.35/342.39 c #Conflicts: 236000 | #Constraints: 19869
341.35/342.39 c INPROCESSING
341.35/342.39 c GARBAGE COLLECT
341.35/342.39 c #Conflicts: 237000 | #Constraints: 11252
341.35/342.39 c #Conflicts: 238000 | #Constraints: 12252
341.35/342.39 c #Conflicts: 239000 | #Constraints: 13252
341.35/342.39 c #Conflicts: 240000 | #Constraints: 14252
341.35/342.39 c #Conflicts: 241000 | #Constraints: 15252
341.35/342.39 c #Conflicts: 242000 | #Constraints: 16252
341.35/342.39 c #Conflicts: 243000 | #Constraints: 17252
341.35/342.39 c #Conflicts: 244000 | #Constraints: 18252
341.35/342.39 c #Conflicts: 245000 | #Constraints: 19252
341.35/342.39 c #Conflicts: 246000 | #Constraints: 20252
341.35/342.39 c INPROCESSING
341.35/342.39 c GARBAGE COLLECT
341.35/342.39 c #Conflicts: 247000 | #Constraints: 11456
341.35/342.39 c #Conflicts: 248000 | #Constraints: 12456
341.35/342.39 c #Conflicts: 249000 | #Constraints: 13456
341.35/342.39 c #Conflicts: 250000 | #Constraints: 14456
341.35/342.39 c #Conflicts: 251000 | #Constraints: 15456
341.35/342.39 c #Conflicts: 252000 | #Constraints: 16456
341.35/342.39 c #Conflicts: 253000 | #Constraints: 17456
341.35/342.39 c #Conflicts: 254000 | #Constraints: 18456
341.35/342.39 c #Conflicts: 255000 | #Constraints: 19456
341.35/342.39 c #Conflicts: 256000 | #Constraints: 20456
341.35/342.39 c INPROCESSING
341.35/342.39 c GARBAGE COLLECT
341.35/342.39 c #Conflicts: 257000 | #Constraints: 11468
341.35/342.39 c #Conflicts: 258000 | #Constraints: 12468
341.35/342.39 c #Conflicts: 259000 | #Constraints: 13468
341.35/342.39 c #Conflicts: 260000 | #Constraints: 14468
341.35/342.39 c #Conflicts: 261000 | #Constraints: 15468
341.35/342.39 c #Conflicts: 262000 | #Constraints: 16468
341.35/342.39 c #Conflicts: 263000 | #Constraints: 17468
341.35/342.39 c #Conflicts: 264000 | #Constraints: 18468
341.35/342.39 c #Conflicts: 265000 | #Constraints: 19468
341.35/342.39 c #Conflicts: 266000 | #Constraints: 20468
341.35/342.39 c INPROCESSING
341.35/342.39 c GARBAGE COLLECT
341.35/342.39 c #Conflicts: 267000 | #Constraints: 11260
341.35/342.39 c #Conflicts: 268000 | #Constraints: 12260
341.35/342.39 c #Conflicts: 269000 | #Constraints: 13260
341.35/342.39 c #Conflicts: 270000 | #Constraints: 14260
341.35/342.39 c #Conflicts: 271000 | #Constraints: 15260
341.35/342.39 c #Conflicts: 272000 | #Constraints: 16260
341.35/342.39 c #Conflicts: 273000 | #Constraints: 17260
341.35/342.39 c #Conflicts: 274000 | #Constraints: 18260
341.35/342.39 c #Conflicts: 275000 | #Constraints: 19260
341.35/342.39 c #Conflicts: 276000 | #Constraints: 20260
341.35/342.39 c #Conflicts: 277000 | #Constraints: 21260
341.35/342.39 c INPROCESSING
341.35/342.39 c GARBAGE COLLECT
341.35/342.39 c #Conflicts: 278000 | #Constraints: 11839
341.35/342.39 c #Conflicts: 279000 | #Constraints: 12839
341.35/342.39 c #Conflicts: 280000 | #Constraints: 13839
341.35/342.39 c #Conflicts: 281000 | #Constraints: 14839
341.35/342.39 c #Conflicts: 282000 | #Constraints: 15839
341.35/342.39 c #Conflicts: 283000 | #Constraints: 16839
341.35/342.39 c #Conflicts: 284000 | #Constraints: 17839
341.35/342.39 c #Conflicts: 285000 | #Constraints: 18839
341.35/342.39 c #Conflicts: 286000 | #Constraints: 19839
341.35/342.39 c #Conflicts: 287000 | #Constraints: 20839
597.68/599.48 c #Conflicts: 288000 | #Constraints: 21839
597.68/599.48 c INPROCESSING
597.68/599.48 c GARBAGE COLLECT
597.68/599.48 c #Conflicts: 289000 | #Constraints: 12229
597.68/599.48 c #Conflicts: 290000 | #Constraints: 13229
597.68/599.48 c #Conflicts: 291000 | #Constraints: 14229
597.68/599.48 c #Conflicts: 292000 | #Constraints: 15229
597.68/599.48 c #Conflicts: 293000 | #Constraints: 16229
597.68/599.48 c #Conflicts: 294000 | #Constraints: 17229
597.68/599.48 c #Conflicts: 295000 | #Constraints: 18229
597.68/599.48 c #Conflicts: 296000 | #Constraints: 19229
597.68/599.48 c #Conflicts: 297000 | #Constraints: 20229
597.68/599.48 c #Conflicts: 298000 | #Constraints: 21229
597.68/599.48 c #Conflicts: 299000 | #Constraints: 22229
597.68/599.48 c INPROCESSING
597.68/599.48 c GARBAGE COLLECT
597.68/599.48 c #Conflicts: 300000 | #Constraints: 12425
597.68/599.48 c #Conflicts: 301000 | #Constraints: 13425
597.68/599.48 c #Conflicts: 302000 | #Constraints: 14425
597.68/599.48 c #Conflicts: 303000 | #Constraints: 15425
597.68/599.48 c #Conflicts: 304000 | #Constraints: 16425
597.68/599.48 c #Conflicts: 305000 | #Constraints: 17425
597.68/599.48 c #Conflicts: 306000 | #Constraints: 18425
597.68/599.48 c #Conflicts: 307000 | #Constraints: 19425
597.68/599.48 c #Conflicts: 308000 | #Constraints: 20425
597.68/599.48 c #Conflicts: 309000 | #Constraints: 21425
597.68/599.48 c #Conflicts: 310000 | #Constraints: 22425
597.68/599.48 c INPROCESSING
597.68/599.48 c GARBAGE COLLECT
597.68/599.48 c #Conflicts: 311000 | #Constraints: 12436
597.68/599.48 c #Conflicts: 312000 | #Constraints: 13436
597.68/599.48 c #Conflicts: 313000 | #Constraints: 14436
597.68/599.48 c #Conflicts: 314000 | #Constraints: 15436
597.68/599.48 c #Conflicts: 315000 | #Constraints: 16436
597.68/599.48 c #Conflicts: 316000 | #Constraints: 17436
597.68/599.48 c #Conflicts: 317000 | #Constraints: 18436
597.68/599.48 c #Conflicts: 318000 | #Constraints: 19436
597.68/599.48 c #Conflicts: 319000 | #Constraints: 20436
597.68/599.48 c #Conflicts: 320000 | #Constraints: 21436
597.68/599.48 c #Conflicts: 321000 | #Constraints: 22436
597.68/599.48 c INPROCESSING
597.68/599.48 c GARBAGE COLLECT
597.68/599.48 c #Conflicts: 322000 | #Constraints: 12247
597.68/599.48 c #Conflicts: 323000 | #Constraints: 13247
597.68/599.48 c #Conflicts: 324000 | #Constraints: 14247
597.68/599.48 c #Conflicts: 325000 | #Constraints: 15247
597.68/599.48 c #Conflicts: 326000 | #Constraints: 16247
597.68/599.48 c #Conflicts: 327000 | #Constraints: 17247
597.68/599.48 c #Conflicts: 328000 | #Constraints: 18247
597.68/599.48 c #Conflicts: 329000 | #Constraints: 19247
597.68/599.48 c #Conflicts: 330000 | #Constraints: 20247
597.68/599.48 c #Conflicts: 331000 | #Constraints: 21247
597.68/599.48 c #Conflicts: 332000 | #Constraints: 22247
597.68/599.48 c #Conflicts: 333000 | #Constraints: 23247
597.68/599.48 c INPROCESSING
597.68/599.48 c GARBAGE COLLECT
597.68/599.48 c #Conflicts: 334000 | #Constraints: 12835
597.68/599.48 c #Conflicts: 335000 | #Constraints: 13835
597.68/599.48 c #Conflicts: 336000 | #Constraints: 14835
597.68/599.48 c #Conflicts: 337000 | #Constraints: 15835
597.68/599.48 c #Conflicts: 338000 | #Constraints: 16835
597.68/599.48 c #Conflicts: 339000 | #Constraints: 17835
597.68/599.48 c #Conflicts: 340000 | #Constraints: 18835
597.68/599.48 c #Conflicts: 341000 | #Constraints: 19835
597.68/599.48 c #Conflicts: 342000 | #Constraints: 20835
597.68/599.48 c #Conflicts: 343000 | #Constraints: 21835
597.68/599.48 c #Conflicts: 344000 | #Constraints: 22835
597.68/599.48 c #Conflicts: 345000 | #Constraints: 23835
597.68/599.48 c INPROCESSING
597.68/599.48 c GARBAGE COLLECT
597.68/599.48 c #Conflicts: 346000 | #Constraints: 13227
597.68/599.48 c #Conflicts: 347000 | #Constraints: 14227
597.68/599.48 c #Conflicts: 348000 | #Constraints: 15227
597.68/599.48 c #Conflicts: 349000 | #Constraints: 16227
597.68/599.48 c #Conflicts: 350000 | #Constraints: 17227
597.68/599.48 c #Conflicts: 351000 | #Constraints: 18227
597.68/599.48 c #Conflicts: 352000 | #Constraints: 19227
597.68/599.48 c #Conflicts: 353000 | #Constraints: 20227
597.68/599.48 c #Conflicts: 354000 | #Constraints: 21227
597.68/599.48 c #Conflicts: 355000 | #Constraints: 22227
597.68/599.48 c #Conflicts: 356000 | #Constraints: 23227
597.68/599.48 c #Conflicts: 357000 | #Constraints: 24227
597.68/599.48 c INPROCESSING
597.68/599.48 c GARBAGE COLLECT
597.68/599.48 c #Conflicts: 358000 | #Constraints: 13429
597.68/599.48 c #Conflicts: 359000 | #Constraints: 14429
597.68/599.48 c #Conflicts: 360000 | #Constraints: 15429
597.68/599.48 c #Conflicts: 361000 | #Constraints: 16429
770.68/772.98 c #Conflicts: 362000 | #Constraints: 17429
770.68/772.98 c #Conflicts: 363000 | #Constraints: 18429
770.68/772.98 c #Conflicts: 364000 | #Constraints: 19429
770.68/772.98 c #Conflicts: 365000 | #Constraints: 20429
770.68/772.98 c #Conflicts: 366000 | #Constraints: 21429
770.68/772.98 c #Conflicts: 367000 | #Constraints: 22429
770.68/772.98 c #Conflicts: 368000 | #Constraints: 23429
770.68/772.98 c #Conflicts: 369000 | #Constraints: 24429
770.68/772.98 c INPROCESSING
770.68/772.98 c GARBAGE COLLECT
770.68/772.98 c #Conflicts: 370000 | #Constraints: 13439
770.68/772.98 c #Conflicts: 371000 | #Constraints: 14439
770.68/772.98 c #Conflicts: 372000 | #Constraints: 15439
770.68/772.98 c #Conflicts: 373000 | #Constraints: 16439
770.68/772.98 c #Conflicts: 374000 | #Constraints: 17439
770.68/772.98 c #Conflicts: 375000 | #Constraints: 18439
770.68/772.98 c #Conflicts: 376000 | #Constraints: 19439
770.68/772.98 c #Conflicts: 377000 | #Constraints: 20439
770.68/772.98 c #Conflicts: 378000 | #Constraints: 21439
770.68/772.98 c #Conflicts: 379000 | #Constraints: 22439
770.68/772.98 c #Conflicts: 380000 | #Constraints: 23439
770.68/772.98 c #Conflicts: 381000 | #Constraints: 24439
770.68/772.98 c INPROCESSING
770.68/772.98 c GARBAGE COLLECT
770.68/772.98 c #Conflicts: 382000 | #Constraints: 13230
770.68/772.98 c #Conflicts: 383000 | #Constraints: 14230
770.68/772.98 c #Conflicts: 384000 | #Constraints: 15230
770.68/772.98 c #Conflicts: 385000 | #Constraints: 16230
770.68/772.98 c #Conflicts: 386000 | #Constraints: 17230
770.68/772.98 c #Conflicts: 387000 | #Constraints: 18230
770.68/772.98 c #Conflicts: 388000 | #Constraints: 19230
770.68/772.98 c #Conflicts: 389000 | #Constraints: 20230
770.68/772.98 c #Conflicts: 390000 | #Constraints: 21230
770.68/772.98 c #Conflicts: 391000 | #Constraints: 22230
770.68/772.98 c #Conflicts: 392000 | #Constraints: 23230
770.68/772.98 c #Conflicts: 393000 | #Constraints: 24230
770.68/772.98 c #Conflicts: 394000 | #Constraints: 25230
770.68/772.98 c INPROCESSING
770.68/772.98 c GARBAGE COLLECT
770.68/772.98 c #Conflicts: 395000 | #Constraints: 13832
770.68/772.98 c #Conflicts: 396000 | #Constraints: 14832
770.68/772.98 c #Conflicts: 397000 | #Constraints: 15832
770.68/772.98 c #Conflicts: 398000 | #Constraints: 16832
770.68/772.98 c #Conflicts: 399000 | #Constraints: 17832
770.68/772.98 c #Conflicts: 400000 | #Constraints: 18832
770.68/772.98 c #Conflicts: 401000 | #Constraints: 19832
770.68/772.98 c #Conflicts: 402000 | #Constraints: 20832
770.68/772.98 c #Conflicts: 403000 | #Constraints: 21832
770.68/772.98 c #Conflicts: 404000 | #Constraints: 22832
770.68/772.98 c #Conflicts: 405000 | #Constraints: 23832
770.68/772.98 c #Conflicts: 406000 | #Constraints: 24832
770.68/772.98 c #Conflicts: 407000 | #Constraints: 25832
770.68/772.98 c INPROCESSING
770.68/772.98 c GARBAGE COLLECT
770.68/772.98 c #Conflicts: 408000 | #Constraints: 14227
770.68/772.98 c #Conflicts: 409000 | #Constraints: 15227
770.68/772.98 c #Conflicts: 410000 | #Constraints: 16227
770.68/772.98 c #Conflicts: 411000 | #Constraints: 17227
770.68/772.98 c #Conflicts: 412000 | #Constraints: 18227
770.68/772.98 c #Conflicts: 413000 | #Constraints: 19227
770.68/772.98 c #Conflicts: 414000 | #Constraints: 20227
770.68/772.98 c #Conflicts: 415000 | #Constraints: 21227
770.68/772.98 c #Conflicts: 416000 | #Constraints: 22227
770.68/772.98 c #Conflicts: 417000 | #Constraints: 23227
770.68/772.98 c #Conflicts: 418000 | #Constraints: 24227
770.68/772.98 c #Conflicts: 419000 | #Constraints: 25227
770.68/772.98 c #Conflicts: 420000 | #Constraints: 26227
770.68/772.98 c INPROCESSING
770.68/772.98 c GARBAGE COLLECT
770.68/772.98 c #Conflicts: 421000 | #Constraints: 14471
770.68/772.98 c #Conflicts: 422000 | #Constraints: 15471
770.68/772.98 c #Conflicts: 423000 | #Constraints: 16471
770.68/772.98 c #Conflicts: 424000 | #Constraints: 17471
770.68/772.98 c #Conflicts: 425000 | #Constraints: 18471
770.68/772.98 c #Conflicts: 426000 | #Constraints: 19471
770.68/772.98 c #Conflicts: 427000 | #Constraints: 20471
770.68/772.98 c #Conflicts: 428000 | #Constraints: 21471
770.68/772.98 c #Conflicts: 429000 | #Constraints: 22471
770.68/772.98 c #Conflicts: 430000 | #Constraints: 23471
770.68/772.98 c #Conflicts: 431000 | #Constraints: 24471
770.68/772.98 c #Conflicts: 432000 | #Constraints: 25471
770.68/772.98 c #Conflicts: 433000 | #Constraints: 26471
770.68/772.98 c INPROCESSING
770.68/772.98 c GARBAGE COLLECT
770.68/772.98 c #Conflicts: 434000 | #Constraints: 14563
770.68/772.98 c #Conflicts: 435000 | #Constraints: 15563
770.68/772.98 c #Conflicts: 436000 | #Constraints: 16563
1096.40/1099.64 c #Conflicts: 437000 | #Constraints: 17563
1096.40/1099.64 c #Conflicts: 438000 | #Constraints: 18563
1096.40/1099.64 c #Conflicts: 439000 | #Constraints: 19563
1096.40/1099.64 c #Conflicts: 440000 | #Constraints: 20563
1096.40/1099.64 c #Conflicts: 441000 | #Constraints: 21563
1096.40/1099.64 c #Conflicts: 442000 | #Constraints: 22563
1096.40/1099.64 c #Conflicts: 443000 | #Constraints: 23563
1096.40/1099.64 c #Conflicts: 444000 | #Constraints: 24563
1096.40/1099.64 c #Conflicts: 445000 | #Constraints: 25563
1096.40/1099.64 c #Conflicts: 446000 | #Constraints: 26563
1096.40/1099.64 c INPROCESSING
1096.40/1099.64 c GARBAGE COLLECT
1096.40/1099.64 c #Conflicts: 447000 | #Constraints: 14420
1096.40/1099.64 c #Conflicts: 448000 | #Constraints: 15420
1096.40/1099.64 c #Conflicts: 449000 | #Constraints: 16420
1096.40/1099.64 c #Conflicts: 450000 | #Constraints: 17420
1096.40/1099.64 c #Conflicts: 451000 | #Constraints: 18420
1096.40/1099.64 c #Conflicts: 452000 | #Constraints: 19420
1096.40/1099.64 c #Conflicts: 453000 | #Constraints: 20420
1096.40/1099.64 c #Conflicts: 454000 | #Constraints: 21420
1096.40/1099.64 c #Conflicts: 455000 | #Constraints: 22420
1096.40/1099.64 c #Conflicts: 456000 | #Constraints: 23420
1096.40/1099.64 c #Conflicts: 457000 | #Constraints: 24420
1096.40/1099.64 c #Conflicts: 458000 | #Constraints: 25420
1096.40/1099.64 c #Conflicts: 459000 | #Constraints: 26420
1096.40/1099.64 c #Conflicts: 460000 | #Constraints: 27420
1096.40/1099.64 c INPROCESSING
1096.40/1099.64 c GARBAGE COLLECT
1096.40/1099.64 c #Conflicts: 461000 | #Constraints: 14961
1096.40/1099.64 c #Conflicts: 462000 | #Constraints: 15961
1096.40/1099.64 c #Conflicts: 463000 | #Constraints: 16961
1096.40/1099.64 c #Conflicts: 464000 | #Constraints: 17961
1096.40/1099.64 c #Conflicts: 465000 | #Constraints: 18961
1096.40/1099.64 c #Conflicts: 466000 | #Constraints: 19961
1096.40/1099.64 c #Conflicts: 467000 | #Constraints: 20961
1096.40/1099.64 c #Conflicts: 468000 | #Constraints: 21961
1096.40/1099.64 c #Conflicts: 469000 | #Constraints: 22961
1096.40/1099.64 c #Conflicts: 470000 | #Constraints: 23961
1096.40/1099.64 c #Conflicts: 471000 | #Constraints: 24961
1096.40/1099.64 c #Conflicts: 472000 | #Constraints: 25961
1096.40/1099.64 c #Conflicts: 473000 | #Constraints: 26961
1096.40/1099.64 c #Conflicts: 474000 | #Constraints: 27961
1096.40/1099.64 c INPROCESSING
1096.40/1099.64 c GARBAGE COLLECT
1096.40/1099.64 c #Conflicts: 475000 | #Constraints: 15361
1096.40/1099.64 c #Conflicts: 476000 | #Constraints: 16361
1096.40/1099.64 c #Conflicts: 477000 | #Constraints: 17361
1096.40/1099.64 c #Conflicts: 478000 | #Constraints: 18361
1096.40/1099.64 c #Conflicts: 479000 | #Constraints: 19361
1096.40/1099.64 c #Conflicts: 480000 | #Constraints: 20361
1096.40/1099.64 c #Conflicts: 481000 | #Constraints: 21361
1096.40/1099.64 c #Conflicts: 482000 | #Constraints: 22361
1096.40/1099.64 c #Conflicts: 483000 | #Constraints: 23361
1096.40/1099.64 c #Conflicts: 484000 | #Constraints: 24361
1096.40/1099.64 c #Conflicts: 485000 | #Constraints: 25361
1096.40/1099.64 c #Conflicts: 486000 | #Constraints: 26361
1096.40/1099.64 c #Conflicts: 487000 | #Constraints: 27361
1096.40/1099.64 c #Conflicts: 488000 | #Constraints: 28361
1096.40/1099.64 c INPROCESSING
1096.40/1099.64 c GARBAGE COLLECT
1096.40/1099.64 c #Conflicts: 489000 | #Constraints: 15524
1096.40/1099.64 c #Conflicts: 490000 | #Constraints: 16524
1096.40/1099.64 c #Conflicts: 491000 | #Constraints: 17524
1096.40/1099.64 c #Conflicts: 492000 | #Constraints: 18524
1096.40/1099.64 c #Conflicts: 493000 | #Constraints: 19524
1096.40/1099.64 c #Conflicts: 494000 | #Constraints: 20524
1096.40/1099.64 c #Conflicts: 495000 | #Constraints: 21524
1096.40/1099.64 c #Conflicts: 496000 | #Constraints: 22524
1096.40/1099.64 c #Conflicts: 497000 | #Constraints: 23524
1096.40/1099.64 c #Conflicts: 498000 | #Constraints: 24524
1096.40/1099.64 c #Conflicts: 499000 | #Constraints: 25524
1096.40/1099.64 c #Conflicts: 500000 | #Constraints: 26524
1096.40/1099.64 c #Conflicts: 501000 | #Constraints: 27524
1096.40/1099.64 c #Conflicts: 502000 | #Constraints: 28524
1096.40/1099.64 c INPROCESSING
1096.40/1099.64 c GARBAGE COLLECT
1096.40/1099.64 c #Conflicts: 503000 | #Constraints: 15500
1096.40/1099.64 c #Conflicts: 504000 | #Constraints: 16500
1096.40/1099.64 c #Conflicts: 505000 | #Constraints: 17500
1096.40/1099.64 c #Conflicts: 506000 | #Constraints: 18500
1096.40/1099.64 c #Conflicts: 507000 | #Constraints: 19500
1096.40/1099.64 c #Conflicts: 508000 | #Constraints: 20500
1096.40/1099.64 c #Conflicts: 509000 | #Constraints: 21500
1096.40/1099.64 c #Conflicts: 510000 | #Constraints: 22500
1096.40/1099.64 c #Conflicts: 511000 | #Constraints: 23500
1096.40/1099.64 c #Conflicts: 512000 | #Constraints: 24500
1262.50/1266.24 c #Conflicts: 513000 | #Constraints: 25500
1262.50/1266.24 c #Conflicts: 514000 | #Constraints: 26500
1262.50/1266.24 c #Conflicts: 515000 | #Constraints: 27500
1262.50/1266.24 c #Conflicts: 516000 | #Constraints: 28500
1262.50/1266.24 c INPROCESSING
1262.50/1266.24 c GARBAGE COLLECT
1262.50/1266.24 c #Conflicts: 517000 | #Constraints: 15265
1262.50/1266.24 c #Conflicts: 518000 | #Constraints: 16265
1262.50/1266.24 c #Conflicts: 519000 | #Constraints: 17265
1262.50/1266.24 c #Conflicts: 520000 | #Constraints: 18265
1262.50/1266.24 c #Conflicts: 521000 | #Constraints: 19265
1262.50/1266.24 c #Conflicts: 522000 | #Constraints: 20265
1262.50/1266.24 c #Conflicts: 523000 | #Constraints: 21265
1262.50/1266.24 c #Conflicts: 524000 | #Constraints: 22265
1262.50/1266.24 c #Conflicts: 525000 | #Constraints: 23265
1262.50/1266.24 c #Conflicts: 526000 | #Constraints: 24265
1262.50/1266.24 c #Conflicts: 527000 | #Constraints: 25265
1262.50/1266.24 c #Conflicts: 528000 | #Constraints: 26265
1262.50/1266.24 c #Conflicts: 529000 | #Constraints: 27265
1262.50/1266.24 c #Conflicts: 530000 | #Constraints: 28265
1262.50/1266.24 c #Conflicts: 531000 | #Constraints: 29265
1262.50/1266.24 c INPROCESSING
1262.50/1266.24 c GARBAGE COLLECT
1262.50/1266.24 c #Conflicts: 532000 | #Constraints: 15855
1262.50/1266.24 c #Conflicts: 533000 | #Constraints: 16855
1262.50/1266.24 c #Conflicts: 534000 | #Constraints: 17855
1262.50/1266.24 c #Conflicts: 535000 | #Constraints: 18855
1262.50/1266.24 c #Conflicts: 536000 | #Constraints: 19855
1262.50/1266.24 c #Conflicts: 537000 | #Constraints: 20855
1262.50/1266.24 c #Conflicts: 538000 | #Constraints: 21855
1262.50/1266.24 c #Conflicts: 539000 | #Constraints: 22855
1262.50/1266.24 c #Conflicts: 540000 | #Constraints: 23855
1262.50/1266.24 c #Conflicts: 541000 | #Constraints: 24855
1262.50/1266.24 c #Conflicts: 542000 | #Constraints: 25855
1262.50/1266.24 c #Conflicts: 543000 | #Constraints: 26855
1262.50/1266.24 c #Conflicts: 544000 | #Constraints: 27855
1262.50/1266.24 c #Conflicts: 545000 | #Constraints: 28855
1262.50/1266.24 c #Conflicts: 546000 | #Constraints: 29855
1262.50/1266.24 c INPROCESSING
1262.50/1266.24 c GARBAGE COLLECT
1262.50/1266.24 c #Conflicts: 547000 | #Constraints: 16241
1262.50/1266.24 c #Conflicts: 548000 | #Constraints: 17241
1262.50/1266.24 c #Conflicts: 549000 | #Constraints: 18241
1262.50/1266.24 c #Conflicts: 550000 | #Constraints: 19241
1262.50/1266.24 c #Conflicts: 551000 | #Constraints: 20241
1262.50/1266.24 c #Conflicts: 552000 | #Constraints: 21241
1262.50/1266.24 c #Conflicts: 553000 | #Constraints: 22241
1262.50/1266.24 c #Conflicts: 554000 | #Constraints: 23241
1262.50/1266.24 c #Conflicts: 555000 | #Constraints: 24241
1262.50/1266.24 c #Conflicts: 556000 | #Constraints: 25241
1262.50/1266.24 c #Conflicts: 557000 | #Constraints: 26241
1262.50/1266.24 c #Conflicts: 558000 | #Constraints: 27241
1262.50/1266.24 c #Conflicts: 559000 | #Constraints: 28241
1262.50/1266.24 c #Conflicts: 560000 | #Constraints: 29241
1262.50/1266.24 c #Conflicts: 561000 | #Constraints: 30241
1262.50/1266.24 c INPROCESSING
1262.50/1266.24 c GARBAGE COLLECT
1262.50/1266.24 c #Conflicts: 562000 | #Constraints: 16440
1262.50/1266.24 c #Conflicts: 563000 | #Constraints: 17440
1262.50/1266.24 c #Conflicts: 564000 | #Constraints: 18440
1262.50/1266.24 c #Conflicts: 565000 | #Constraints: 19440
1262.50/1266.24 c #Conflicts: 566000 | #Constraints: 20440
1262.50/1266.24 c #Conflicts: 567000 | #Constraints: 21440
1262.50/1266.24 c #Conflicts: 568000 | #Constraints: 22440
1262.50/1266.24 c #Conflicts: 569000 | #Constraints: 23440
1262.50/1266.24 c #Conflicts: 570000 | #Constraints: 24440
1262.50/1266.24 c #Conflicts: 571000 | #Constraints: 25440
1262.50/1266.24 c #Conflicts: 572000 | #Constraints: 26440
1262.50/1266.24 c #Conflicts: 573000 | #Constraints: 27440
1262.50/1266.24 c #Conflicts: 574000 | #Constraints: 28440
1262.50/1266.24 c #Conflicts: 575000 | #Constraints: 29440
1262.50/1266.24 c #Conflicts: 576000 | #Constraints: 30440
1262.50/1266.24 c INPROCESSING
1262.50/1266.24 c GARBAGE COLLECT
1262.50/1266.24 c #Conflicts: 577000 | #Constraints: 16484
1262.50/1266.24 c #Conflicts: 578000 | #Constraints: 17484
1262.50/1266.24 c #Conflicts: 579000 | #Constraints: 18484
1262.50/1266.24 c #Conflicts: 580000 | #Constraints: 19484
1262.50/1266.24 c #Conflicts: 581000 | #Constraints: 20484
1262.50/1266.24 c #Conflicts: 582000 | #Constraints: 21484
1262.50/1266.24 c #Conflicts: 583000 | #Constraints: 22484
1262.50/1266.24 c #Conflicts: 584000 | #Constraints: 23484
1262.50/1266.24 c #Conflicts: 585000 | #Constraints: 24484
1262.50/1266.24 c #Conflicts: 586000 | #Constraints: 25484
1262.50/1266.24 c #Conflicts: 587000 | #Constraints: 26484
1262.50/1266.24 c #Conflicts: 588000 | #Constraints: 27484
1443.86/1448.17 c #Conflicts: 589000 | #Constraints: 28484
1443.86/1448.17 c #Conflicts: 590000 | #Constraints: 29484
1443.86/1448.17 c #Conflicts: 591000 | #Constraints: 30484
1443.86/1448.17 c INPROCESSING
1443.86/1448.17 c GARBAGE COLLECT
1443.86/1448.17 c #Conflicts: 592000 | #Constraints: 16267
1443.86/1448.17 c #Conflicts: 593000 | #Constraints: 17267
1443.86/1448.17 c #Conflicts: 594000 | #Constraints: 18267
1443.86/1448.17 c #Conflicts: 595000 | #Constraints: 19267
1443.86/1448.17 c #Conflicts: 596000 | #Constraints: 20267
1443.86/1448.17 c #Conflicts: 597000 | #Constraints: 21267
1443.86/1448.17 c #Conflicts: 598000 | #Constraints: 22267
1443.86/1448.17 c #Conflicts: 599000 | #Constraints: 23267
1443.86/1448.17 c #Conflicts: 600000 | #Constraints: 24267
1443.86/1448.17 c #Conflicts: 601000 | #Constraints: 25267
1443.86/1448.17 c #Conflicts: 602000 | #Constraints: 26267
1443.86/1448.17 c #Conflicts: 603000 | #Constraints: 27267
1443.86/1448.17 c #Conflicts: 604000 | #Constraints: 28267
1443.86/1448.17 c #Conflicts: 605000 | #Constraints: 29267
1443.86/1448.17 c #Conflicts: 606000 | #Constraints: 30267
1443.86/1448.17 c #Conflicts: 607000 | #Constraints: 31267
1443.86/1448.17 c INPROCESSING
1443.86/1448.17 c GARBAGE COLLECT
1443.86/1448.17 c #Conflicts: 608000 | #Constraints: 16877
1443.86/1448.17 c #Conflicts: 609000 | #Constraints: 17877
1443.86/1448.17 c #Conflicts: 610000 | #Constraints: 18877
1443.86/1448.17 c #Conflicts: 611000 | #Constraints: 19877
1443.86/1448.17 c #Conflicts: 612000 | #Constraints: 20877
1443.86/1448.17 c #Conflicts: 613000 | #Constraints: 21877
1443.86/1448.17 c #Conflicts: 614000 | #Constraints: 22877
1443.86/1448.17 c #Conflicts: 615000 | #Constraints: 23877
1443.86/1448.17 c #Conflicts: 616000 | #Constraints: 24877
1443.86/1448.17 c #Conflicts: 617000 | #Constraints: 25877
1443.86/1448.17 c #Conflicts: 618000 | #Constraints: 26877
1443.86/1448.17 c #Conflicts: 619000 | #Constraints: 27877
1443.86/1448.17 c #Conflicts: 620000 | #Constraints: 28877
1443.86/1448.17 c #Conflicts: 621000 | #Constraints: 29877
1443.86/1448.17 c #Conflicts: 622000 | #Constraints: 30877
1443.86/1448.17 c #Conflicts: 623000 | #Constraints: 31877
1443.86/1448.17 c INPROCESSING
1443.86/1448.17 c GARBAGE COLLECT
1443.86/1448.17 c #Conflicts: 624000 | #Constraints: 17254
1443.86/1448.17 c #Conflicts: 625000 | #Constraints: 18254
1443.86/1448.17 c #Conflicts: 626000 | #Constraints: 19254
1443.86/1448.17 c #Conflicts: 627000 | #Constraints: 20254
1443.86/1448.17 c #Conflicts: 628000 | #Constraints: 21254
1443.86/1448.17 c #Conflicts: 629000 | #Constraints: 22254
1443.86/1448.17 c #Conflicts: 630000 | #Constraints: 23254
1443.86/1448.17 c #Conflicts: 631000 | #Constraints: 24254
1443.86/1448.17 c #Conflicts: 632000 | #Constraints: 25254
1443.86/1448.17 c #Conflicts: 633000 | #Constraints: 26254
1443.86/1448.17 c #Conflicts: 634000 | #Constraints: 27254
1443.86/1448.17 c #Conflicts: 635000 | #Constraints: 28254
1443.86/1448.17 c #Conflicts: 636000 | #Constraints: 29254
1443.86/1448.17 c #Conflicts: 637000 | #Constraints: 30254
1443.86/1448.17 c #Conflicts: 638000 | #Constraints: 31254
1443.86/1448.17 c #Conflicts: 639000 | #Constraints: 32254
1443.86/1448.17 c INPROCESSING
1443.86/1448.17 c GARBAGE COLLECT
1443.86/1448.17 c #Conflicts: 640000 | #Constraints: 17438
1443.86/1448.17 c #Conflicts: 641000 | #Constraints: 18438
1443.86/1448.17 c #Conflicts: 642000 | #Constraints: 19438
1443.86/1448.17 c #Conflicts: 643000 | #Constraints: 20438
1443.86/1448.17 c #Conflicts: 644000 | #Constraints: 21438
1443.86/1448.17 c #Conflicts: 645000 | #Constraints: 22438
1443.86/1448.17 c #Conflicts: 646000 | #Constraints: 23438
1443.86/1448.17 c #Conflicts: 647000 | #Constraints: 24438
1443.86/1448.17 c #Conflicts: 648000 | #Constraints: 25438
1443.86/1448.17 c #Conflicts: 649000 | #Constraints: 26438
1443.86/1448.17 c #Conflicts: 650000 | #Constraints: 27438
1443.86/1448.17 c #Conflicts: 651000 | #Constraints: 28438
1443.86/1448.17 c #Conflicts: 652000 | #Constraints: 29438
1443.86/1448.17 c #Conflicts: 653000 | #Constraints: 30438
1443.86/1448.17 c #Conflicts: 654000 | #Constraints: 31438
1443.86/1448.17 c #Conflicts: 655000 | #Constraints: 32438
1443.86/1448.17 c INPROCESSING
1443.86/1448.17 c GARBAGE COLLECT
1443.86/1448.17 c #Conflicts: 656000 | #Constraints: 17448
1443.86/1448.17 c #Conflicts: 657000 | #Constraints: 18448
1443.86/1448.17 c #Conflicts: 658000 | #Constraints: 19448
1443.86/1448.17 c #Conflicts: 659000 | #Constraints: 20448
1443.86/1448.17 c #Conflicts: 660000 | #Constraints: 21448
1443.86/1448.17 c #Conflicts: 661000 | #Constraints: 22448
1443.86/1448.17 c #Conflicts: 662000 | #Constraints: 23448
1443.86/1448.17 c #Conflicts: 663000 | #Constraints: 24448
1675.94/1680.91 c #Conflicts: 664000 | #Constraints: 25448
1675.94/1680.91 c #Conflicts: 665000 | #Constraints: 26448
1675.94/1680.91 c #Conflicts: 666000 | #Constraints: 27448
1675.94/1680.91 c #Conflicts: 667000 | #Constraints: 28448
1675.94/1680.91 c #Conflicts: 668000 | #Constraints: 29448
1675.94/1680.91 c #Conflicts: 669000 | #Constraints: 30448
1675.94/1680.91 c #Conflicts: 670000 | #Constraints: 31448
1675.94/1680.91 c #Conflicts: 671000 | #Constraints: 32448
1675.94/1680.91 c INPROCESSING
1675.94/1680.91 c GARBAGE COLLECT
1675.94/1680.91 c #Conflicts: 672000 | #Constraints: 17237
1675.94/1680.91 c #Conflicts: 673000 | #Constraints: 18237
1675.94/1680.91 c #Conflicts: 674000 | #Constraints: 19237
1675.94/1680.91 c #Conflicts: 675000 | #Constraints: 20237
1675.94/1680.91 c #Conflicts: 676000 | #Constraints: 21237
1675.94/1680.91 c #Conflicts: 677000 | #Constraints: 22237
1675.94/1680.91 c #Conflicts: 678000 | #Constraints: 23237
1675.94/1680.91 c #Conflicts: 679000 | #Constraints: 24237
1675.94/1680.91 c #Conflicts: 680000 | #Constraints: 25237
1675.94/1680.91 c #Conflicts: 681000 | #Constraints: 26237
1675.94/1680.91 c #Conflicts: 682000 | #Constraints: 27237
1675.94/1680.91 c #Conflicts: 683000 | #Constraints: 28237
1675.94/1680.91 c #Conflicts: 684000 | #Constraints: 29237
1675.94/1680.91 c #Conflicts: 685000 | #Constraints: 30237
1675.94/1680.91 c #Conflicts: 686000 | #Constraints: 31237
1675.94/1680.91 c #Conflicts: 687000 | #Constraints: 32237
1675.94/1680.91 c #Conflicts: 688000 | #Constraints: 33237
1675.94/1680.91 c INPROCESSING
1675.94/1680.91 c GARBAGE COLLECT
1675.94/1680.91 c #Conflicts: 689000 | #Constraints: 17831
1675.94/1680.91 c #Conflicts: 690000 | #Constraints: 18831
1675.94/1680.91 c #Conflicts: 691000 | #Constraints: 19831
1675.94/1680.91 c #Conflicts: 692000 | #Constraints: 20831
1675.94/1680.91 c #Conflicts: 693000 | #Constraints: 21831
1675.94/1680.91 c #Conflicts: 694000 | #Constraints: 22831
1675.94/1680.91 c #Conflicts: 695000 | #Constraints: 23831
1675.94/1680.91 c #Conflicts: 696000 | #Constraints: 24831
1675.94/1680.91 c #Conflicts: 697000 | #Constraints: 25831
1675.94/1680.91 c #Conflicts: 698000 | #Constraints: 26831
1675.94/1680.91 c #Conflicts: 699000 | #Constraints: 27831
1675.94/1680.91 c #Conflicts: 700000 | #Constraints: 28831
1675.94/1680.91 c #Conflicts: 701000 | #Constraints: 29831
1675.94/1680.91 c #Conflicts: 702000 | #Constraints: 30831
1675.94/1680.91 c #Conflicts: 703000 | #Constraints: 31831
1675.94/1680.91 c #Conflicts: 704000 | #Constraints: 32831
1675.94/1680.91 c #Conflicts: 705000 | #Constraints: 33831
1675.94/1680.91 c INPROCESSING
1675.94/1680.91 c GARBAGE COLLECT
1675.94/1680.91 c #Conflicts: 706000 | #Constraints: 18240
1675.94/1680.91 c #Conflicts: 707000 | #Constraints: 19240
1675.94/1680.91 c #Conflicts: 708000 | #Constraints: 20240
1675.94/1680.91 c #Conflicts: 709000 | #Constraints: 21240
1675.94/1680.91 c #Conflicts: 710000 | #Constraints: 22240
1675.94/1680.91 c #Conflicts: 711000 | #Constraints: 23240
1675.94/1680.91 c #Conflicts: 712000 | #Constraints: 24240
1675.94/1680.91 c #Conflicts: 713000 | #Constraints: 25240
1675.94/1680.91 c #Conflicts: 714000 | #Constraints: 26240
1675.94/1680.91 c #Conflicts: 715000 | #Constraints: 27240
1675.94/1680.91 c #Conflicts: 716000 | #Constraints: 28240
1675.94/1680.91 c #Conflicts: 717000 | #Constraints: 29240
1675.94/1680.91 c #Conflicts: 718000 | #Constraints: 30240
1675.94/1680.91 c #Conflicts: 719000 | #Constraints: 31240
1675.94/1680.91 c #Conflicts: 720000 | #Constraints: 32240
1675.94/1680.91 c #Conflicts: 721000 | #Constraints: 33240
1675.94/1680.91 c #Conflicts: 722000 | #Constraints: 34240
1675.94/1680.91 c INPROCESSING
1675.94/1680.91 c GARBAGE COLLECT
1675.94/1680.91 c #Conflicts: 723000 | #Constraints: 18454
1675.94/1680.91 c #Conflicts: 724000 | #Constraints: 19454
1675.94/1680.91 c #Conflicts: 725000 | #Constraints: 20454
1675.94/1680.91 c #Conflicts: 726000 | #Constraints: 21454
1675.94/1680.91 c #Conflicts: 727000 | #Constraints: 22454
1675.94/1680.91 c #Conflicts: 728000 | #Constraints: 23454
1675.94/1680.91 c #Conflicts: 729000 | #Constraints: 24454
1675.94/1680.91 c #Conflicts: 730000 | #Constraints: 25454
1675.94/1680.91 c #Conflicts: 731000 | #Constraints: 26454
1675.94/1680.91 c #Conflicts: 732000 | #Constraints: 27454
1675.94/1680.91 c #Conflicts: 733000 | #Constraints: 28454
1675.94/1680.91 c #Conflicts: 734000 | #Constraints: 29454
1675.94/1680.91 c #Conflicts: 735000 | #Constraints: 30454
1675.94/1680.91 c #Conflicts: 736000 | #Constraints: 31454
1675.94/1680.91 c #Conflicts: 737000 | #Constraints: 32454
1675.94/1680.91 c #Conflicts: 738000 | #Constraints: 33454
1675.94/1680.91 c #Conflicts: 739000 | #Constraints: 34454
1849.92/1855.40 c INPROCESSING
1849.92/1855.40 c GARBAGE COLLECT
1849.92/1855.40 c #Conflicts: 740000 | #Constraints: 18465
1849.92/1855.40 c #Conflicts: 741000 | #Constraints: 19465
1849.92/1855.40 c #Conflicts: 742000 | #Constraints: 20465
1849.92/1855.40 c #Conflicts: 743000 | #Constraints: 21465
1849.92/1855.40 c #Conflicts: 744000 | #Constraints: 22465
1849.92/1855.40 c #Conflicts: 745000 | #Constraints: 23465
1849.92/1855.40 c #Conflicts: 746000 | #Constraints: 24465
1849.92/1855.40 c #Conflicts: 747000 | #Constraints: 25465
1849.92/1855.40 c #Conflicts: 748000 | #Constraints: 26465
1849.92/1855.40 c #Conflicts: 749000 | #Constraints: 27465
1849.92/1855.40 c #Conflicts: 750000 | #Constraints: 28465
1849.92/1855.40 c #Conflicts: 751000 | #Constraints: 29465
1849.92/1855.40 c #Conflicts: 752000 | #Constraints: 30465
1849.92/1855.40 c #Conflicts: 753000 | #Constraints: 31465
1849.92/1855.40 c #Conflicts: 754000 | #Constraints: 32465
1849.92/1855.40 c #Conflicts: 755000 | #Constraints: 33465
1849.92/1855.40 c #Conflicts: 756000 | #Constraints: 34465
1849.92/1855.40 c INPROCESSING
1849.92/1855.40 c GARBAGE COLLECT
1849.92/1855.40 c #Conflicts: 757000 | #Constraints: 18264
1849.92/1855.40 c #Conflicts: 758000 | #Constraints: 19264
1849.92/1855.40 c #Conflicts: 759000 | #Constraints: 20264
1849.92/1855.40 c #Conflicts: 760000 | #Constraints: 21264
1849.92/1855.40 c #Conflicts: 761000 | #Constraints: 22264
1849.92/1855.40 c #Conflicts: 762000 | #Constraints: 23264
1849.92/1855.40 c #Conflicts: 763000 | #Constraints: 24264
1849.92/1855.40 c #Conflicts: 764000 | #Constraints: 25264
1849.92/1855.40 c #Conflicts: 765000 | #Constraints: 26264
1849.92/1855.40 c #Conflicts: 766000 | #Constraints: 27264
1849.92/1855.40 c #Conflicts: 767000 | #Constraints: 28264
1849.92/1855.40 c #Conflicts: 768000 | #Constraints: 29264
1849.92/1855.40 c #Conflicts: 769000 | #Constraints: 30264
1849.92/1855.40 c #Conflicts: 770000 | #Constraints: 31264
1849.92/1855.40 c #Conflicts: 771000 | #Constraints: 32264
1849.92/1855.40 c #Conflicts: 772000 | #Constraints: 33264
1849.92/1855.40 c #Conflicts: 773000 | #Constraints: 34264
1849.92/1855.40 c #Conflicts: 774000 | #Constraints: 35264
1849.92/1855.40 c INPROCESSING
1849.92/1855.40 c GARBAGE COLLECT
1849.92/1855.40 c #Conflicts: 775000 | #Constraints: 18846
1849.92/1855.40 c #Conflicts: 776000 | #Constraints: 19846
1849.92/1855.40 c #Conflicts: 777000 | #Constraints: 20846
1849.92/1855.40 c #Conflicts: 778000 | #Constraints: 21846
1849.92/1855.40 c #Conflicts: 779000 | #Constraints: 22846
1849.92/1855.40 c #Conflicts: 780000 | #Constraints: 23846
1849.92/1855.40 c #Conflicts: 781000 | #Constraints: 24846
1849.92/1855.40 c #Conflicts: 782000 | #Constraints: 25846
1849.92/1855.40 c #Conflicts: 783000 | #Constraints: 26846
1849.92/1855.40 c #Conflicts: 784000 | #Constraints: 27846
1849.92/1855.40 c #Conflicts: 785000 | #Constraints: 28846
1849.92/1855.40 c #Conflicts: 786000 | #Constraints: 29846
1849.92/1855.40 c #Conflicts: 787000 | #Constraints: 30846
1849.92/1855.40 c #Conflicts: 788000 | #Constraints: 31846
1849.92/1855.40 c #Conflicts: 789000 | #Constraints: 32846
1849.92/1855.40 c #Conflicts: 790000 | #Constraints: 33846
1849.92/1855.40 c #Conflicts: 791000 | #Constraints: 34846
1849.92/1855.40 c #Conflicts: 792000 | #Constraints: 35846
1849.92/1855.40 c INPROCESSING
1849.92/1855.40 c GARBAGE COLLECT
1849.92/1855.40 c #Conflicts: 793000 | #Constraints: 19239
1849.92/1855.40 c #Conflicts: 794000 | #Constraints: 20239
1849.92/1855.40 c #Conflicts: 795000 | #Constraints: 21239
1849.92/1855.40 c #Conflicts: 796000 | #Constraints: 22239
1849.92/1855.40 c #Conflicts: 797000 | #Constraints: 23239
1849.92/1855.40 c #Conflicts: 798000 | #Constraints: 24239
1849.92/1855.40 c #Conflicts: 799000 | #Constraints: 25239
1849.92/1855.40 c #Conflicts: 800000 | #Constraints: 26239
1849.92/1855.40 c #Conflicts: 801000 | #Constraints: 27239
1849.92/1855.40 c #Conflicts: 802000 | #Constraints: 28239
1849.92/1855.40 c #Conflicts: 803000 | #Constraints: 29239
1849.92/1855.40 c #Conflicts: 804000 | #Constraints: 30239
1849.92/1855.40 c #Conflicts: 805000 | #Constraints: 31239
1849.92/1855.40 c #Conflicts: 806000 | #Constraints: 32239
1849.92/1855.40 c #Conflicts: 807000 | #Constraints: 33239
1849.92/1855.40 c #Conflicts: 808000 | #Constraints: 34239
1849.92/1855.40 c #Conflicts: 809000 | #Constraints: 35239
1849.92/1855.40 c #Conflicts: 810000 | #Constraints: 36239
1849.92/1855.40 c INPROCESSING
1849.92/1855.40 c GARBAGE COLLECT
1849.92/1855.40 c #Conflicts: 811000 | #Constraints: 19438
1849.92/1855.40 c #Conflicts: 812000 | #Constraints: 20438
1849.92/1855.40 c #Conflicts: 813000 | #Constraints: 21438
1849.92/1855.40 c #Conflicts: 814000 | #Constraints: 22438
1849.92/1855.40 c #Conflicts: 815000 | #Constraints: 23438
2043.95/2050.10 c #Conflicts: 816000 | #Constraints: 24438
2043.95/2050.10 c #Conflicts: 817000 | #Constraints: 25438
2043.95/2050.10 c #Conflicts: 818000 | #Constraints: 26438
2043.95/2050.10 c #Conflicts: 819000 | #Constraints: 27438
2043.95/2050.10 c #Conflicts: 820000 | #Constraints: 28438
2043.95/2050.10 c #Conflicts: 821000 | #Constraints: 29438
2043.95/2050.10 c #Conflicts: 822000 | #Constraints: 30438
2043.95/2050.10 c #Conflicts: 823000 | #Constraints: 31438
2043.95/2050.10 c #Conflicts: 824000 | #Constraints: 32438
2043.95/2050.10 c #Conflicts: 825000 | #Constraints: 33438
2043.95/2050.10 c #Conflicts: 826000 | #Constraints: 34438
2043.95/2050.10 c #Conflicts: 827000 | #Constraints: 35438
2043.95/2050.10 c #Conflicts: 828000 | #Constraints: 36438
2043.95/2050.10 c INPROCESSING
2043.95/2050.10 c GARBAGE COLLECT
2043.95/2050.10 c #Conflicts: 829000 | #Constraints: 19443
2043.95/2050.10 c #Conflicts: 830000 | #Constraints: 20443
2043.95/2050.10 c #Conflicts: 831000 | #Constraints: 21443
2043.95/2050.10 c #Conflicts: 832000 | #Constraints: 22443
2043.95/2050.10 c #Conflicts: 833000 | #Constraints: 23443
2043.95/2050.10 c #Conflicts: 834000 | #Constraints: 24443
2043.95/2050.10 c #Conflicts: 835000 | #Constraints: 25443
2043.95/2050.10 c #Conflicts: 836000 | #Constraints: 26443
2043.95/2050.10 c #Conflicts: 837000 | #Constraints: 27443
2043.95/2050.10 c #Conflicts: 838000 | #Constraints: 28443
2043.95/2050.10 c #Conflicts: 839000 | #Constraints: 29443
2043.95/2050.10 c #Conflicts: 840000 | #Constraints: 30443
2043.95/2050.10 c #Conflicts: 841000 | #Constraints: 31443
2043.95/2050.10 c #Conflicts: 842000 | #Constraints: 32443
2043.95/2050.10 c #Conflicts: 843000 | #Constraints: 33443
2043.95/2050.10 c #Conflicts: 844000 | #Constraints: 34443
2043.95/2050.10 c #Conflicts: 845000 | #Constraints: 35443
2043.95/2050.10 c #Conflicts: 846000 | #Constraints: 36443
2043.95/2050.10 c INPROCESSING
2043.95/2050.10 c GARBAGE COLLECT
2043.95/2050.10 c #Conflicts: 847000 | #Constraints: 19230
2043.95/2050.10 c #Conflicts: 848000 | #Constraints: 20230
2043.95/2050.10 c #Conflicts: 849000 | #Constraints: 21230
2043.95/2050.10 c #Conflicts: 850000 | #Constraints: 22230
2043.95/2050.10 c #Conflicts: 851000 | #Constraints: 23230
2043.95/2050.10 c #Conflicts: 852000 | #Constraints: 24230
2043.95/2050.10 c #Conflicts: 853000 | #Constraints: 25230
2043.95/2050.10 c #Conflicts: 854000 | #Constraints: 26230
2043.95/2050.10 c #Conflicts: 855000 | #Constraints: 27230
2043.95/2050.10 c #Conflicts: 856000 | #Constraints: 28230
2043.95/2050.10 c #Conflicts: 857000 | #Constraints: 29230
2043.95/2050.10 c #Conflicts: 858000 | #Constraints: 30230
2043.95/2050.10 c #Conflicts: 859000 | #Constraints: 31230
2043.95/2050.10 c #Conflicts: 860000 | #Constraints: 32230
2043.95/2050.10 c #Conflicts: 861000 | #Constraints: 33230
2043.95/2050.10 c #Conflicts: 862000 | #Constraints: 34230
2043.95/2050.10 c #Conflicts: 863000 | #Constraints: 35230
2043.95/2050.10 c #Conflicts: 864000 | #Constraints: 36230
2043.95/2050.10 c #Conflicts: 865000 | #Constraints: 37230
2043.95/2050.10 c INPROCESSING
2043.95/2050.10 c GARBAGE COLLECT
2043.95/2050.10 c #Conflicts: 866000 | #Constraints: 19836
2043.95/2050.10 c #Conflicts: 867000 | #Constraints: 20836
2043.95/2050.10 c #Conflicts: 868000 | #Constraints: 21836
2043.95/2050.10 c #Conflicts: 869000 | #Constraints: 22836
2043.95/2050.10 c #Conflicts: 870000 | #Constraints: 23836
2043.95/2050.10 c #Conflicts: 871000 | #Constraints: 24836
2043.95/2050.10 c #Conflicts: 872000 | #Constraints: 25836
2043.95/2050.10 c #Conflicts: 873000 | #Constraints: 26836
2043.95/2050.10 c #Conflicts: 874000 | #Constraints: 27836
2043.95/2050.10 c #Conflicts: 875000 | #Constraints: 28836
2043.95/2050.10 c #Conflicts: 876000 | #Constraints: 29836
2043.95/2050.10 c #Conflicts: 877000 | #Constraints: 30836
2043.95/2050.10 c #Conflicts: 878000 | #Constraints: 31836
2043.95/2050.10 c #Conflicts: 879000 | #Constraints: 32836
2043.95/2050.10 c #Conflicts: 880000 | #Constraints: 33836
2043.95/2050.10 c #Conflicts: 881000 | #Constraints: 34836
2043.95/2050.10 c #Conflicts: 882000 | #Constraints: 35836
2043.95/2050.10 c #Conflicts: 883000 | #Constraints: 36836
2043.95/2050.10 c #Conflicts: 884000 | #Constraints: 37836
2043.95/2050.10 c INPROCESSING
2043.95/2050.10 c GARBAGE COLLECT
2043.95/2050.10 c #Conflicts: 885000 | #Constraints: 20251
2043.95/2050.10 c #Conflicts: 886000 | #Constraints: 21251
2043.95/2050.10 c #Conflicts: 887000 | #Constraints: 22251
2043.95/2050.10 c #Conflicts: 888000 | #Constraints: 23251
2043.95/2050.10 c #Conflicts: 889000 | #Constraints: 24251
2043.95/2050.10 c #Conflicts: 890000 | #Constraints: 25251
2043.95/2050.10 c #Conflicts: 891000 | #Constraints: 26251
2371.85/2378.97 c #Conflicts: 892000 | #Constraints: 27251
2371.85/2378.97 c #Conflicts: 893000 | #Constraints: 28251
2371.85/2378.97 c #Conflicts: 894000 | #Constraints: 29251
2371.85/2378.97 c #Conflicts: 895000 | #Constraints: 30251
2371.85/2378.97 c #Conflicts: 896000 | #Constraints: 31251
2371.85/2378.97 c #Conflicts: 897000 | #Constraints: 32251
2371.85/2378.97 c #Conflicts: 898000 | #Constraints: 33251
2371.85/2378.97 c #Conflicts: 899000 | #Constraints: 34251
2371.85/2378.97 c #Conflicts: 900000 | #Constraints: 35251
2371.85/2378.97 c #Conflicts: 901000 | #Constraints: 36251
2371.85/2378.97 c #Conflicts: 902000 | #Constraints: 37251
2371.85/2378.97 c #Conflicts: 903000 | #Constraints: 38251
2371.85/2378.97 c INPROCESSING
2371.85/2378.97 c GARBAGE COLLECT
2371.85/2378.97 c #Conflicts: 904000 | #Constraints: 20450
2371.85/2378.97 c #Conflicts: 905000 | #Constraints: 21450
2371.85/2378.97 c #Conflicts: 906000 | #Constraints: 22450
2371.85/2378.97 c #Conflicts: 907000 | #Constraints: 23450
2371.85/2378.97 c #Conflicts: 908000 | #Constraints: 24450
2371.85/2378.97 c #Conflicts: 909000 | #Constraints: 25450
2371.85/2378.97 c #Conflicts: 910000 | #Constraints: 26450
2371.85/2378.97 c #Conflicts: 911000 | #Constraints: 27450
2371.85/2378.97 c #Conflicts: 912000 | #Constraints: 28450
2371.85/2378.97 c #Conflicts: 913000 | #Constraints: 29450
2371.85/2378.97 c #Conflicts: 914000 | #Constraints: 30450
2371.85/2378.97 c #Conflicts: 915000 | #Constraints: 31450
2371.85/2378.97 c #Conflicts: 916000 | #Constraints: 32450
2371.85/2378.97 c #Conflicts: 917000 | #Constraints: 33450
2371.85/2378.97 c #Conflicts: 918000 | #Constraints: 34450
2371.85/2378.97 c #Conflicts: 919000 | #Constraints: 35450
2371.85/2378.97 c #Conflicts: 920000 | #Constraints: 36450
2371.85/2378.97 c #Conflicts: 921000 | #Constraints: 37450
2371.85/2378.97 c #Conflicts: 922000 | #Constraints: 38450
2371.85/2378.97 c INPROCESSING
2371.85/2378.97 c GARBAGE COLLECT
2371.85/2378.97 c #Conflicts: 923000 | #Constraints: 20451
2371.85/2378.97 c #Conflicts: 924000 | #Constraints: 21451
2371.85/2378.97 c #Conflicts: 925000 | #Constraints: 22451
2371.85/2378.97 c #Conflicts: 926000 | #Constraints: 23451
2371.85/2378.97 c #Conflicts: 927000 | #Constraints: 24451
2371.85/2378.97 c #Conflicts: 928000 | #Constraints: 25451
2371.85/2378.97 c #Conflicts: 929000 | #Constraints: 26451
2371.85/2378.97 c #Conflicts: 930000 | #Constraints: 27451
2371.85/2378.97 c #Conflicts: 931000 | #Constraints: 28451
2371.85/2378.97 c #Conflicts: 932000 | #Constraints: 29451
2371.85/2378.97 c #Conflicts: 933000 | #Constraints: 30451
2371.85/2378.97 c #Conflicts: 934000 | #Constraints: 31451
2371.85/2378.97 c #Conflicts: 935000 | #Constraints: 32451
2371.85/2378.97 c #Conflicts: 936000 | #Constraints: 33451
2371.85/2378.97 c #Conflicts: 937000 | #Constraints: 34451
2371.85/2378.97 c #Conflicts: 938000 | #Constraints: 35451
2371.85/2378.97 c #Conflicts: 939000 | #Constraints: 36451
2371.85/2378.97 c #Conflicts: 940000 | #Constraints: 37451
2371.85/2378.97 c #Conflicts: 941000 | #Constraints: 38451
2371.85/2378.97 c INPROCESSING
2371.85/2378.97 c GARBAGE COLLECT
2371.85/2378.97 c #Conflicts: 942000 | #Constraints: 20261
2371.85/2378.97 c #Conflicts: 943000 | #Constraints: 21261
2371.85/2378.97 c #Conflicts: 944000 | #Constraints: 22261
2371.85/2378.97 c #Conflicts: 945000 | #Constraints: 23261
2371.85/2378.97 c #Conflicts: 946000 | #Constraints: 24261
2371.85/2378.97 c #Conflicts: 947000 | #Constraints: 25261
2371.85/2378.97 c #Conflicts: 948000 | #Constraints: 26261
2371.85/2378.97 c #Conflicts: 949000 | #Constraints: 27261
2371.85/2378.97 c #Conflicts: 950000 | #Constraints: 28261
2371.85/2378.97 c #Conflicts: 951000 | #Constraints: 29261
2371.85/2378.97 c #Conflicts: 952000 | #Constraints: 30261
2371.85/2378.97 c #Conflicts: 953000 | #Constraints: 31261
2371.85/2378.97 c #Conflicts: 954000 | #Constraints: 32261
2371.85/2378.97 c #Conflicts: 955000 | #Constraints: 33261
2371.85/2378.97 c #Conflicts: 956000 | #Constraints: 34261
2371.85/2378.97 c #Conflicts: 957000 | #Constraints: 35261
2371.85/2378.97 c #Conflicts: 958000 | #Constraints: 36261
2371.85/2378.97 c #Conflicts: 959000 | #Constraints: 37261
2371.85/2378.97 c #Conflicts: 960000 | #Constraints: 38261
2371.85/2378.97 c #Conflicts: 961000 | #Constraints: 39261
2371.85/2378.97 c INPROCESSING
2371.85/2378.97 c GARBAGE COLLECT
2371.85/2378.97 c #Conflicts: 962000 | #Constraints: 20895
2371.85/2378.97 c #Conflicts: 963000 | #Constraints: 21895
2371.85/2378.97 c #Conflicts: 964000 | #Constraints: 22895
2371.85/2378.97 c #Conflicts: 965000 | #Constraints: 23895
2371.85/2378.97 c #Conflicts: 966000 | #Constraints: 24895
2371.85/2378.97 c #Conflicts: 967000 | #Constraints: 25895
3078.39/3087.58 c #Conflicts: 968000 | #Constraints: 26895
3078.39/3087.58 c #Conflicts: 969000 | #Constraints: 27895
3078.39/3087.58 c #Conflicts: 970000 | #Constraints: 28895
3078.39/3087.58 c #Conflicts: 971000 | #Constraints: 29895
3078.39/3087.58 c #Conflicts: 972000 | #Constraints: 30895
3078.39/3087.58 c #Conflicts: 973000 | #Constraints: 31895
3078.39/3087.58 c #Conflicts: 974000 | #Constraints: 32895
3078.39/3087.58 c #Conflicts: 975000 | #Constraints: 33895
3078.39/3087.58 c #Conflicts: 976000 | #Constraints: 34895
3078.39/3087.58 c #Conflicts: 977000 | #Constraints: 35895
3078.39/3087.58 c #Conflicts: 978000 | #Constraints: 36895
3078.39/3087.58 c #Conflicts: 979000 | #Constraints: 37895
3078.39/3087.58 c #Conflicts: 980000 | #Constraints: 38895
3078.39/3087.58 c #Conflicts: 981000 | #Constraints: 39895
3078.39/3087.58 c INPROCESSING
3078.39/3087.58 c GARBAGE COLLECT
3078.39/3087.58 c #Conflicts: 982000 | #Constraints: 21308
3078.39/3087.58 c #Conflicts: 983000 | #Constraints: 22308
3078.39/3087.58 c #Conflicts: 984000 | #Constraints: 23308
3078.39/3087.58 c #Conflicts: 985000 | #Constraints: 24308
3078.39/3087.58 c #Conflicts: 986000 | #Constraints: 25308
3078.39/3087.58 c #Conflicts: 987000 | #Constraints: 26308
3078.39/3087.58 c #Conflicts: 988000 | #Constraints: 27308
3078.39/3087.58 c #Conflicts: 989000 | #Constraints: 28308
3078.39/3087.58 c #Conflicts: 990000 | #Constraints: 29308
3078.39/3087.58 c #Conflicts: 991000 | #Constraints: 30308
3078.39/3087.58 c #Conflicts: 992000 | #Constraints: 31308
3078.39/3087.58 c #Conflicts: 993000 | #Constraints: 32308
3078.39/3087.58 c #Conflicts: 994000 | #Constraints: 33308
3078.39/3087.58 c #Conflicts: 995000 | #Constraints: 34308
3078.39/3087.58 c #Conflicts: 996000 | #Constraints: 35308
3078.39/3087.58 c #Conflicts: 997000 | #Constraints: 36308
3078.39/3087.58 c #Conflicts: 998000 | #Constraints: 37308
3078.39/3087.58 c #Conflicts: 999000 | #Constraints: 38308
3078.39/3087.58 c #Conflicts: 1000000 | #Constraints: 39308
3078.39/3087.58 c #Conflicts: 1001000 | #Constraints: 40308
3078.39/3087.58 c INPROCESSING
3078.39/3087.58 c GARBAGE COLLECT
3078.39/3087.58 c #Conflicts: 1002000 | #Constraints: 21532
3078.39/3087.58 c #Conflicts: 1003000 | #Constraints: 22532
3078.39/3087.58 c #Conflicts: 1004000 | #Constraints: 23532
3078.39/3087.58 c #Conflicts: 1005000 | #Constraints: 24532
3078.39/3087.58 c #Conflicts: 1006000 | #Constraints: 25532
3078.39/3087.58 c #Conflicts: 1007000 | #Constraints: 26532
3078.39/3087.58 c #Conflicts: 1008000 | #Constraints: 27532
3078.39/3087.58 c #Conflicts: 1009000 | #Constraints: 28532
3078.39/3087.58 c #Conflicts: 1010000 | #Constraints: 29532
3078.39/3087.58 c #Conflicts: 1011000 | #Constraints: 30532
3078.39/3087.58 c #Conflicts: 1012000 | #Constraints: 31532
3078.39/3087.58 c #Conflicts: 1013000 | #Constraints: 32532
3078.39/3087.58 c #Conflicts: 1014000 | #Constraints: 33532
3078.39/3087.58 c #Conflicts: 1015000 | #Constraints: 34532
3078.39/3087.58 c #Conflicts: 1016000 | #Constraints: 35532
3078.39/3087.58 c #Conflicts: 1017000 | #Constraints: 36532
3078.39/3087.58 c #Conflicts: 1018000 | #Constraints: 37532
3078.39/3087.58 c #Conflicts: 1019000 | #Constraints: 38532
3078.39/3087.58 c #Conflicts: 1020000 | #Constraints: 39532
3078.39/3087.58 c #Conflicts: 1021000 | #Constraints: 40532
3078.39/3087.58 c INPROCESSING
3078.39/3087.58 c GARBAGE COLLECT
3078.39/3087.58 c #Conflicts: 1022000 | #Constraints: 21614
3078.39/3087.58 c #Conflicts: 1023000 | #Constraints: 22614
3078.39/3087.58 c #Conflicts: 1024000 | #Constraints: 23614
3078.39/3087.58 c #Conflicts: 1025000 | #Constraints: 24614
3078.39/3087.58 c #Conflicts: 1026000 | #Constraints: 25614
3078.39/3087.58 c #Conflicts: 1027000 | #Constraints: 26614
3078.39/3087.58 c #Conflicts: 1028000 | #Constraints: 27614
3078.39/3087.58 c #Conflicts: 1029000 | #Constraints: 28614
3078.39/3087.58 c #Conflicts: 1030000 | #Constraints: 29614
3078.39/3087.58 c #Conflicts: 1031000 | #Constraints: 30614
3078.39/3087.58 c #Conflicts: 1032000 | #Constraints: 31614
3078.39/3087.58 c #Conflicts: 1033000 | #Constraints: 32614
3078.39/3087.58 c #Conflicts: 1034000 | #Constraints: 33614
3078.39/3087.58 c #Conflicts: 1035000 | #Constraints: 34614
3078.39/3087.58 c #Conflicts: 1036000 | #Constraints: 35614
3078.39/3087.58 c #Conflicts: 1037000 | #Constraints: 36614
3078.39/3087.58 c #Conflicts: 1038000 | #Constraints: 37614
3078.39/3087.58 c #Conflicts: 1039000 | #Constraints: 38614
3078.39/3087.58 c #Conflicts: 1040000 | #Constraints: 39614
3078.39/3087.58 c #Conflicts: 1041000 | #Constraints: 40614
3078.39/3087.58 c INPROCESSING
3078.39/3087.58 c GARBAGE COLLECT
3078.39/3087.58 c #Conflicts: 1042000 | #Constraints: 21353
3078.39/3087.58 c #Conflicts: 1043000 | #Constraints: 22353
3078.39/3087.58 c #Conflicts: 1044000 | #Constraints: 23353
3558.22/3568.74 c #Conflicts: 1045000 | #Constraints: 24353
3558.22/3568.74 c #Conflicts: 1046000 | #Constraints: 25353
3558.22/3568.74 c #Conflicts: 1047000 | #Constraints: 26353
3558.22/3568.74 c #Conflicts: 1048000 | #Constraints: 27353
3558.22/3568.74 c #Conflicts: 1049000 | #Constraints: 28353
3558.22/3568.74 c #Conflicts: 1050000 | #Constraints: 29353
3558.22/3568.74 c #Conflicts: 1051000 | #Constraints: 30353
3558.22/3568.74 c #Conflicts: 1052000 | #Constraints: 31353
3558.22/3568.74 c #Conflicts: 1053000 | #Constraints: 32353
3558.22/3568.74 c #Conflicts: 1054000 | #Constraints: 33353
3558.22/3568.74 c #Conflicts: 1055000 | #Constraints: 34353
3558.22/3568.74 c #Conflicts: 1056000 | #Constraints: 35353
3558.22/3568.74 c #Conflicts: 1057000 | #Constraints: 36353
3558.22/3568.74 c #Conflicts: 1058000 | #Constraints: 37353
3558.22/3568.74 c #Conflicts: 1059000 | #Constraints: 38353
3558.22/3568.74 c #Conflicts: 1060000 | #Constraints: 39353
3558.22/3568.74 c #Conflicts: 1061000 | #Constraints: 40353
3558.22/3568.74 c #Conflicts: 1062000 | #Constraints: 41353
3558.22/3568.74 c INPROCESSING
3558.22/3568.74 c GARBAGE COLLECT
3558.22/3568.74 c #Conflicts: 1063000 | #Constraints: 21931
3558.22/3568.74 c #Conflicts: 1064000 | #Constraints: 22931
3558.22/3568.74 c #Conflicts: 1065000 | #Constraints: 23931
3558.22/3568.74 c #Conflicts: 1066000 | #Constraints: 24931
3558.22/3568.74 c #Conflicts: 1067000 | #Constraints: 25931
3558.22/3568.74 c #Conflicts: 1068000 | #Constraints: 26931
3558.22/3568.74 c #Conflicts: 1069000 | #Constraints: 27931
3558.22/3568.74 c #Conflicts: 1070000 | #Constraints: 28931
3558.22/3568.74 c #Conflicts: 1071000 | #Constraints: 29931
3558.22/3568.74 c #Conflicts: 1072000 | #Constraints: 30931
3558.22/3568.74 c #Conflicts: 1073000 | #Constraints: 31931
3558.22/3568.74 c #Conflicts: 1074000 | #Constraints: 32931
3558.22/3568.74 c #Conflicts: 1075000 | #Constraints: 33931
3558.22/3568.74 c #Conflicts: 1076000 | #Constraints: 34931
3558.22/3568.74 c #Conflicts: 1077000 | #Constraints: 35931
3558.22/3568.74 c #Conflicts: 1078000 | #Constraints: 36931
3558.22/3568.74 c #Conflicts: 1079000 | #Constraints: 37931
3558.22/3568.74 c #Conflicts: 1080000 | #Constraints: 38931
3558.22/3568.74 c #Conflicts: 1081000 | #Constraints: 39931
3558.22/3568.74 c #Conflicts: 1082000 | #Constraints: 40931
3558.22/3568.74 c #Conflicts: 1083000 | #Constraints: 41931
3558.22/3568.74 c INPROCESSING
3558.22/3568.74 c GARBAGE COLLECT
3558.22/3568.74 c #Conflicts: 1084000 | #Constraints: 22305
3558.22/3568.74 c #Conflicts: 1085000 | #Constraints: 23305
3558.22/3568.74 c #Conflicts: 1086000 | #Constraints: 24305
3558.22/3568.74 c #Conflicts: 1087000 | #Constraints: 25305
3558.22/3568.74 c #Conflicts: 1088000 | #Constraints: 26305
3558.22/3568.74 c #Conflicts: 1089000 | #Constraints: 27305
3558.22/3568.74 c #Conflicts: 1090000 | #Constraints: 28305
3558.22/3568.74 c #Conflicts: 1091000 | #Constraints: 29305
3558.22/3568.74 c #Conflicts: 1092000 | #Constraints: 30305
3558.22/3568.74 c #Conflicts: 1093000 | #Constraints: 31305
3558.22/3568.74 c #Conflicts: 1094000 | #Constraints: 32305
3558.22/3568.74 c #Conflicts: 1095000 | #Constraints: 33305
3558.22/3568.74 c #Conflicts: 1096000 | #Constraints: 34305
3558.22/3568.74 c #Conflicts: 1097000 | #Constraints: 35305
3558.22/3568.74 c #Conflicts: 1098000 | #Constraints: 36305
3558.22/3568.74 c #Conflicts: 1099000 | #Constraints: 37305
3558.22/3568.74 c #Conflicts: 1100000 | #Constraints: 38305
3558.22/3568.74 c #Conflicts: 1101000 | #Constraints: 39305
3558.22/3568.74 c #Conflicts: 1102000 | #Constraints: 40305
3558.22/3568.74 c #Conflicts: 1103000 | #Constraints: 41305
3558.22/3568.74 c #Conflicts: 1104000 | #Constraints: 42305
3558.22/3568.74 c INPROCESSING
3558.22/3568.74 c GARBAGE COLLECT
3558.22/3568.74 c #Conflicts: 1105000 | #Constraints: 22517
3558.22/3568.74 c #Conflicts: 1106000 | #Constraints: 23517
3558.22/3568.74 c #Conflicts: 1107000 | #Constraints: 24517
3558.22/3568.74 c #Conflicts: 1108000 | #Constraints: 25517
3558.22/3568.74 c #Conflicts: 1109000 | #Constraints: 26517
3558.22/3568.74 c #Conflicts: 1110000 | #Constraints: 27517
3558.22/3568.74 c #Conflicts: 1111000 | #Constraints: 28517
3558.22/3568.74 c #Conflicts: 1112000 | #Constraints: 29517
3558.22/3568.74 c #Conflicts: 1113000 | #Constraints: 30517
3558.22/3568.74 c #Conflicts: 1114000 | #Constraints: 31517
3558.22/3568.74 c #Conflicts: 1115000 | #Constraints: 32517
3558.22/3568.74 c #Conflicts: 1116000 | #Constraints: 33517
3558.22/3568.74 c #Conflicts: 1117000 | #Constraints: 34517
3558.22/3568.74 c #Conflicts: 1118000 | #Constraints: 35517
3558.22/3568.74 c #Conflicts: 1119000 | #Constraints: 36517
3558.22/3568.74 c #Conflicts: 1120000 | #Constraints: 37517
3558.22/3568.74 c #Conflicts: 1121000 | #Constraints: 38517
3600.00/3610.63 c #Conflicts: 1122000 | #Constraints: 39517
3600.00/3610.63 c Program interrupted by user.
3600.00/3610.63 c cpu time 3587.77 s
3600.00/3610.63 c deterministic time 850424754092 8.50e+11
3600.00/3610.63 c optimization time 262.775 s
3600.00/3610.63 c total solve time 3324.98 s
3600.00/3610.63 c core-guided solve time 3324.98 s
3600.00/3610.63 c propagation time 2938.37 s
3600.00/3610.63 c conflict analysis time 588.787 s
3600.00/3610.63 c propagations 348411942
3600.00/3610.63 c resolve steps 12615051
3600.00/3610.63 c decisions 7708763
3600.00/3610.63 c conflicts 1122798
3600.00/3610.63 c restarts 2046
3600.00/3610.63 c inprocessing phases 96
3600.00/3610.63 c input clauses 5045
3600.00/3610.63 c input cardinalities 76
3600.00/3610.63 c input general constraints 448
3600.00/3610.63 c input average constraint length 9.60
3600.00/3610.63 c input average constraint degree 71.21
3600.00/3610.63 c learned clauses 116127
3600.00/3610.63 c learned cardinalities 12232
3600.00/3610.63 c learned general constraints 994438
3600.00/3610.63 c learned average constraint length 804.74
3600.00/3610.63 c learned average constraint degree 98382879.62
3600.00/3610.63 c watched constraints 799740
3600.00/3610.63 c counting constraints 195146
3600.00/3610.63 c gcd simplifications 73094
3600.00/3610.63 c detected cardinalities 341
3600.00/3610.63 c weakened non-implied lits 108380572
3600.00/3610.63 c weakened non-implying lits 154047
3600.00/3610.63 c original variables 4977
3600.00/3610.63 c clausal propagations 1418347
3600.00/3610.63 c cardinality propagations 7603310
3600.00/3610.63 c watched propagations 17338388
3600.00/3610.63 c counting propagations 320712964
3600.00/3610.63 c watch lookups 27477320477
3600.00/3610.63 c watch backjump lookups 23878980678
3600.00/3610.63 c watch checks 719306455532
3600.00/3610.63 c propagation checks 75703825876
3600.00/3610.63 c constraint additions 3344810809
3600.00/3610.63 c trail pops 357240014
3600.00/3610.63 c formula constraints 5569
3600.00/3610.63 c learned constraints 1122797
3600.00/3610.63 c bound constraints 0
3600.00/3610.63 c core-guided constraints 0
3600.00/3610.63 c encountered formula constraints 8253215
3600.00/3610.63 c encountered learned constraints 5484634
3600.00/3610.63 c encountered bound constraints 0
3600.00/3610.63 c encountered core-guided constraints 0
3600.00/3610.63 c LP total time 0 s
3600.00/3610.63 c LP solve time 0 s
3600.00/3610.63 c LP constraints added 0
3600.00/3610.63 c LP constraints removed 0
3600.00/3610.63 c LP pivots internal 0
3600.00/3610.63 c LP pivots root 0
3600.00/3610.63 c LP calls 0
3600.00/3610.63 c LP optimalities 0
3600.00/3610.63 c LP no pivot count 0
3600.00/3610.63 c LP infeasibilities 0
3600.00/3610.63 c LP valid Farkas constraints 0
3600.00/3610.63 c LP learned Farkas constraints 0
3600.00/3610.63 c LP basis resets 0
3600.00/3610.63 c LP cycling count 0
3600.00/3610.63 c LP singular count 0
3600.00/3610.63 c LP no primal count 0
3600.00/3610.63 c LP no farkas count 0
3600.00/3610.63 c LP other issue count 0
3600.00/3610.63 c LP Gomory cuts 0
3600.00/3610.63 c LP learned cuts 0
3600.00/3610.63 c LP deleted cuts 0
3600.00/3610.63 c LP encountered Gomory constraints 0
3600.00/3610.63 c LP encountered Farkas constraints 0
3600.00/3610.63 c LP encountered learned Farkas constraints 0
3600.00/3610.63 c CG auxiliary variables introduced 0
3600.00/3610.63 c CG solutions found 0
3600.00/3610.63 c CG cores constructed 0
3600.00/3610.63 c CG core cardinality constraints returned 0
3600.00/3610.63 c CG unit cores 0
3600.00/3610.63 c CG single cores 0
3600.00/3610.63 c CG blocks removed during cardinality reduction 0
3600.00/3610.63 c CG first core best 0
3600.00/3610.63 c CG decision core best 0
3600.00/3610.63 c CG core reduction tie 0
3600.00/3610.63 c CG core degree average 0.00
3600.00/3610.63 c CG core slack average 0.00
3600.00/3610.63 c CG exhausted 0
3600.00/3610.63 c CG exhaust time 0 s
3600.00/3610.63 c CG trimmed 0
3600.00/3610.63 c CG trim time 0 s
3600.00/3610.63 c CG minimized 0
3600.00/3610.63 c CG minimize time 0 s
3600.00/3610.63 c CG am1 prop time 0 s
3600.00/3610.63 c CG # am1s reformulated 0
3600.00/3610.63 c CG lower bound derived from am1s 0
3600.00/3610.63 c CG # clausal cores 0
3600.00/3610.63 c CG # cardinality cores 0
3600.00/3610.63 c CG # pb cores 0
3600.00/3610.63 c CG # pb reforms 0
3600.00/3610.63 c CG # cores discarded because of pb reform 0
3600.00/3610.63 d LOWERBOUND 0
3600.00/3610.63 d NCORES 0
3600.00/3610.63 d NPBCORES 0
3600.00/3610.63 d NPBREFORM 0
3600.00/3610.63 d NTRIMMED 0
3600.00/3610.63 d NEXHAUSTED 0
3600.00/3610.63 d NAM1S 0
3600.00/3610.63 d AM1LB 0
3600.00/3610.64 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (56409 MiB free)
memory of node 1: 64465 MiB (55887 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499300-1751408495/watcher-4499300-1751408495 -o /tmp/evaluation-result-4499300-1751408495/solver-4499300-1751408495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751407286-58218 --watchdog 3760 pb-oll-rs HOME/instance-4499300-1751408495.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=58524, runsolver pid=58521
[startup+0.100066 s]*
/proc/loadavg: 4.17 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114987804/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=22396 memory=9216 CPUtime=0.08 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 1161 0 0 0 7 1 0 0 20 0 1 0 56527013 22933504 2304 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 5599 2304 1376 243 0 1848 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22396 KiB
Current children cumulated memory: 9216 KiB
[startup+0.205783 s]*
/proc/loadavg: 4.17 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114983772/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=23304 memory=11392 CPUtime=0.18 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 1685 0 0 0 17 1 0 0 20 0 1 0 56527013 23863296 2848 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 5826 2848 1376 243 0 2075 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 23304 KiB
Current children cumulated memory: 11392 KiB
[startup+0.305608 s]*
/proc/loadavg: 4.17 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114983772/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=23928 memory=14168 CPUtime=0.28 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 1872 0 0 0 27 1 0 0 20 0 1 0 56527013 24502272 3542 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 5982 3542 1376 243 0 2231 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 23928 KiB
Current children cumulated memory: 14168 KiB
[startup+0.700188 s]
/proc/loadavg: 4.17 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114983772/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=28188 memory=16728 CPUtime=0.68 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 2518 0 0 0 65 3 0 0 20 0 1 0 56527013 28864512 4182 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 7047 4182 1376 243 0 3296 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28188 KiB
Current children cumulated memory: 16728 KiB
[startup+1.50017 s]
/proc/loadavg: 4.17 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114991308/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=34524 memory=21848 CPUtime=1.47 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 3795 0 0 0 142 5 0 0 20 0 1 0 56527013 35352576 5462 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 8631 5462 1376 243 0 4880 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 34524 KiB
Current children cumulated memory: 21848 KiB
[startup+3.10542 s]
/proc/loadavg: 4.15 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114950016/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=44864 memory=28216 CPUtime=3.07 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 4891 0 0 0 299 8 0 0 20 0 1 0 56527013 45940736 7054 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 11216 7054 1376 243 0 7465 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 44864 KiB
Current children cumulated memory: 28216 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114973516/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=48120 memory=34328 CPUtime=6.26 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 5896 0 0 0 612 14 0 0 20 0 1 0 56527013 49274880 8582 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 12030 8582 1376 243 0 8279 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 48120 KiB
Current children cumulated memory: 34328 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.07 5/267 58525
/proc/meminfo: memFree=114840544/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=67224 memory=49492 CPUtime=12.64 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 8658 0 0 0 1240 24 0 0 20 0 1 0 56527013 68837376 12373 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 16806 12373 1376 243 0 13055 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67224 KiB
Current children cumulated memory: 49492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.08 5/267 58525
/proc/meminfo: memFree=114264600/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=106892 memory=76164 CPUtime=25.4 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 13792 0 0 0 2501 39 0 0 20 0 1 0 56527013 109457408 19041 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 26723 19041 1376 243 0 22972 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 106892 KiB
Current children cumulated memory: 76164 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.12 4.07 5/267 58526
/proc/meminfo: memFree=113855524/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=114700 memory=91124 CPUtime=50.93 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 15569 0 0 0 5026 67 0 0 20 0 1 0 56527013 117452800 22781 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 28675 22781 1376 243 0 24924 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 114700 KiB
Current children cumulated memory: 91124 KiB
[startup+102.3 s]
/proc/loadavg: 4.82 4.30 4.14 5/266 58527
/proc/meminfo: memFree=112467392/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=161904 memory=122660 CPUtime=102 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 19428 0 0 0 10104 96 0 0 20 0 1 0 56527013 165789696 30665 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 40476 30665 1376 243 0 36725 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 161904 KiB
Current children cumulated memory: 122660 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 4.28 4.14 5/266 58533
/proc/meminfo: memFree=111962700/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=167604 memory=134004 CPUtime=161.84 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 20867 0 0 0 16035 149 0 0 20 0 1 0 56527013 171626496 33501 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 41901 33501 1376 243 0 38150 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 167604 KiB
Current children cumulated memory: 134004 KiB
[startup+222.3 s]
/proc/loadavg: 4.36 4.30 4.16 5/266 58535
/proc/meminfo: memFree=111328104/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=179208 memory=151360 CPUtime=221.67 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 23289 0 0 0 21976 191 0 0 20 0 1 0 56527013 183508992 37840 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 44802 37840 1376 243 0 41051 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 179208 KiB
Current children cumulated memory: 151360 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 4.27 4.16 5/266 58537
/proc/meminfo: memFree=110850332/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=245428 memory=182508 CPUtime=281.52 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 27531 0 0 0 27923 229 0 0 20 0 1 0 56527013 251318272 45627 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 61357 45627 1376 243 0 57606 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 245428 KiB
Current children cumulated memory: 182508 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.22 4.15 5/265 58539
/proc/meminfo: memFree=110271208/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=249188 memory=185940 CPUtime=341.35 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 28537 0 0 0 33863 272 0 0 20 0 1 0 56527013 255168512 46485 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 62297 46485 1376 243 0 58546 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 249188 KiB
Current children cumulated memory: 185940 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.19 4.14 5/265 58541
/proc/meminfo: memFree=109820568/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=259884 memory=194516 CPUtime=401.18 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 30851 0 0 0 39805 313 0 0 20 0 1 0 56527013 266121216 48629 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 64971 48629 1376 243 0 61220 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 259884 KiB
Current children cumulated memory: 194516 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/265 58548
/proc/meminfo: memFree=107869132/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=281612 memory=241588 CPUtime=461 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 36466 0 0 0 45776 324 0 0 20 0 1 0 56527013 288370688 60397 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 70403 60397 1376 243 0 66652 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 547240 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 59000
/proc/meminfo: memFree=129049652/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=653836 memory=552872 CPUtime=2853.86 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 71154 0 0 0 284247 1139 0 0 20 0 1 0 56527013 669528064 138218 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 163459 138218 1376 243 0 159708 0
Current children cumulated CPU time: 2853.86 s
Current children cumulated vsize: 653836 KiB
Current children cumulated memory: 552872 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 59003
/proc/meminfo: memFree=129034356/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=658220 memory=556200 CPUtime=2913.68 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 71977 0 0 0 290226 1142 0 0 20 0 1 0 56527013 674017280 139050 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 164555 139050 1376 243 0 160804 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 658220 KiB
Current children cumulated memory: 556200 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 59007
/proc/meminfo: memFree=129014196/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=666992 memory=568884 CPUtime=2973.5 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 73608 0 0 0 296204 1146 0 0 20 0 1 0 56527013 682999808 142221 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 166748 142221 1376 243 0 162997 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 568884 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 59009
/proc/meminfo: memFree=128989132/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=669088 memory=587416 CPUtime=3033.32 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 74255 0 0 0 302179 1153 0 0 20 0 1 0 56527013 685146112 146854 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 167272 146854 1376 243 0 163521 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 669088 KiB
Current children cumulated memory: 587416 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 59012
/proc/meminfo: memFree=128975112/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=670896 memory=588596 CPUtime=3093.15 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 74763 0 0 0 308151 1164 0 0 20 0 1 0 56527013 686997504 147149 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 167724 147149 1376 243 0 163973 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 670896 KiB
Current children cumulated memory: 588596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 59014
/proc/meminfo: memFree=128972452/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=675056 memory=591412 CPUtime=3152.97 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 75495 0 0 0 314124 1173 0 0 20 0 1 0 56527013 691257344 147853 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 168764 147853 1376 243 0 165013 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 675056 KiB
Current children cumulated memory: 591412 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 59020
/proc/meminfo: memFree=128969188/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=679600 memory=597928 CPUtime=3212.79 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 76493 0 0 0 320093 1186 0 0 20 0 1 0 56527013 695910400 149482 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 169900 149482 1376 243 0 166149 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 679600 KiB
Current children cumulated memory: 597928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 59023
/proc/meminfo: memFree=128962788/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=679984 memory=606768 CPUtime=3272.63 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 76704 0 0 0 326066 1197 0 0 20 0 1 0 56527013 696303616 151692 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 169996 151692 1376 243 0 166245 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 679984 KiB
Current children cumulated memory: 606768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 59025
/proc/meminfo: memFree=128954836/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=688308 memory=611888 CPUtime=3332.46 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 77984 0 0 0 332043 1203 0 0 20 0 1 0 56527013 704827392 152972 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 172077 152972 1376 243 0 168326 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 688308 KiB
Current children cumulated memory: 611888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 59027
/proc/meminfo: memFree=128947772/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=690484 memory=613284 CPUtime=3392.3 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 78476 0 0 0 338017 1213 0 0 20 0 1 0 56527013 707055616 153321 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 172621 153321 1376 243 0 168870 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 690484 KiB
Current children cumulated memory: 613284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 59074
/proc/meminfo: memFree=128991952/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=691636 memory=614052 CPUtime=3452.14 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 78675 0 0 0 343998 1216 0 0 20 0 1 0 56527013 708235264 153513 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 172909 153513 1376 243 0 169158 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 691636 KiB
Current children cumulated memory: 614052 KiB
[startup+3522.3 s]
/proc/loadavg: 3.96 4.06 4.08 4/262 59207
/proc/meminfo: memFree=129012748/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=692788 memory=615076 CPUtime=3511.96 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 78908 0 0 0 349975 1221 0 0 20 0 1 0 56527013 709414912 153769 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 173197 153769 1376 243 0 169446 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 692788 KiB
Current children cumulated memory: 615076 KiB
[startup+3582.3 s]
/proc/loadavg: 3.40 3.88 4.01 4/260 59209
/proc/meminfo: memFree=129003552/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=695220 memory=616740 CPUtime=3571.78 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 79424 0 0 0 355954 1224 0 0 20 0 1 0 56527013 711905280 154185 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 173805 154185 1376 243 0 170054 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 695220 KiB
Current children cumulated memory: 616740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 3.24 3.79 3.98 4/260 59211
/proc/meminfo: memFree=129000704/131249996 swapFree=33006296/33010684
[pid=58524] ppid=58521 vsize=697652 memory=618404 CPUtime=3600 cores=0,2
/proc/58524/stat : 58524 (pb-oll-rs) R 58521 58524 58208 0 -1 4194304 79869 0 0 0 358773 1227 0 0 20 0 1 0 56527013 714395648 154601 18446744073709551615 4218880 5211445 140723258860080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35373056 140723258861980 140723258862057 140723258862057 140723258867659 0
/proc/58524/statm: 174413 154601 1376 243 0 170662 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 697652 KiB
Current children cumulated memory: 618404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.64 s]
# the end of solver process 58524 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.77 s, system=12.2746 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.64
CPU time (s): 3600.05
CPU user time (s): 3587.77
CPU system time (s): 12.2746
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 697652
Max. memory (cumulated for all children) (KiB): 618404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.77
system time used= 12.2746
maximum resident set size= 618660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79884
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= 174
involuntary context switches= 4868
# summary of solver processes directly reported to runsolver:
# pid: 58524
# total CPU time (s): 3600.05
# total CPU user time (s): 3587.77
# total CPU system time (s): 12.2746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71884 second user time and 16.2786 second system time
The end
Begin job on nodeC015 at 2025-07-02 00:21:35
IDJOB=4499300
IDBENCH=148775
IDSOLVER=3345
FILE ID=nodeC015/4499300-1751408495
RUNJOBID= nodeC015-1751407286-58218
SLURM_JOB_ID= 9598303
Free space on /tmp= 432728 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499300-1751408495/watcher-4499300-1751408495 -o /tmp/evaluation-result-4499300-1751408495/solver-4499300-1751408495 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751407286-58218 --watchdog 3760 pb-oll-rs HOME/instance-4499300-1751408495.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1566531267
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.818
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.635
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.441
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.047
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3538.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 114991544 kB
MemAvailable: 114986068 kB
Buffers: 1508 kB
Cached: 779756 kB
SwapCached: 3880 kB
Active: 14843936 kB
Inactive: 542580 kB
Active(anon): 14570536 kB
Inactive(anon): 48868 kB
Active(file): 273400 kB
Inactive(file): 493712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1988 kB
Writeback: 4 kB
AnonPages: 14604536 kB
Mapped: 103696 kB
Shmem: 14152 kB
KReclaimable: 133300 kB
Slab: 222504 kB
SReclaimable: 133300 kB
SUnreclaim: 89204 kB
KernelStack: 4268 kB
PageTables: 32612 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 17235504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3573760 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432728 MiB
End job on nodeC015 at 2025-07-02 01:21:46