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
39.79/39.95 c bounds - >= 7 @ 0.020653
39.79/39.95 c #Conflicts: 1000 | #Constraints: 6568
39.79/39.95 c #Conflicts: 2000 | #Constraints: 7568
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 3000 | #Constraints: 2610
39.79/39.95 c #Conflicts: 4000 | #Constraints: 3610
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 5000 | #Constraints: 3024
39.79/39.95 c #Conflicts: 6000 | #Constraints: 4024
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 7000 | #Constraints: 3024
39.79/39.95 c #Conflicts: 8000 | #Constraints: 4024
39.79/39.95 c #Conflicts: 9000 | #Constraints: 5024
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 10000 | #Constraints: 3722
39.79/39.95 c #Conflicts: 11000 | #Constraints: 4722
39.79/39.95 c #Conflicts: 12000 | #Constraints: 5722
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 13000 | #Constraints: 4172
39.79/39.95 c #Conflicts: 14000 | #Constraints: 5172
39.79/39.95 c #Conflicts: 15000 | #Constraints: 6172
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 16000 | #Constraints: 4396
39.79/39.95 c #Conflicts: 17000 | #Constraints: 5396
39.79/39.95 c #Conflicts: 18000 | #Constraints: 6396
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 19000 | #Constraints: 4437
39.79/39.95 c #Conflicts: 20000 | #Constraints: 5437
39.79/39.95 c #Conflicts: 21000 | #Constraints: 6437
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 22000 | #Constraints: 4232
39.79/39.95 c #Conflicts: 23000 | #Constraints: 5232
39.79/39.95 c #Conflicts: 24000 | #Constraints: 6232
39.79/39.95 c #Conflicts: 25000 | #Constraints: 7232
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 26000 | #Constraints: 4832
39.79/39.95 c #Conflicts: 27000 | #Constraints: 5832
39.79/39.95 c #Conflicts: 28000 | #Constraints: 6832
39.79/39.95 c #Conflicts: 29000 | #Constraints: 7832
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 30000 | #Constraints: 5224
39.79/39.95 c #Conflicts: 31000 | #Constraints: 6224
39.79/39.95 c #Conflicts: 32000 | #Constraints: 7224
39.79/39.95 c #Conflicts: 33000 | #Constraints: 8224
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 34000 | #Constraints: 5430
39.79/39.95 c #Conflicts: 35000 | #Constraints: 6430
39.79/39.95 c #Conflicts: 36000 | #Constraints: 7430
39.79/39.95 c #Conflicts: 37000 | #Constraints: 8430
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 38000 | #Constraints: 5434
39.79/39.95 c #Conflicts: 39000 | #Constraints: 6434
39.79/39.95 c #Conflicts: 40000 | #Constraints: 7434
39.79/39.95 c #Conflicts: 41000 | #Constraints: 8434
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 42000 | #Constraints: 5248
39.79/39.95 c #Conflicts: 43000 | #Constraints: 6248
39.79/39.95 c #Conflicts: 44000 | #Constraints: 7248
39.79/39.95 c #Conflicts: 45000 | #Constraints: 8248
39.79/39.95 c #Conflicts: 46000 | #Constraints: 9248
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 47000 | #Constraints: 5831
39.79/39.95 c #Conflicts: 48000 | #Constraints: 6831
39.79/39.95 c #Conflicts: 49000 | #Constraints: 7831
39.79/39.95 c #Conflicts: 50000 | #Constraints: 8831
39.79/39.95 c #Conflicts: 51000 | #Constraints: 9831
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 52000 | #Constraints: 6235
39.79/39.95 c #Conflicts: 53000 | #Constraints: 7235
39.79/39.95 c #Conflicts: 54000 | #Constraints: 8235
39.79/39.95 c #Conflicts: 55000 | #Constraints: 9235
39.79/39.95 c #Conflicts: 56000 | #Constraints: 10235
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 57000 | #Constraints: 6427
39.79/39.95 c #Conflicts: 58000 | #Constraints: 7427
39.79/39.95 c #Conflicts: 59000 | #Constraints: 8427
39.79/39.95 c #Conflicts: 60000 | #Constraints: 9427
39.79/39.95 c #Conflicts: 61000 | #Constraints: 10427
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 62000 | #Constraints: 6431
39.79/39.95 c #Conflicts: 63000 | #Constraints: 7431
39.79/39.95 c #Conflicts: 64000 | #Constraints: 8431
39.79/39.95 c #Conflicts: 65000 | #Constraints: 9431
39.79/39.95 c #Conflicts: 66000 | #Constraints: 10431
39.79/39.95 c INPROCESSING
39.79/39.95 c GARBAGE COLLECT
39.79/39.95 c #Conflicts: 67000 | #Constraints: 6233
130.57/130.99 c #Conflicts: 68000 | #Constraints: 7233
130.57/130.99 c #Conflicts: 69000 | #Constraints: 8233
130.57/130.99 c #Conflicts: 70000 | #Constraints: 9233
130.57/130.99 c #Conflicts: 71000 | #Constraints: 10233
130.57/130.99 c #Conflicts: 72000 | #Constraints: 11233
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 73000 | #Constraints: 6827
130.57/130.99 c #Conflicts: 74000 | #Constraints: 7827
130.57/130.99 c #Conflicts: 75000 | #Constraints: 8827
130.57/130.99 c #Conflicts: 76000 | #Constraints: 9827
130.57/130.99 c #Conflicts: 77000 | #Constraints: 10827
130.57/130.99 c #Conflicts: 78000 | #Constraints: 11827
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 79000 | #Constraints: 7230
130.57/130.99 c #Conflicts: 80000 | #Constraints: 8230
130.57/130.99 c #Conflicts: 81000 | #Constraints: 9230
130.57/130.99 c #Conflicts: 82000 | #Constraints: 10230
130.57/130.99 c #Conflicts: 83000 | #Constraints: 11230
130.57/130.99 c #Conflicts: 84000 | #Constraints: 12230
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 85000 | #Constraints: 7433
130.57/130.99 c #Conflicts: 86000 | #Constraints: 8433
130.57/130.99 c #Conflicts: 87000 | #Constraints: 9433
130.57/130.99 c #Conflicts: 88000 | #Constraints: 10433
130.57/130.99 c #Conflicts: 89000 | #Constraints: 11433
130.57/130.99 c #Conflicts: 90000 | #Constraints: 12433
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 91000 | #Constraints: 7434
130.57/130.99 c #Conflicts: 92000 | #Constraints: 8434
130.57/130.99 c #Conflicts: 93000 | #Constraints: 9434
130.57/130.99 c #Conflicts: 94000 | #Constraints: 10434
130.57/130.99 c #Conflicts: 95000 | #Constraints: 11434
130.57/130.99 c #Conflicts: 96000 | #Constraints: 12434
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 97000 | #Constraints: 7258
130.57/130.99 c #Conflicts: 98000 | #Constraints: 8258
130.57/130.99 c #Conflicts: 99000 | #Constraints: 9258
130.57/130.99 c #Conflicts: 100000 | #Constraints: 10258
130.57/130.99 c #Conflicts: 101000 | #Constraints: 11258
130.57/130.99 c #Conflicts: 102000 | #Constraints: 12258
130.57/130.99 c #Conflicts: 103000 | #Constraints: 13258
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 104000 | #Constraints: 7844
130.57/130.99 c #Conflicts: 105000 | #Constraints: 8844
130.57/130.99 c #Conflicts: 106000 | #Constraints: 9844
130.57/130.99 c #Conflicts: 107000 | #Constraints: 10844
130.57/130.99 c #Conflicts: 108000 | #Constraints: 11844
130.57/130.99 c #Conflicts: 109000 | #Constraints: 12844
130.57/130.99 c #Conflicts: 110000 | #Constraints: 13844
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 111000 | #Constraints: 8243
130.57/130.99 c #Conflicts: 112000 | #Constraints: 9243
130.57/130.99 c #Conflicts: 113000 | #Constraints: 10243
130.57/130.99 c #Conflicts: 114000 | #Constraints: 11243
130.57/130.99 c #Conflicts: 115000 | #Constraints: 12243
130.57/130.99 c #Conflicts: 116000 | #Constraints: 13243
130.57/130.99 c #Conflicts: 117000 | #Constraints: 14243
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 118000 | #Constraints: 8436
130.57/130.99 c #Conflicts: 119000 | #Constraints: 9436
130.57/130.99 c #Conflicts: 120000 | #Constraints: 10436
130.57/130.99 c #Conflicts: 121000 | #Constraints: 11436
130.57/130.99 c #Conflicts: 122000 | #Constraints: 12436
130.57/130.99 c #Conflicts: 123000 | #Constraints: 13436
130.57/130.99 c #Conflicts: 124000 | #Constraints: 14436
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 125000 | #Constraints: 8427
130.57/130.99 c #Conflicts: 126000 | #Constraints: 9427
130.57/130.99 c #Conflicts: 127000 | #Constraints: 10427
130.57/130.99 c #Conflicts: 128000 | #Constraints: 11427
130.57/130.99 c #Conflicts: 129000 | #Constraints: 12427
130.57/130.99 c #Conflicts: 130000 | #Constraints: 13427
130.57/130.99 c #Conflicts: 131000 | #Constraints: 14427
130.57/130.99 c INPROCESSING
130.57/130.99 c GARBAGE COLLECT
130.57/130.99 c #Conflicts: 132000 | #Constraints: 8235
130.57/130.99 c #Conflicts: 133000 | #Constraints: 9235
130.57/130.99 c #Conflicts: 134000 | #Constraints: 10235
130.57/130.99 c #Conflicts: 135000 | #Constraints: 11235
130.57/130.99 c #Conflicts: 136000 | #Constraints: 12235
130.57/130.99 c #Conflicts: 137000 | #Constraints: 13235
130.57/130.99 c #Conflicts: 138000 | #Constraints: 14235
130.57/130.99 c #Conflicts: 139000 | #Constraints: 15235
130.57/130.99 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 140000 | #Constraints: 8854
225.45/226.03 c #Conflicts: 141000 | #Constraints: 9854
225.45/226.03 c #Conflicts: 142000 | #Constraints: 10854
225.45/226.03 c #Conflicts: 143000 | #Constraints: 11854
225.45/226.03 c #Conflicts: 144000 | #Constraints: 12854
225.45/226.03 c #Conflicts: 145000 | #Constraints: 13854
225.45/226.03 c #Conflicts: 146000 | #Constraints: 14854
225.45/226.03 c #Conflicts: 147000 | #Constraints: 15854
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 148000 | #Constraints: 9258
225.45/226.03 c #Conflicts: 149000 | #Constraints: 10258
225.45/226.03 c #Conflicts: 150000 | #Constraints: 11258
225.45/226.03 c #Conflicts: 151000 | #Constraints: 12258
225.45/226.03 c #Conflicts: 152000 | #Constraints: 13258
225.45/226.03 c #Conflicts: 153000 | #Constraints: 14258
225.45/226.03 c #Conflicts: 154000 | #Constraints: 15258
225.45/226.03 c #Conflicts: 155000 | #Constraints: 16258
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 156000 | #Constraints: 9485
225.45/226.03 c #Conflicts: 157000 | #Constraints: 10485
225.45/226.03 c #Conflicts: 158000 | #Constraints: 11485
225.45/226.03 c #Conflicts: 159000 | #Constraints: 12485
225.45/226.03 c #Conflicts: 160000 | #Constraints: 13485
225.45/226.03 c #Conflicts: 161000 | #Constraints: 14485
225.45/226.03 c #Conflicts: 162000 | #Constraints: 15485
225.45/226.03 c #Conflicts: 163000 | #Constraints: 16485
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 164000 | #Constraints: 9465
225.45/226.03 c #Conflicts: 165000 | #Constraints: 10465
225.45/226.03 c #Conflicts: 166000 | #Constraints: 11465
225.45/226.03 c #Conflicts: 167000 | #Constraints: 12465
225.45/226.03 c #Conflicts: 168000 | #Constraints: 13465
225.45/226.03 c #Conflicts: 169000 | #Constraints: 14465
225.45/226.03 c #Conflicts: 170000 | #Constraints: 15465
225.45/226.03 c #Conflicts: 171000 | #Constraints: 16465
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 172000 | #Constraints: 9244
225.45/226.03 c #Conflicts: 173000 | #Constraints: 10244
225.45/226.03 c #Conflicts: 174000 | #Constraints: 11244
225.45/226.03 c #Conflicts: 175000 | #Constraints: 12244
225.45/226.03 c #Conflicts: 176000 | #Constraints: 13244
225.45/226.03 c #Conflicts: 177000 | #Constraints: 14244
225.45/226.03 c #Conflicts: 178000 | #Constraints: 15244
225.45/226.03 c #Conflicts: 179000 | #Constraints: 16244
225.45/226.03 c #Conflicts: 180000 | #Constraints: 17244
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 181000 | #Constraints: 9833
225.45/226.03 c #Conflicts: 182000 | #Constraints: 10833
225.45/226.03 c #Conflicts: 183000 | #Constraints: 11833
225.45/226.03 c #Conflicts: 184000 | #Constraints: 12833
225.45/226.03 c #Conflicts: 185000 | #Constraints: 13833
225.45/226.03 c #Conflicts: 186000 | #Constraints: 14833
225.45/226.03 c #Conflicts: 187000 | #Constraints: 15833
225.45/226.03 c #Conflicts: 188000 | #Constraints: 16833
225.45/226.03 c #Conflicts: 189000 | #Constraints: 17833
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 190000 | #Constraints: 10250
225.45/226.03 c #Conflicts: 191000 | #Constraints: 11250
225.45/226.03 c #Conflicts: 192000 | #Constraints: 12250
225.45/226.03 c #Conflicts: 193000 | #Constraints: 13250
225.45/226.03 c #Conflicts: 194000 | #Constraints: 14250
225.45/226.03 c #Conflicts: 195000 | #Constraints: 15250
225.45/226.03 c #Conflicts: 196000 | #Constraints: 16250
225.45/226.03 c #Conflicts: 197000 | #Constraints: 17250
225.45/226.03 c #Conflicts: 198000 | #Constraints: 18250
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 199000 | #Constraints: 10454
225.45/226.03 c #Conflicts: 200000 | #Constraints: 11454
225.45/226.03 c #Conflicts: 201000 | #Constraints: 12454
225.45/226.03 c #Conflicts: 202000 | #Constraints: 13454
225.45/226.03 c #Conflicts: 203000 | #Constraints: 14454
225.45/226.03 c #Conflicts: 204000 | #Constraints: 15454
225.45/226.03 c #Conflicts: 205000 | #Constraints: 16454
225.45/226.03 c #Conflicts: 206000 | #Constraints: 17454
225.45/226.03 c #Conflicts: 207000 | #Constraints: 18454
225.45/226.03 c INPROCESSING
225.45/226.03 c GARBAGE COLLECT
225.45/226.03 c #Conflicts: 208000 | #Constraints: 10466
225.45/226.03 c #Conflicts: 209000 | #Constraints: 11466
225.45/226.03 c #Conflicts: 210000 | #Constraints: 12466
225.45/226.03 c #Conflicts: 211000 | #Constraints: 13466
225.45/226.03 c #Conflicts: 212000 | #Constraints: 14466
225.45/226.03 c #Conflicts: 213000 | #Constraints: 15466
332.59/333.46 c #Conflicts: 214000 | #Constraints: 16466
332.59/333.46 c #Conflicts: 215000 | #Constraints: 17466
332.59/333.46 c #Conflicts: 216000 | #Constraints: 18466
332.59/333.46 c INPROCESSING
332.59/333.46 c GARBAGE COLLECT
332.59/333.46 c #Conflicts: 217000 | #Constraints: 10267
332.59/333.46 c #Conflicts: 218000 | #Constraints: 11267
332.59/333.46 c #Conflicts: 219000 | #Constraints: 12267
332.59/333.46 c #Conflicts: 220000 | #Constraints: 13267
332.59/333.46 c #Conflicts: 221000 | #Constraints: 14267
332.59/333.46 c #Conflicts: 222000 | #Constraints: 15267
332.59/333.46 c #Conflicts: 223000 | #Constraints: 16267
332.59/333.46 c #Conflicts: 224000 | #Constraints: 17267
332.59/333.46 c #Conflicts: 225000 | #Constraints: 18267
332.59/333.46 c #Conflicts: 226000 | #Constraints: 19267
332.59/333.46 c INPROCESSING
332.59/333.46 c GARBAGE COLLECT
332.59/333.46 c #Conflicts: 227000 | #Constraints: 10869
332.59/333.46 c #Conflicts: 228000 | #Constraints: 11869
332.59/333.46 c #Conflicts: 229000 | #Constraints: 12869
332.59/333.46 c #Conflicts: 230000 | #Constraints: 13869
332.59/333.46 c #Conflicts: 231000 | #Constraints: 14869
332.59/333.46 c #Conflicts: 232000 | #Constraints: 15869
332.59/333.46 c #Conflicts: 233000 | #Constraints: 16869
332.59/333.46 c #Conflicts: 234000 | #Constraints: 17869
332.59/333.46 c #Conflicts: 235000 | #Constraints: 18869
332.59/333.46 c #Conflicts: 236000 | #Constraints: 19869
332.59/333.46 c INPROCESSING
332.59/333.46 c GARBAGE COLLECT
332.59/333.46 c #Conflicts: 237000 | #Constraints: 11252
332.59/333.46 c #Conflicts: 238000 | #Constraints: 12252
332.59/333.46 c #Conflicts: 239000 | #Constraints: 13252
332.59/333.46 c #Conflicts: 240000 | #Constraints: 14252
332.59/333.46 c #Conflicts: 241000 | #Constraints: 15252
332.59/333.46 c #Conflicts: 242000 | #Constraints: 16252
332.59/333.46 c #Conflicts: 243000 | #Constraints: 17252
332.59/333.46 c #Conflicts: 244000 | #Constraints: 18252
332.59/333.46 c #Conflicts: 245000 | #Constraints: 19252
332.59/333.46 c #Conflicts: 246000 | #Constraints: 20252
332.59/333.46 c INPROCESSING
332.59/333.46 c GARBAGE COLLECT
332.59/333.46 c #Conflicts: 247000 | #Constraints: 11456
332.59/333.46 c #Conflicts: 248000 | #Constraints: 12456
332.59/333.46 c #Conflicts: 249000 | #Constraints: 13456
332.59/333.46 c #Conflicts: 250000 | #Constraints: 14456
332.59/333.46 c #Conflicts: 251000 | #Constraints: 15456
332.59/333.46 c #Conflicts: 252000 | #Constraints: 16456
332.59/333.46 c #Conflicts: 253000 | #Constraints: 17456
332.59/333.46 c #Conflicts: 254000 | #Constraints: 18456
332.59/333.46 c #Conflicts: 255000 | #Constraints: 19456
332.59/333.46 c #Conflicts: 256000 | #Constraints: 20456
332.59/333.46 c INPROCESSING
332.59/333.46 c GARBAGE COLLECT
332.59/333.46 c #Conflicts: 257000 | #Constraints: 11468
332.59/333.46 c #Conflicts: 258000 | #Constraints: 12468
332.59/333.46 c #Conflicts: 259000 | #Constraints: 13468
332.59/333.46 c #Conflicts: 260000 | #Constraints: 14468
332.59/333.46 c #Conflicts: 261000 | #Constraints: 15468
332.59/333.46 c #Conflicts: 262000 | #Constraints: 16468
332.59/333.46 c #Conflicts: 263000 | #Constraints: 17468
332.59/333.46 c #Conflicts: 264000 | #Constraints: 18468
332.59/333.46 c #Conflicts: 265000 | #Constraints: 19468
332.59/333.46 c #Conflicts: 266000 | #Constraints: 20468
332.59/333.46 c INPROCESSING
332.59/333.46 c GARBAGE COLLECT
332.59/333.46 c #Conflicts: 267000 | #Constraints: 11260
332.59/333.46 c #Conflicts: 268000 | #Constraints: 12260
332.59/333.46 c #Conflicts: 269000 | #Constraints: 13260
332.59/333.46 c #Conflicts: 270000 | #Constraints: 14260
332.59/333.46 c #Conflicts: 271000 | #Constraints: 15260
332.59/333.46 c #Conflicts: 272000 | #Constraints: 16260
332.59/333.46 c #Conflicts: 273000 | #Constraints: 17260
332.59/333.46 c #Conflicts: 274000 | #Constraints: 18260
332.59/333.46 c #Conflicts: 275000 | #Constraints: 19260
332.59/333.46 c #Conflicts: 276000 | #Constraints: 20260
332.59/333.46 c #Conflicts: 277000 | #Constraints: 21260
332.59/333.46 c INPROCESSING
332.59/333.46 c GARBAGE COLLECT
332.59/333.46 c #Conflicts: 278000 | #Constraints: 11839
332.59/333.46 c #Conflicts: 279000 | #Constraints: 12839
332.59/333.46 c #Conflicts: 280000 | #Constraints: 13839
332.59/333.46 c #Conflicts: 281000 | #Constraints: 14839
332.59/333.46 c #Conflicts: 282000 | #Constraints: 15839
332.59/333.46 c #Conflicts: 283000 | #Constraints: 16839
332.59/333.46 c #Conflicts: 284000 | #Constraints: 17839
332.59/333.46 c #Conflicts: 285000 | #Constraints: 18839
332.59/333.46 c #Conflicts: 286000 | #Constraints: 19839
332.59/333.46 c #Conflicts: 287000 | #Constraints: 20839
600.53/602.08 c #Conflicts: 288000 | #Constraints: 21839
600.53/602.08 c INPROCESSING
600.53/602.08 c GARBAGE COLLECT
600.53/602.08 c #Conflicts: 289000 | #Constraints: 12229
600.53/602.08 c #Conflicts: 290000 | #Constraints: 13229
600.53/602.08 c #Conflicts: 291000 | #Constraints: 14229
600.53/602.08 c #Conflicts: 292000 | #Constraints: 15229
600.53/602.08 c #Conflicts: 293000 | #Constraints: 16229
600.53/602.08 c #Conflicts: 294000 | #Constraints: 17229
600.53/602.08 c #Conflicts: 295000 | #Constraints: 18229
600.53/602.08 c #Conflicts: 296000 | #Constraints: 19229
600.53/602.08 c #Conflicts: 297000 | #Constraints: 20229
600.53/602.08 c #Conflicts: 298000 | #Constraints: 21229
600.53/602.08 c #Conflicts: 299000 | #Constraints: 22229
600.53/602.08 c INPROCESSING
600.53/602.08 c GARBAGE COLLECT
600.53/602.08 c #Conflicts: 300000 | #Constraints: 12425
600.53/602.08 c #Conflicts: 301000 | #Constraints: 13425
600.53/602.08 c #Conflicts: 302000 | #Constraints: 14425
600.53/602.08 c #Conflicts: 303000 | #Constraints: 15425
600.53/602.08 c #Conflicts: 304000 | #Constraints: 16425
600.53/602.08 c #Conflicts: 305000 | #Constraints: 17425
600.53/602.08 c #Conflicts: 306000 | #Constraints: 18425
600.53/602.08 c #Conflicts: 307000 | #Constraints: 19425
600.53/602.08 c #Conflicts: 308000 | #Constraints: 20425
600.53/602.08 c #Conflicts: 309000 | #Constraints: 21425
600.53/602.08 c #Conflicts: 310000 | #Constraints: 22425
600.53/602.08 c INPROCESSING
600.53/602.08 c GARBAGE COLLECT
600.53/602.08 c #Conflicts: 311000 | #Constraints: 12436
600.53/602.08 c #Conflicts: 312000 | #Constraints: 13436
600.53/602.08 c #Conflicts: 313000 | #Constraints: 14436
600.53/602.08 c #Conflicts: 314000 | #Constraints: 15436
600.53/602.08 c #Conflicts: 315000 | #Constraints: 16436
600.53/602.08 c #Conflicts: 316000 | #Constraints: 17436
600.53/602.08 c #Conflicts: 317000 | #Constraints: 18436
600.53/602.08 c #Conflicts: 318000 | #Constraints: 19436
600.53/602.08 c #Conflicts: 319000 | #Constraints: 20436
600.53/602.08 c #Conflicts: 320000 | #Constraints: 21436
600.53/602.08 c #Conflicts: 321000 | #Constraints: 22436
600.53/602.08 c INPROCESSING
600.53/602.08 c GARBAGE COLLECT
600.53/602.08 c #Conflicts: 322000 | #Constraints: 12247
600.53/602.08 c #Conflicts: 323000 | #Constraints: 13247
600.53/602.08 c #Conflicts: 324000 | #Constraints: 14247
600.53/602.08 c #Conflicts: 325000 | #Constraints: 15247
600.53/602.08 c #Conflicts: 326000 | #Constraints: 16247
600.53/602.08 c #Conflicts: 327000 | #Constraints: 17247
600.53/602.08 c #Conflicts: 328000 | #Constraints: 18247
600.53/602.08 c #Conflicts: 329000 | #Constraints: 19247
600.53/602.08 c #Conflicts: 330000 | #Constraints: 20247
600.53/602.08 c #Conflicts: 331000 | #Constraints: 21247
600.53/602.08 c #Conflicts: 332000 | #Constraints: 22247
600.53/602.08 c #Conflicts: 333000 | #Constraints: 23247
600.53/602.08 c INPROCESSING
600.53/602.08 c GARBAGE COLLECT
600.53/602.08 c #Conflicts: 334000 | #Constraints: 12835
600.53/602.08 c #Conflicts: 335000 | #Constraints: 13835
600.53/602.08 c #Conflicts: 336000 | #Constraints: 14835
600.53/602.08 c #Conflicts: 337000 | #Constraints: 15835
600.53/602.08 c #Conflicts: 338000 | #Constraints: 16835
600.53/602.08 c #Conflicts: 339000 | #Constraints: 17835
600.53/602.08 c #Conflicts: 340000 | #Constraints: 18835
600.53/602.08 c #Conflicts: 341000 | #Constraints: 19835
600.53/602.08 c #Conflicts: 342000 | #Constraints: 20835
600.53/602.08 c #Conflicts: 343000 | #Constraints: 21835
600.53/602.08 c #Conflicts: 344000 | #Constraints: 22835
600.53/602.08 c #Conflicts: 345000 | #Constraints: 23835
600.53/602.08 c INPROCESSING
600.53/602.08 c GARBAGE COLLECT
600.53/602.08 c #Conflicts: 346000 | #Constraints: 13227
600.53/602.08 c #Conflicts: 347000 | #Constraints: 14227
600.53/602.08 c #Conflicts: 348000 | #Constraints: 15227
600.53/602.08 c #Conflicts: 349000 | #Constraints: 16227
600.53/602.08 c #Conflicts: 350000 | #Constraints: 17227
600.53/602.08 c #Conflicts: 351000 | #Constraints: 18227
600.53/602.08 c #Conflicts: 352000 | #Constraints: 19227
600.53/602.08 c #Conflicts: 353000 | #Constraints: 20227
600.53/602.08 c #Conflicts: 354000 | #Constraints: 21227
600.53/602.08 c #Conflicts: 355000 | #Constraints: 22227
600.53/602.08 c #Conflicts: 356000 | #Constraints: 23227
600.53/602.08 c #Conflicts: 357000 | #Constraints: 24227
600.53/602.08 c INPROCESSING
600.53/602.08 c GARBAGE COLLECT
600.53/602.08 c #Conflicts: 358000 | #Constraints: 13429
600.53/602.08 c #Conflicts: 359000 | #Constraints: 14429
600.53/602.08 c #Conflicts: 360000 | #Constraints: 15429
600.53/602.08 c #Conflicts: 361000 | #Constraints: 16429
781.50/783.45 c #Conflicts: 362000 | #Constraints: 17429
781.50/783.45 c #Conflicts: 363000 | #Constraints: 18429
781.50/783.45 c #Conflicts: 364000 | #Constraints: 19429
781.50/783.45 c #Conflicts: 365000 | #Constraints: 20429
781.50/783.45 c #Conflicts: 366000 | #Constraints: 21429
781.50/783.45 c #Conflicts: 367000 | #Constraints: 22429
781.50/783.45 c #Conflicts: 368000 | #Constraints: 23429
781.50/783.45 c #Conflicts: 369000 | #Constraints: 24429
781.50/783.45 c INPROCESSING
781.50/783.45 c GARBAGE COLLECT
781.50/783.45 c #Conflicts: 370000 | #Constraints: 13439
781.50/783.45 c #Conflicts: 371000 | #Constraints: 14439
781.50/783.45 c #Conflicts: 372000 | #Constraints: 15439
781.50/783.45 c #Conflicts: 373000 | #Constraints: 16439
781.50/783.45 c #Conflicts: 374000 | #Constraints: 17439
781.50/783.45 c #Conflicts: 375000 | #Constraints: 18439
781.50/783.45 c #Conflicts: 376000 | #Constraints: 19439
781.50/783.45 c #Conflicts: 377000 | #Constraints: 20439
781.50/783.45 c #Conflicts: 378000 | #Constraints: 21439
781.50/783.45 c #Conflicts: 379000 | #Constraints: 22439
781.50/783.45 c #Conflicts: 380000 | #Constraints: 23439
781.50/783.45 c #Conflicts: 381000 | #Constraints: 24439
781.50/783.45 c INPROCESSING
781.50/783.45 c GARBAGE COLLECT
781.50/783.45 c #Conflicts: 382000 | #Constraints: 13230
781.50/783.45 c #Conflicts: 383000 | #Constraints: 14230
781.50/783.45 c #Conflicts: 384000 | #Constraints: 15230
781.50/783.45 c #Conflicts: 385000 | #Constraints: 16230
781.50/783.45 c #Conflicts: 386000 | #Constraints: 17230
781.50/783.45 c #Conflicts: 387000 | #Constraints: 18230
781.50/783.45 c #Conflicts: 388000 | #Constraints: 19230
781.50/783.45 c #Conflicts: 389000 | #Constraints: 20230
781.50/783.45 c #Conflicts: 390000 | #Constraints: 21230
781.50/783.45 c #Conflicts: 391000 | #Constraints: 22230
781.50/783.45 c #Conflicts: 392000 | #Constraints: 23230
781.50/783.45 c #Conflicts: 393000 | #Constraints: 24230
781.50/783.45 c #Conflicts: 394000 | #Constraints: 25230
781.50/783.45 c INPROCESSING
781.50/783.45 c GARBAGE COLLECT
781.50/783.45 c #Conflicts: 395000 | #Constraints: 13832
781.50/783.45 c #Conflicts: 396000 | #Constraints: 14832
781.50/783.45 c #Conflicts: 397000 | #Constraints: 15832
781.50/783.45 c #Conflicts: 398000 | #Constraints: 16832
781.50/783.45 c #Conflicts: 399000 | #Constraints: 17832
781.50/783.45 c #Conflicts: 400000 | #Constraints: 18832
781.50/783.45 c #Conflicts: 401000 | #Constraints: 19832
781.50/783.45 c #Conflicts: 402000 | #Constraints: 20832
781.50/783.45 c #Conflicts: 403000 | #Constraints: 21832
781.50/783.45 c #Conflicts: 404000 | #Constraints: 22832
781.50/783.45 c #Conflicts: 405000 | #Constraints: 23832
781.50/783.45 c #Conflicts: 406000 | #Constraints: 24832
781.50/783.45 c #Conflicts: 407000 | #Constraints: 25832
781.50/783.45 c INPROCESSING
781.50/783.45 c GARBAGE COLLECT
781.50/783.45 c #Conflicts: 408000 | #Constraints: 14227
781.50/783.45 c #Conflicts: 409000 | #Constraints: 15227
781.50/783.45 c #Conflicts: 410000 | #Constraints: 16227
781.50/783.45 c #Conflicts: 411000 | #Constraints: 17227
781.50/783.45 c #Conflicts: 412000 | #Constraints: 18227
781.50/783.45 c #Conflicts: 413000 | #Constraints: 19227
781.50/783.45 c #Conflicts: 414000 | #Constraints: 20227
781.50/783.45 c #Conflicts: 415000 | #Constraints: 21227
781.50/783.45 c #Conflicts: 416000 | #Constraints: 22227
781.50/783.45 c #Conflicts: 417000 | #Constraints: 23227
781.50/783.45 c #Conflicts: 418000 | #Constraints: 24227
781.50/783.45 c #Conflicts: 419000 | #Constraints: 25227
781.50/783.45 c #Conflicts: 420000 | #Constraints: 26227
781.50/783.45 c INPROCESSING
781.50/783.45 c GARBAGE COLLECT
781.50/783.45 c #Conflicts: 421000 | #Constraints: 14471
781.50/783.45 c #Conflicts: 422000 | #Constraints: 15471
781.50/783.45 c #Conflicts: 423000 | #Constraints: 16471
781.50/783.45 c #Conflicts: 424000 | #Constraints: 17471
781.50/783.45 c #Conflicts: 425000 | #Constraints: 18471
781.50/783.45 c #Conflicts: 426000 | #Constraints: 19471
781.50/783.45 c #Conflicts: 427000 | #Constraints: 20471
781.50/783.45 c #Conflicts: 428000 | #Constraints: 21471
781.50/783.45 c #Conflicts: 429000 | #Constraints: 22471
781.50/783.45 c #Conflicts: 430000 | #Constraints: 23471
781.50/783.45 c #Conflicts: 431000 | #Constraints: 24471
781.50/783.45 c #Conflicts: 432000 | #Constraints: 25471
781.50/783.45 c #Conflicts: 433000 | #Constraints: 26471
781.50/783.45 c INPROCESSING
781.50/783.45 c GARBAGE COLLECT
781.50/783.45 c #Conflicts: 434000 | #Constraints: 14563
781.50/783.45 c #Conflicts: 435000 | #Constraints: 15563
781.50/783.45 c #Conflicts: 436000 | #Constraints: 16563
1114.57/1117.39 c #Conflicts: 437000 | #Constraints: 17563
1114.57/1117.39 c #Conflicts: 438000 | #Constraints: 18563
1114.57/1117.39 c #Conflicts: 439000 | #Constraints: 19563
1114.57/1117.39 c #Conflicts: 440000 | #Constraints: 20563
1114.57/1117.39 c #Conflicts: 441000 | #Constraints: 21563
1114.57/1117.39 c #Conflicts: 442000 | #Constraints: 22563
1114.57/1117.39 c #Conflicts: 443000 | #Constraints: 23563
1114.57/1117.39 c #Conflicts: 444000 | #Constraints: 24563
1114.57/1117.39 c #Conflicts: 445000 | #Constraints: 25563
1114.57/1117.39 c #Conflicts: 446000 | #Constraints: 26563
1114.57/1117.39 c INPROCESSING
1114.57/1117.39 c GARBAGE COLLECT
1114.57/1117.39 c #Conflicts: 447000 | #Constraints: 14420
1114.57/1117.39 c #Conflicts: 448000 | #Constraints: 15420
1114.57/1117.39 c #Conflicts: 449000 | #Constraints: 16420
1114.57/1117.39 c #Conflicts: 450000 | #Constraints: 17420
1114.57/1117.39 c #Conflicts: 451000 | #Constraints: 18420
1114.57/1117.39 c #Conflicts: 452000 | #Constraints: 19420
1114.57/1117.39 c #Conflicts: 453000 | #Constraints: 20420
1114.57/1117.39 c #Conflicts: 454000 | #Constraints: 21420
1114.57/1117.39 c #Conflicts: 455000 | #Constraints: 22420
1114.57/1117.39 c #Conflicts: 456000 | #Constraints: 23420
1114.57/1117.39 c #Conflicts: 457000 | #Constraints: 24420
1114.57/1117.39 c #Conflicts: 458000 | #Constraints: 25420
1114.57/1117.39 c #Conflicts: 459000 | #Constraints: 26420
1114.57/1117.39 c #Conflicts: 460000 | #Constraints: 27420
1114.57/1117.39 c INPROCESSING
1114.57/1117.39 c GARBAGE COLLECT
1114.57/1117.39 c #Conflicts: 461000 | #Constraints: 14961
1114.57/1117.39 c #Conflicts: 462000 | #Constraints: 15961
1114.57/1117.39 c #Conflicts: 463000 | #Constraints: 16961
1114.57/1117.39 c #Conflicts: 464000 | #Constraints: 17961
1114.57/1117.39 c #Conflicts: 465000 | #Constraints: 18961
1114.57/1117.39 c #Conflicts: 466000 | #Constraints: 19961
1114.57/1117.39 c #Conflicts: 467000 | #Constraints: 20961
1114.57/1117.39 c #Conflicts: 468000 | #Constraints: 21961
1114.57/1117.39 c #Conflicts: 469000 | #Constraints: 22961
1114.57/1117.39 c #Conflicts: 470000 | #Constraints: 23961
1114.57/1117.39 c #Conflicts: 471000 | #Constraints: 24961
1114.57/1117.39 c #Conflicts: 472000 | #Constraints: 25961
1114.57/1117.39 c #Conflicts: 473000 | #Constraints: 26961
1114.57/1117.39 c #Conflicts: 474000 | #Constraints: 27961
1114.57/1117.39 c INPROCESSING
1114.57/1117.39 c GARBAGE COLLECT
1114.57/1117.39 c #Conflicts: 475000 | #Constraints: 15361
1114.57/1117.39 c #Conflicts: 476000 | #Constraints: 16361
1114.57/1117.39 c #Conflicts: 477000 | #Constraints: 17361
1114.57/1117.39 c #Conflicts: 478000 | #Constraints: 18361
1114.57/1117.39 c #Conflicts: 479000 | #Constraints: 19361
1114.57/1117.39 c #Conflicts: 480000 | #Constraints: 20361
1114.57/1117.39 c #Conflicts: 481000 | #Constraints: 21361
1114.57/1117.39 c #Conflicts: 482000 | #Constraints: 22361
1114.57/1117.39 c #Conflicts: 483000 | #Constraints: 23361
1114.57/1117.39 c #Conflicts: 484000 | #Constraints: 24361
1114.57/1117.39 c #Conflicts: 485000 | #Constraints: 25361
1114.57/1117.39 c #Conflicts: 486000 | #Constraints: 26361
1114.57/1117.39 c #Conflicts: 487000 | #Constraints: 27361
1114.57/1117.39 c #Conflicts: 488000 | #Constraints: 28361
1114.57/1117.39 c INPROCESSING
1114.57/1117.39 c GARBAGE COLLECT
1114.57/1117.39 c #Conflicts: 489000 | #Constraints: 15524
1114.57/1117.39 c #Conflicts: 490000 | #Constraints: 16524
1114.57/1117.39 c #Conflicts: 491000 | #Constraints: 17524
1114.57/1117.39 c #Conflicts: 492000 | #Constraints: 18524
1114.57/1117.39 c #Conflicts: 493000 | #Constraints: 19524
1114.57/1117.39 c #Conflicts: 494000 | #Constraints: 20524
1114.57/1117.39 c #Conflicts: 495000 | #Constraints: 21524
1114.57/1117.39 c #Conflicts: 496000 | #Constraints: 22524
1114.57/1117.39 c #Conflicts: 497000 | #Constraints: 23524
1114.57/1117.39 c #Conflicts: 498000 | #Constraints: 24524
1114.57/1117.39 c #Conflicts: 499000 | #Constraints: 25524
1114.57/1117.39 c #Conflicts: 500000 | #Constraints: 26524
1114.57/1117.39 c #Conflicts: 501000 | #Constraints: 27524
1114.57/1117.39 c #Conflicts: 502000 | #Constraints: 28524
1114.57/1117.39 c INPROCESSING
1114.57/1117.39 c GARBAGE COLLECT
1114.57/1117.39 c #Conflicts: 503000 | #Constraints: 15500
1114.57/1117.39 c #Conflicts: 504000 | #Constraints: 16500
1114.57/1117.39 c #Conflicts: 505000 | #Constraints: 17500
1114.57/1117.39 c #Conflicts: 506000 | #Constraints: 18500
1114.57/1117.39 c #Conflicts: 507000 | #Constraints: 19500
1114.57/1117.39 c #Conflicts: 508000 | #Constraints: 20500
1114.57/1117.39 c #Conflicts: 509000 | #Constraints: 21500
1114.57/1117.39 c #Conflicts: 510000 | #Constraints: 22500
1114.57/1117.39 c #Conflicts: 511000 | #Constraints: 23500
1114.57/1117.39 c #Conflicts: 512000 | #Constraints: 24500
1277.56/1280.76 c #Conflicts: 513000 | #Constraints: 25500
1277.56/1280.76 c #Conflicts: 514000 | #Constraints: 26500
1277.56/1280.76 c #Conflicts: 515000 | #Constraints: 27500
1277.56/1280.76 c #Conflicts: 516000 | #Constraints: 28500
1277.56/1280.76 c INPROCESSING
1277.56/1280.76 c GARBAGE COLLECT
1277.56/1280.76 c #Conflicts: 517000 | #Constraints: 15265
1277.56/1280.76 c #Conflicts: 518000 | #Constraints: 16265
1277.56/1280.76 c #Conflicts: 519000 | #Constraints: 17265
1277.56/1280.76 c #Conflicts: 520000 | #Constraints: 18265
1277.56/1280.76 c #Conflicts: 521000 | #Constraints: 19265
1277.56/1280.76 c #Conflicts: 522000 | #Constraints: 20265
1277.56/1280.76 c #Conflicts: 523000 | #Constraints: 21265
1277.56/1280.76 c #Conflicts: 524000 | #Constraints: 22265
1277.56/1280.76 c #Conflicts: 525000 | #Constraints: 23265
1277.56/1280.76 c #Conflicts: 526000 | #Constraints: 24265
1277.56/1280.76 c #Conflicts: 527000 | #Constraints: 25265
1277.56/1280.76 c #Conflicts: 528000 | #Constraints: 26265
1277.56/1280.76 c #Conflicts: 529000 | #Constraints: 27265
1277.56/1280.76 c #Conflicts: 530000 | #Constraints: 28265
1277.56/1280.76 c #Conflicts: 531000 | #Constraints: 29265
1277.56/1280.76 c INPROCESSING
1277.56/1280.76 c GARBAGE COLLECT
1277.56/1280.76 c #Conflicts: 532000 | #Constraints: 15855
1277.56/1280.76 c #Conflicts: 533000 | #Constraints: 16855
1277.56/1280.76 c #Conflicts: 534000 | #Constraints: 17855
1277.56/1280.76 c #Conflicts: 535000 | #Constraints: 18855
1277.56/1280.76 c #Conflicts: 536000 | #Constraints: 19855
1277.56/1280.76 c #Conflicts: 537000 | #Constraints: 20855
1277.56/1280.76 c #Conflicts: 538000 | #Constraints: 21855
1277.56/1280.76 c #Conflicts: 539000 | #Constraints: 22855
1277.56/1280.76 c #Conflicts: 540000 | #Constraints: 23855
1277.56/1280.76 c #Conflicts: 541000 | #Constraints: 24855
1277.56/1280.76 c #Conflicts: 542000 | #Constraints: 25855
1277.56/1280.76 c #Conflicts: 543000 | #Constraints: 26855
1277.56/1280.76 c #Conflicts: 544000 | #Constraints: 27855
1277.56/1280.76 c #Conflicts: 545000 | #Constraints: 28855
1277.56/1280.76 c #Conflicts: 546000 | #Constraints: 29855
1277.56/1280.76 c INPROCESSING
1277.56/1280.76 c GARBAGE COLLECT
1277.56/1280.76 c #Conflicts: 547000 | #Constraints: 16241
1277.56/1280.76 c #Conflicts: 548000 | #Constraints: 17241
1277.56/1280.76 c #Conflicts: 549000 | #Constraints: 18241
1277.56/1280.76 c #Conflicts: 550000 | #Constraints: 19241
1277.56/1280.76 c #Conflicts: 551000 | #Constraints: 20241
1277.56/1280.76 c #Conflicts: 552000 | #Constraints: 21241
1277.56/1280.76 c #Conflicts: 553000 | #Constraints: 22241
1277.56/1280.76 c #Conflicts: 554000 | #Constraints: 23241
1277.56/1280.76 c #Conflicts: 555000 | #Constraints: 24241
1277.56/1280.76 c #Conflicts: 556000 | #Constraints: 25241
1277.56/1280.76 c #Conflicts: 557000 | #Constraints: 26241
1277.56/1280.76 c #Conflicts: 558000 | #Constraints: 27241
1277.56/1280.76 c #Conflicts: 559000 | #Constraints: 28241
1277.56/1280.76 c #Conflicts: 560000 | #Constraints: 29241
1277.56/1280.76 c #Conflicts: 561000 | #Constraints: 30241
1277.56/1280.76 c INPROCESSING
1277.56/1280.76 c GARBAGE COLLECT
1277.56/1280.76 c #Conflicts: 562000 | #Constraints: 16440
1277.56/1280.76 c #Conflicts: 563000 | #Constraints: 17440
1277.56/1280.76 c #Conflicts: 564000 | #Constraints: 18440
1277.56/1280.76 c #Conflicts: 565000 | #Constraints: 19440
1277.56/1280.76 c #Conflicts: 566000 | #Constraints: 20440
1277.56/1280.76 c #Conflicts: 567000 | #Constraints: 21440
1277.56/1280.76 c #Conflicts: 568000 | #Constraints: 22440
1277.56/1280.76 c #Conflicts: 569000 | #Constraints: 23440
1277.56/1280.76 c #Conflicts: 570000 | #Constraints: 24440
1277.56/1280.76 c #Conflicts: 571000 | #Constraints: 25440
1277.56/1280.76 c #Conflicts: 572000 | #Constraints: 26440
1277.56/1280.76 c #Conflicts: 573000 | #Constraints: 27440
1277.56/1280.76 c #Conflicts: 574000 | #Constraints: 28440
1277.56/1280.76 c #Conflicts: 575000 | #Constraints: 29440
1277.56/1280.76 c #Conflicts: 576000 | #Constraints: 30440
1277.56/1280.76 c INPROCESSING
1277.56/1280.76 c GARBAGE COLLECT
1277.56/1280.76 c #Conflicts: 577000 | #Constraints: 16484
1277.56/1280.76 c #Conflicts: 578000 | #Constraints: 17484
1277.56/1280.76 c #Conflicts: 579000 | #Constraints: 18484
1277.56/1280.76 c #Conflicts: 580000 | #Constraints: 19484
1277.56/1280.76 c #Conflicts: 581000 | #Constraints: 20484
1277.56/1280.76 c #Conflicts: 582000 | #Constraints: 21484
1277.56/1280.76 c #Conflicts: 583000 | #Constraints: 22484
1277.56/1280.76 c #Conflicts: 584000 | #Constraints: 23484
1277.56/1280.76 c #Conflicts: 585000 | #Constraints: 24484
1277.56/1280.76 c #Conflicts: 586000 | #Constraints: 25484
1277.56/1280.76 c #Conflicts: 587000 | #Constraints: 26484
1277.56/1280.76 c #Conflicts: 588000 | #Constraints: 27484
1447.75/1451.36 c #Conflicts: 589000 | #Constraints: 28484
1447.75/1451.36 c #Conflicts: 590000 | #Constraints: 29484
1447.75/1451.36 c #Conflicts: 591000 | #Constraints: 30484
1447.75/1451.36 c INPROCESSING
1447.75/1451.36 c GARBAGE COLLECT
1447.75/1451.36 c #Conflicts: 592000 | #Constraints: 16267
1447.75/1451.36 c #Conflicts: 593000 | #Constraints: 17267
1447.75/1451.36 c #Conflicts: 594000 | #Constraints: 18267
1447.75/1451.36 c #Conflicts: 595000 | #Constraints: 19267
1447.75/1451.36 c #Conflicts: 596000 | #Constraints: 20267
1447.75/1451.36 c #Conflicts: 597000 | #Constraints: 21267
1447.75/1451.36 c #Conflicts: 598000 | #Constraints: 22267
1447.75/1451.36 c #Conflicts: 599000 | #Constraints: 23267
1447.75/1451.36 c #Conflicts: 600000 | #Constraints: 24267
1447.75/1451.36 c #Conflicts: 601000 | #Constraints: 25267
1447.75/1451.36 c #Conflicts: 602000 | #Constraints: 26267
1447.75/1451.36 c #Conflicts: 603000 | #Constraints: 27267
1447.75/1451.36 c #Conflicts: 604000 | #Constraints: 28267
1447.75/1451.36 c #Conflicts: 605000 | #Constraints: 29267
1447.75/1451.36 c #Conflicts: 606000 | #Constraints: 30267
1447.75/1451.36 c #Conflicts: 607000 | #Constraints: 31267
1447.75/1451.36 c INPROCESSING
1447.75/1451.36 c GARBAGE COLLECT
1447.75/1451.36 c #Conflicts: 608000 | #Constraints: 16877
1447.75/1451.36 c #Conflicts: 609000 | #Constraints: 17877
1447.75/1451.36 c #Conflicts: 610000 | #Constraints: 18877
1447.75/1451.36 c #Conflicts: 611000 | #Constraints: 19877
1447.75/1451.36 c #Conflicts: 612000 | #Constraints: 20877
1447.75/1451.36 c #Conflicts: 613000 | #Constraints: 21877
1447.75/1451.36 c #Conflicts: 614000 | #Constraints: 22877
1447.75/1451.36 c #Conflicts: 615000 | #Constraints: 23877
1447.75/1451.36 c #Conflicts: 616000 | #Constraints: 24877
1447.75/1451.36 c #Conflicts: 617000 | #Constraints: 25877
1447.75/1451.36 c #Conflicts: 618000 | #Constraints: 26877
1447.75/1451.36 c #Conflicts: 619000 | #Constraints: 27877
1447.75/1451.36 c #Conflicts: 620000 | #Constraints: 28877
1447.75/1451.36 c #Conflicts: 621000 | #Constraints: 29877
1447.75/1451.36 c #Conflicts: 622000 | #Constraints: 30877
1447.75/1451.36 c #Conflicts: 623000 | #Constraints: 31877
1447.75/1451.36 c INPROCESSING
1447.75/1451.36 c GARBAGE COLLECT
1447.75/1451.36 c #Conflicts: 624000 | #Constraints: 17254
1447.75/1451.36 c #Conflicts: 625000 | #Constraints: 18254
1447.75/1451.36 c #Conflicts: 626000 | #Constraints: 19254
1447.75/1451.36 c #Conflicts: 627000 | #Constraints: 20254
1447.75/1451.36 c #Conflicts: 628000 | #Constraints: 21254
1447.75/1451.36 c #Conflicts: 629000 | #Constraints: 22254
1447.75/1451.36 c #Conflicts: 630000 | #Constraints: 23254
1447.75/1451.36 c #Conflicts: 631000 | #Constraints: 24254
1447.75/1451.36 c #Conflicts: 632000 | #Constraints: 25254
1447.75/1451.36 c #Conflicts: 633000 | #Constraints: 26254
1447.75/1451.36 c #Conflicts: 634000 | #Constraints: 27254
1447.75/1451.36 c #Conflicts: 635000 | #Constraints: 28254
1447.75/1451.36 c #Conflicts: 636000 | #Constraints: 29254
1447.75/1451.36 c #Conflicts: 637000 | #Constraints: 30254
1447.75/1451.36 c #Conflicts: 638000 | #Constraints: 31254
1447.75/1451.36 c #Conflicts: 639000 | #Constraints: 32254
1447.75/1451.36 c INPROCESSING
1447.75/1451.36 c GARBAGE COLLECT
1447.75/1451.36 c #Conflicts: 640000 | #Constraints: 17438
1447.75/1451.36 c #Conflicts: 641000 | #Constraints: 18438
1447.75/1451.36 c #Conflicts: 642000 | #Constraints: 19438
1447.75/1451.36 c #Conflicts: 643000 | #Constraints: 20438
1447.75/1451.36 c #Conflicts: 644000 | #Constraints: 21438
1447.75/1451.36 c #Conflicts: 645000 | #Constraints: 22438
1447.75/1451.36 c #Conflicts: 646000 | #Constraints: 23438
1447.75/1451.36 c #Conflicts: 647000 | #Constraints: 24438
1447.75/1451.36 c #Conflicts: 648000 | #Constraints: 25438
1447.75/1451.36 c #Conflicts: 649000 | #Constraints: 26438
1447.75/1451.36 c #Conflicts: 650000 | #Constraints: 27438
1447.75/1451.36 c #Conflicts: 651000 | #Constraints: 28438
1447.75/1451.36 c #Conflicts: 652000 | #Constraints: 29438
1447.75/1451.36 c #Conflicts: 653000 | #Constraints: 30438
1447.75/1451.36 c #Conflicts: 654000 | #Constraints: 31438
1447.75/1451.36 c #Conflicts: 655000 | #Constraints: 32438
1447.75/1451.36 c INPROCESSING
1447.75/1451.36 c GARBAGE COLLECT
1447.75/1451.36 c #Conflicts: 656000 | #Constraints: 17448
1447.75/1451.36 c #Conflicts: 657000 | #Constraints: 18448
1447.75/1451.36 c #Conflicts: 658000 | #Constraints: 19448
1447.75/1451.36 c #Conflicts: 659000 | #Constraints: 20448
1447.75/1451.36 c #Conflicts: 660000 | #Constraints: 21448
1447.75/1451.36 c #Conflicts: 661000 | #Constraints: 22448
1447.75/1451.36 c #Conflicts: 662000 | #Constraints: 23448
1447.75/1451.36 c #Conflicts: 663000 | #Constraints: 24448
1669.93/1674.14 c #Conflicts: 664000 | #Constraints: 25448
1669.93/1674.14 c #Conflicts: 665000 | #Constraints: 26448
1669.93/1674.14 c #Conflicts: 666000 | #Constraints: 27448
1669.93/1674.14 c #Conflicts: 667000 | #Constraints: 28448
1669.93/1674.14 c #Conflicts: 668000 | #Constraints: 29448
1669.93/1674.14 c #Conflicts: 669000 | #Constraints: 30448
1669.93/1674.14 c #Conflicts: 670000 | #Constraints: 31448
1669.93/1674.14 c #Conflicts: 671000 | #Constraints: 32448
1669.93/1674.14 c INPROCESSING
1669.93/1674.14 c GARBAGE COLLECT
1669.93/1674.14 c #Conflicts: 672000 | #Constraints: 17237
1669.93/1674.14 c #Conflicts: 673000 | #Constraints: 18237
1669.93/1674.14 c #Conflicts: 674000 | #Constraints: 19237
1669.93/1674.14 c #Conflicts: 675000 | #Constraints: 20237
1669.93/1674.14 c #Conflicts: 676000 | #Constraints: 21237
1669.93/1674.14 c #Conflicts: 677000 | #Constraints: 22237
1669.93/1674.14 c #Conflicts: 678000 | #Constraints: 23237
1669.93/1674.14 c #Conflicts: 679000 | #Constraints: 24237
1669.93/1674.14 c #Conflicts: 680000 | #Constraints: 25237
1669.93/1674.14 c #Conflicts: 681000 | #Constraints: 26237
1669.93/1674.14 c #Conflicts: 682000 | #Constraints: 27237
1669.93/1674.15 c #Conflicts: 683000 | #Constraints: 28237
1669.93/1674.15 c #Conflicts: 684000 | #Constraints: 29237
1669.93/1674.15 c #Conflicts: 685000 | #Constraints: 30237
1669.93/1674.15 c #Conflicts: 686000 | #Constraints: 31237
1669.93/1674.15 c #Conflicts: 687000 | #Constraints: 32237
1669.93/1674.15 c #Conflicts: 688000 | #Constraints: 33237
1669.93/1674.15 c INPROCESSING
1669.93/1674.15 c GARBAGE COLLECT
1669.93/1674.15 c #Conflicts: 689000 | #Constraints: 17831
1669.93/1674.15 c #Conflicts: 690000 | #Constraints: 18831
1669.93/1674.15 c #Conflicts: 691000 | #Constraints: 19831
1669.93/1674.15 c #Conflicts: 692000 | #Constraints: 20831
1669.93/1674.15 c #Conflicts: 693000 | #Constraints: 21831
1669.93/1674.15 c #Conflicts: 694000 | #Constraints: 22831
1669.93/1674.15 c #Conflicts: 695000 | #Constraints: 23831
1669.93/1674.15 c #Conflicts: 696000 | #Constraints: 24831
1669.93/1674.15 c #Conflicts: 697000 | #Constraints: 25831
1669.93/1674.15 c #Conflicts: 698000 | #Constraints: 26831
1669.93/1674.15 c #Conflicts: 699000 | #Constraints: 27831
1669.93/1674.15 c #Conflicts: 700000 | #Constraints: 28831
1669.93/1674.15 c #Conflicts: 701000 | #Constraints: 29831
1669.93/1674.15 c #Conflicts: 702000 | #Constraints: 30831
1669.93/1674.15 c #Conflicts: 703000 | #Constraints: 31831
1669.93/1674.15 c #Conflicts: 704000 | #Constraints: 32831
1669.93/1674.15 c #Conflicts: 705000 | #Constraints: 33831
1669.93/1674.15 c INPROCESSING
1669.93/1674.15 c GARBAGE COLLECT
1669.93/1674.15 c #Conflicts: 706000 | #Constraints: 18240
1669.93/1674.15 c #Conflicts: 707000 | #Constraints: 19240
1669.93/1674.15 c #Conflicts: 708000 | #Constraints: 20240
1669.93/1674.15 c #Conflicts: 709000 | #Constraints: 21240
1669.93/1674.15 c #Conflicts: 710000 | #Constraints: 22240
1669.93/1674.15 c #Conflicts: 711000 | #Constraints: 23240
1669.93/1674.15 c #Conflicts: 712000 | #Constraints: 24240
1669.93/1674.15 c #Conflicts: 713000 | #Constraints: 25240
1669.93/1674.15 c #Conflicts: 714000 | #Constraints: 26240
1669.93/1674.15 c #Conflicts: 715000 | #Constraints: 27240
1669.93/1674.15 c #Conflicts: 716000 | #Constraints: 28240
1669.93/1674.15 c #Conflicts: 717000 | #Constraints: 29240
1669.93/1674.15 c #Conflicts: 718000 | #Constraints: 30240
1669.93/1674.15 c #Conflicts: 719000 | #Constraints: 31240
1669.93/1674.15 c #Conflicts: 720000 | #Constraints: 32240
1669.93/1674.15 c #Conflicts: 721000 | #Constraints: 33240
1669.93/1674.15 c #Conflicts: 722000 | #Constraints: 34240
1669.93/1674.15 c INPROCESSING
1669.93/1674.15 c GARBAGE COLLECT
1669.93/1674.15 c #Conflicts: 723000 | #Constraints: 18454
1669.93/1674.15 c #Conflicts: 724000 | #Constraints: 19454
1669.93/1674.15 c #Conflicts: 725000 | #Constraints: 20454
1669.93/1674.15 c #Conflicts: 726000 | #Constraints: 21454
1669.93/1674.15 c #Conflicts: 727000 | #Constraints: 22454
1669.93/1674.15 c #Conflicts: 728000 | #Constraints: 23454
1669.93/1674.15 c #Conflicts: 729000 | #Constraints: 24454
1669.93/1674.15 c #Conflicts: 730000 | #Constraints: 25454
1669.93/1674.15 c #Conflicts: 731000 | #Constraints: 26454
1669.93/1674.15 c #Conflicts: 732000 | #Constraints: 27454
1669.93/1674.15 c #Conflicts: 733000 | #Constraints: 28454
1669.93/1674.15 c #Conflicts: 734000 | #Constraints: 29454
1669.93/1674.15 c #Conflicts: 735000 | #Constraints: 30454
1669.93/1674.15 c #Conflicts: 736000 | #Constraints: 31454
1669.93/1674.15 c #Conflicts: 737000 | #Constraints: 32454
1669.93/1674.15 c #Conflicts: 738000 | #Constraints: 33454
1669.93/1674.15 c #Conflicts: 739000 | #Constraints: 34454
1825.71/1830.36 c INPROCESSING
1825.71/1830.36 c GARBAGE COLLECT
1825.71/1830.36 c #Conflicts: 740000 | #Constraints: 18465
1825.71/1830.36 c #Conflicts: 741000 | #Constraints: 19465
1825.71/1830.36 c #Conflicts: 742000 | #Constraints: 20465
1825.71/1830.36 c #Conflicts: 743000 | #Constraints: 21465
1825.71/1830.36 c #Conflicts: 744000 | #Constraints: 22465
1825.71/1830.36 c #Conflicts: 745000 | #Constraints: 23465
1825.71/1830.36 c #Conflicts: 746000 | #Constraints: 24465
1825.71/1830.36 c #Conflicts: 747000 | #Constraints: 25465
1825.71/1830.36 c #Conflicts: 748000 | #Constraints: 26465
1825.71/1830.36 c #Conflicts: 749000 | #Constraints: 27465
1825.71/1830.36 c #Conflicts: 750000 | #Constraints: 28465
1825.71/1830.36 c #Conflicts: 751000 | #Constraints: 29465
1825.71/1830.36 c #Conflicts: 752000 | #Constraints: 30465
1825.71/1830.36 c #Conflicts: 753000 | #Constraints: 31465
1825.71/1830.36 c #Conflicts: 754000 | #Constraints: 32465
1825.71/1830.36 c #Conflicts: 755000 | #Constraints: 33465
1825.71/1830.36 c #Conflicts: 756000 | #Constraints: 34465
1825.71/1830.36 c INPROCESSING
1825.71/1830.36 c GARBAGE COLLECT
1825.71/1830.36 c #Conflicts: 757000 | #Constraints: 18264
1825.71/1830.36 c #Conflicts: 758000 | #Constraints: 19264
1825.71/1830.36 c #Conflicts: 759000 | #Constraints: 20264
1825.71/1830.36 c #Conflicts: 760000 | #Constraints: 21264
1825.71/1830.36 c #Conflicts: 761000 | #Constraints: 22264
1825.71/1830.36 c #Conflicts: 762000 | #Constraints: 23264
1825.71/1830.36 c #Conflicts: 763000 | #Constraints: 24264
1825.71/1830.36 c #Conflicts: 764000 | #Constraints: 25264
1825.71/1830.36 c #Conflicts: 765000 | #Constraints: 26264
1825.71/1830.36 c #Conflicts: 766000 | #Constraints: 27264
1825.71/1830.36 c #Conflicts: 767000 | #Constraints: 28264
1825.71/1830.36 c #Conflicts: 768000 | #Constraints: 29264
1825.71/1830.36 c #Conflicts: 769000 | #Constraints: 30264
1825.71/1830.36 c #Conflicts: 770000 | #Constraints: 31264
1825.71/1830.36 c #Conflicts: 771000 | #Constraints: 32264
1825.71/1830.36 c #Conflicts: 772000 | #Constraints: 33264
1825.71/1830.36 c #Conflicts: 773000 | #Constraints: 34264
1825.71/1830.36 c #Conflicts: 774000 | #Constraints: 35264
1825.71/1830.36 c INPROCESSING
1825.71/1830.36 c GARBAGE COLLECT
1825.71/1830.36 c #Conflicts: 775000 | #Constraints: 18846
1825.71/1830.36 c #Conflicts: 776000 | #Constraints: 19846
1825.71/1830.36 c #Conflicts: 777000 | #Constraints: 20846
1825.71/1830.36 c #Conflicts: 778000 | #Constraints: 21846
1825.71/1830.36 c #Conflicts: 779000 | #Constraints: 22846
1825.71/1830.36 c #Conflicts: 780000 | #Constraints: 23846
1825.71/1830.36 c #Conflicts: 781000 | #Constraints: 24846
1825.71/1830.36 c #Conflicts: 782000 | #Constraints: 25846
1825.71/1830.36 c #Conflicts: 783000 | #Constraints: 26846
1825.71/1830.36 c #Conflicts: 784000 | #Constraints: 27846
1825.71/1830.36 c #Conflicts: 785000 | #Constraints: 28846
1825.71/1830.36 c #Conflicts: 786000 | #Constraints: 29846
1825.71/1830.36 c #Conflicts: 787000 | #Constraints: 30846
1825.71/1830.36 c #Conflicts: 788000 | #Constraints: 31846
1825.71/1830.36 c #Conflicts: 789000 | #Constraints: 32846
1825.71/1830.36 c #Conflicts: 790000 | #Constraints: 33846
1825.71/1830.36 c #Conflicts: 791000 | #Constraints: 34846
1825.71/1830.36 c #Conflicts: 792000 | #Constraints: 35846
1825.71/1830.36 c INPROCESSING
1825.71/1830.36 c GARBAGE COLLECT
1825.71/1830.36 c #Conflicts: 793000 | #Constraints: 19239
1825.71/1830.36 c #Conflicts: 794000 | #Constraints: 20239
1825.71/1830.36 c #Conflicts: 795000 | #Constraints: 21239
1825.71/1830.36 c #Conflicts: 796000 | #Constraints: 22239
1825.71/1830.36 c #Conflicts: 797000 | #Constraints: 23239
1825.71/1830.36 c #Conflicts: 798000 | #Constraints: 24239
1825.71/1830.36 c #Conflicts: 799000 | #Constraints: 25239
1825.71/1830.36 c #Conflicts: 800000 | #Constraints: 26239
1825.71/1830.36 c #Conflicts: 801000 | #Constraints: 27239
1825.71/1830.36 c #Conflicts: 802000 | #Constraints: 28239
1825.71/1830.36 c #Conflicts: 803000 | #Constraints: 29239
1825.71/1830.36 c #Conflicts: 804000 | #Constraints: 30239
1825.71/1830.36 c #Conflicts: 805000 | #Constraints: 31239
1825.71/1830.36 c #Conflicts: 806000 | #Constraints: 32239
1825.71/1830.36 c #Conflicts: 807000 | #Constraints: 33239
1825.71/1830.36 c #Conflicts: 808000 | #Constraints: 34239
1825.71/1830.36 c #Conflicts: 809000 | #Constraints: 35239
1825.71/1830.36 c #Conflicts: 810000 | #Constraints: 36239
1825.71/1830.36 c INPROCESSING
1825.71/1830.36 c GARBAGE COLLECT
1825.71/1830.36 c #Conflicts: 811000 | #Constraints: 19438
1825.71/1830.36 c #Conflicts: 812000 | #Constraints: 20438
1825.71/1830.36 c #Conflicts: 813000 | #Constraints: 21438
1825.71/1830.36 c #Conflicts: 814000 | #Constraints: 22438
1825.71/1830.36 c #Conflicts: 815000 | #Constraints: 23438
2004.31/2009.46 c #Conflicts: 816000 | #Constraints: 24438
2004.31/2009.46 c #Conflicts: 817000 | #Constraints: 25438
2004.31/2009.46 c #Conflicts: 818000 | #Constraints: 26438
2004.31/2009.46 c #Conflicts: 819000 | #Constraints: 27438
2004.31/2009.46 c #Conflicts: 820000 | #Constraints: 28438
2004.31/2009.46 c #Conflicts: 821000 | #Constraints: 29438
2004.31/2009.46 c #Conflicts: 822000 | #Constraints: 30438
2004.31/2009.46 c #Conflicts: 823000 | #Constraints: 31438
2004.31/2009.46 c #Conflicts: 824000 | #Constraints: 32438
2004.31/2009.46 c #Conflicts: 825000 | #Constraints: 33438
2004.31/2009.46 c #Conflicts: 826000 | #Constraints: 34438
2004.31/2009.46 c #Conflicts: 827000 | #Constraints: 35438
2004.31/2009.46 c #Conflicts: 828000 | #Constraints: 36438
2004.31/2009.46 c INPROCESSING
2004.31/2009.46 c GARBAGE COLLECT
2004.31/2009.46 c #Conflicts: 829000 | #Constraints: 19443
2004.31/2009.46 c #Conflicts: 830000 | #Constraints: 20443
2004.31/2009.46 c #Conflicts: 831000 | #Constraints: 21443
2004.31/2009.46 c #Conflicts: 832000 | #Constraints: 22443
2004.31/2009.46 c #Conflicts: 833000 | #Constraints: 23443
2004.31/2009.46 c #Conflicts: 834000 | #Constraints: 24443
2004.31/2009.46 c #Conflicts: 835000 | #Constraints: 25443
2004.31/2009.46 c #Conflicts: 836000 | #Constraints: 26443
2004.31/2009.46 c #Conflicts: 837000 | #Constraints: 27443
2004.31/2009.46 c #Conflicts: 838000 | #Constraints: 28443
2004.31/2009.46 c #Conflicts: 839000 | #Constraints: 29443
2004.31/2009.46 c #Conflicts: 840000 | #Constraints: 30443
2004.31/2009.46 c #Conflicts: 841000 | #Constraints: 31443
2004.31/2009.46 c #Conflicts: 842000 | #Constraints: 32443
2004.31/2009.46 c #Conflicts: 843000 | #Constraints: 33443
2004.31/2009.46 c #Conflicts: 844000 | #Constraints: 34443
2004.31/2009.46 c #Conflicts: 845000 | #Constraints: 35443
2004.31/2009.46 c #Conflicts: 846000 | #Constraints: 36443
2004.31/2009.46 c INPROCESSING
2004.31/2009.46 c GARBAGE COLLECT
2004.31/2009.46 c #Conflicts: 847000 | #Constraints: 19230
2004.31/2009.46 c #Conflicts: 848000 | #Constraints: 20230
2004.31/2009.46 c #Conflicts: 849000 | #Constraints: 21230
2004.31/2009.46 c #Conflicts: 850000 | #Constraints: 22230
2004.31/2009.46 c #Conflicts: 851000 | #Constraints: 23230
2004.31/2009.46 c #Conflicts: 852000 | #Constraints: 24230
2004.31/2009.46 c #Conflicts: 853000 | #Constraints: 25230
2004.31/2009.46 c #Conflicts: 854000 | #Constraints: 26230
2004.31/2009.46 c #Conflicts: 855000 | #Constraints: 27230
2004.31/2009.46 c #Conflicts: 856000 | #Constraints: 28230
2004.31/2009.46 c #Conflicts: 857000 | #Constraints: 29230
2004.31/2009.46 c #Conflicts: 858000 | #Constraints: 30230
2004.31/2009.46 c #Conflicts: 859000 | #Constraints: 31230
2004.31/2009.46 c #Conflicts: 860000 | #Constraints: 32230
2004.31/2009.46 c #Conflicts: 861000 | #Constraints: 33230
2004.31/2009.46 c #Conflicts: 862000 | #Constraints: 34230
2004.31/2009.46 c #Conflicts: 863000 | #Constraints: 35230
2004.31/2009.46 c #Conflicts: 864000 | #Constraints: 36230
2004.31/2009.46 c #Conflicts: 865000 | #Constraints: 37230
2004.31/2009.46 c INPROCESSING
2004.31/2009.46 c GARBAGE COLLECT
2004.31/2009.46 c #Conflicts: 866000 | #Constraints: 19836
2004.31/2009.46 c #Conflicts: 867000 | #Constraints: 20836
2004.31/2009.46 c #Conflicts: 868000 | #Constraints: 21836
2004.31/2009.46 c #Conflicts: 869000 | #Constraints: 22836
2004.31/2009.46 c #Conflicts: 870000 | #Constraints: 23836
2004.31/2009.46 c #Conflicts: 871000 | #Constraints: 24836
2004.31/2009.46 c #Conflicts: 872000 | #Constraints: 25836
2004.31/2009.46 c #Conflicts: 873000 | #Constraints: 26836
2004.31/2009.46 c #Conflicts: 874000 | #Constraints: 27836
2004.31/2009.46 c #Conflicts: 875000 | #Constraints: 28836
2004.31/2009.46 c #Conflicts: 876000 | #Constraints: 29836
2004.31/2009.46 c #Conflicts: 877000 | #Constraints: 30836
2004.31/2009.46 c #Conflicts: 878000 | #Constraints: 31836
2004.31/2009.46 c #Conflicts: 879000 | #Constraints: 32836
2004.31/2009.46 c #Conflicts: 880000 | #Constraints: 33836
2004.31/2009.46 c #Conflicts: 881000 | #Constraints: 34836
2004.31/2009.46 c #Conflicts: 882000 | #Constraints: 35836
2004.31/2009.46 c #Conflicts: 883000 | #Constraints: 36836
2004.31/2009.46 c #Conflicts: 884000 | #Constraints: 37836
2004.31/2009.46 c INPROCESSING
2004.31/2009.46 c GARBAGE COLLECT
2004.31/2009.46 c #Conflicts: 885000 | #Constraints: 20251
2004.31/2009.46 c #Conflicts: 886000 | #Constraints: 21251
2004.31/2009.46 c #Conflicts: 887000 | #Constraints: 22251
2004.31/2009.46 c #Conflicts: 888000 | #Constraints: 23251
2004.31/2009.46 c #Conflicts: 889000 | #Constraints: 24251
2004.31/2009.46 c #Conflicts: 890000 | #Constraints: 25251
2004.31/2009.46 c #Conflicts: 891000 | #Constraints: 26251
2311.84/2317.81 c #Conflicts: 892000 | #Constraints: 27251
2311.84/2317.81 c #Conflicts: 893000 | #Constraints: 28251
2311.84/2317.81 c #Conflicts: 894000 | #Constraints: 29251
2311.84/2317.81 c #Conflicts: 895000 | #Constraints: 30251
2311.84/2317.81 c #Conflicts: 896000 | #Constraints: 31251
2311.84/2317.81 c #Conflicts: 897000 | #Constraints: 32251
2311.84/2317.81 c #Conflicts: 898000 | #Constraints: 33251
2311.84/2317.81 c #Conflicts: 899000 | #Constraints: 34251
2311.84/2317.81 c #Conflicts: 900000 | #Constraints: 35251
2311.84/2317.81 c #Conflicts: 901000 | #Constraints: 36251
2311.84/2317.81 c #Conflicts: 902000 | #Constraints: 37251
2311.84/2317.81 c #Conflicts: 903000 | #Constraints: 38251
2311.84/2317.81 c INPROCESSING
2311.84/2317.81 c GARBAGE COLLECT
2311.84/2317.81 c #Conflicts: 904000 | #Constraints: 20450
2311.84/2317.81 c #Conflicts: 905000 | #Constraints: 21450
2311.84/2317.81 c #Conflicts: 906000 | #Constraints: 22450
2311.84/2317.81 c #Conflicts: 907000 | #Constraints: 23450
2311.84/2317.81 c #Conflicts: 908000 | #Constraints: 24450
2311.84/2317.81 c #Conflicts: 909000 | #Constraints: 25450
2311.84/2317.81 c #Conflicts: 910000 | #Constraints: 26450
2311.84/2317.81 c #Conflicts: 911000 | #Constraints: 27450
2311.84/2317.81 c #Conflicts: 912000 | #Constraints: 28450
2311.84/2317.81 c #Conflicts: 913000 | #Constraints: 29450
2311.84/2317.81 c #Conflicts: 914000 | #Constraints: 30450
2311.84/2317.81 c #Conflicts: 915000 | #Constraints: 31450
2311.84/2317.81 c #Conflicts: 916000 | #Constraints: 32450
2311.84/2317.81 c #Conflicts: 917000 | #Constraints: 33450
2311.84/2317.81 c #Conflicts: 918000 | #Constraints: 34450
2311.84/2317.81 c #Conflicts: 919000 | #Constraints: 35450
2311.84/2317.81 c #Conflicts: 920000 | #Constraints: 36450
2311.84/2317.81 c #Conflicts: 921000 | #Constraints: 37450
2311.84/2317.81 c #Conflicts: 922000 | #Constraints: 38450
2311.84/2317.81 c INPROCESSING
2311.84/2317.81 c GARBAGE COLLECT
2311.84/2317.81 c #Conflicts: 923000 | #Constraints: 20451
2311.84/2317.81 c #Conflicts: 924000 | #Constraints: 21451
2311.84/2317.81 c #Conflicts: 925000 | #Constraints: 22451
2311.84/2317.81 c #Conflicts: 926000 | #Constraints: 23451
2311.84/2317.81 c #Conflicts: 927000 | #Constraints: 24451
2311.84/2317.81 c #Conflicts: 928000 | #Constraints: 25451
2311.84/2317.81 c #Conflicts: 929000 | #Constraints: 26451
2311.84/2317.81 c #Conflicts: 930000 | #Constraints: 27451
2311.84/2317.81 c #Conflicts: 931000 | #Constraints: 28451
2311.84/2317.81 c #Conflicts: 932000 | #Constraints: 29451
2311.84/2317.81 c #Conflicts: 933000 | #Constraints: 30451
2311.84/2317.81 c #Conflicts: 934000 | #Constraints: 31451
2311.84/2317.81 c #Conflicts: 935000 | #Constraints: 32451
2311.84/2317.81 c #Conflicts: 936000 | #Constraints: 33451
2311.84/2317.81 c #Conflicts: 937000 | #Constraints: 34451
2311.84/2317.81 c #Conflicts: 938000 | #Constraints: 35451
2311.84/2317.81 c #Conflicts: 939000 | #Constraints: 36451
2311.84/2317.81 c #Conflicts: 940000 | #Constraints: 37451
2311.84/2317.81 c #Conflicts: 941000 | #Constraints: 38451
2311.84/2317.81 c INPROCESSING
2311.84/2317.81 c GARBAGE COLLECT
2311.84/2317.81 c #Conflicts: 942000 | #Constraints: 20261
2311.84/2317.81 c #Conflicts: 943000 | #Constraints: 21261
2311.84/2317.81 c #Conflicts: 944000 | #Constraints: 22261
2311.84/2317.81 c #Conflicts: 945000 | #Constraints: 23261
2311.84/2317.81 c #Conflicts: 946000 | #Constraints: 24261
2311.84/2317.81 c #Conflicts: 947000 | #Constraints: 25261
2311.84/2317.81 c #Conflicts: 948000 | #Constraints: 26261
2311.84/2317.81 c #Conflicts: 949000 | #Constraints: 27261
2311.84/2317.81 c #Conflicts: 950000 | #Constraints: 28261
2311.84/2317.81 c #Conflicts: 951000 | #Constraints: 29261
2311.84/2317.81 c #Conflicts: 952000 | #Constraints: 30261
2311.84/2317.81 c #Conflicts: 953000 | #Constraints: 31261
2311.84/2317.81 c #Conflicts: 954000 | #Constraints: 32261
2311.84/2317.81 c #Conflicts: 955000 | #Constraints: 33261
2311.84/2317.81 c #Conflicts: 956000 | #Constraints: 34261
2311.84/2317.81 c #Conflicts: 957000 | #Constraints: 35261
2311.84/2317.81 c #Conflicts: 958000 | #Constraints: 36261
2311.84/2317.81 c #Conflicts: 959000 | #Constraints: 37261
2311.84/2317.81 c #Conflicts: 960000 | #Constraints: 38261
2311.84/2317.81 c #Conflicts: 961000 | #Constraints: 39261
2311.84/2317.81 c INPROCESSING
2311.84/2317.81 c GARBAGE COLLECT
2311.84/2317.81 c #Conflicts: 962000 | #Constraints: 20895
2311.84/2317.81 c #Conflicts: 963000 | #Constraints: 21895
2311.84/2317.81 c #Conflicts: 964000 | #Constraints: 22895
2311.84/2317.81 c #Conflicts: 965000 | #Constraints: 23895
2311.84/2317.81 c #Conflicts: 966000 | #Constraints: 24895
2311.84/2317.81 c #Conflicts: 967000 | #Constraints: 25895
3057.27/3065.39 c #Conflicts: 968000 | #Constraints: 26895
3057.27/3065.39 c #Conflicts: 969000 | #Constraints: 27895
3057.27/3065.39 c #Conflicts: 970000 | #Constraints: 28895
3057.27/3065.39 c #Conflicts: 971000 | #Constraints: 29895
3057.27/3065.39 c #Conflicts: 972000 | #Constraints: 30895
3057.27/3065.39 c #Conflicts: 973000 | #Constraints: 31895
3057.27/3065.39 c #Conflicts: 974000 | #Constraints: 32895
3057.27/3065.39 c #Conflicts: 975000 | #Constraints: 33895
3057.27/3065.39 c #Conflicts: 976000 | #Constraints: 34895
3057.27/3065.39 c #Conflicts: 977000 | #Constraints: 35895
3057.27/3065.39 c #Conflicts: 978000 | #Constraints: 36895
3057.27/3065.39 c #Conflicts: 979000 | #Constraints: 37895
3057.27/3065.39 c #Conflicts: 980000 | #Constraints: 38895
3057.27/3065.39 c #Conflicts: 981000 | #Constraints: 39895
3057.27/3065.39 c INPROCESSING
3057.27/3065.39 c GARBAGE COLLECT
3057.27/3065.39 c #Conflicts: 982000 | #Constraints: 21308
3057.27/3065.39 c #Conflicts: 983000 | #Constraints: 22308
3057.27/3065.39 c #Conflicts: 984000 | #Constraints: 23308
3057.27/3065.39 c #Conflicts: 985000 | #Constraints: 24308
3057.27/3065.39 c #Conflicts: 986000 | #Constraints: 25308
3057.27/3065.39 c #Conflicts: 987000 | #Constraints: 26308
3057.27/3065.39 c #Conflicts: 988000 | #Constraints: 27308
3057.27/3065.39 c #Conflicts: 989000 | #Constraints: 28308
3057.27/3065.39 c #Conflicts: 990000 | #Constraints: 29308
3057.27/3065.39 c #Conflicts: 991000 | #Constraints: 30308
3057.27/3065.39 c #Conflicts: 992000 | #Constraints: 31308
3057.27/3065.39 c #Conflicts: 993000 | #Constraints: 32308
3057.27/3065.39 c #Conflicts: 994000 | #Constraints: 33308
3057.27/3065.39 c #Conflicts: 995000 | #Constraints: 34308
3057.27/3065.39 c #Conflicts: 996000 | #Constraints: 35308
3057.27/3065.39 c #Conflicts: 997000 | #Constraints: 36308
3057.27/3065.39 c #Conflicts: 998000 | #Constraints: 37308
3057.27/3065.39 c #Conflicts: 999000 | #Constraints: 38308
3057.27/3065.39 c #Conflicts: 1000000 | #Constraints: 39308
3057.27/3065.39 c #Conflicts: 1001000 | #Constraints: 40308
3057.27/3065.39 c INPROCESSING
3057.27/3065.39 c GARBAGE COLLECT
3057.27/3065.39 c #Conflicts: 1002000 | #Constraints: 21532
3057.27/3065.39 c #Conflicts: 1003000 | #Constraints: 22532
3057.27/3065.39 c #Conflicts: 1004000 | #Constraints: 23532
3057.27/3065.39 c #Conflicts: 1005000 | #Constraints: 24532
3057.27/3065.39 c #Conflicts: 1006000 | #Constraints: 25532
3057.27/3065.39 c #Conflicts: 1007000 | #Constraints: 26532
3057.27/3065.39 c #Conflicts: 1008000 | #Constraints: 27532
3057.27/3065.39 c #Conflicts: 1009000 | #Constraints: 28532
3057.27/3065.39 c #Conflicts: 1010000 | #Constraints: 29532
3057.27/3065.39 c #Conflicts: 1011000 | #Constraints: 30532
3057.27/3065.39 c #Conflicts: 1012000 | #Constraints: 31532
3057.27/3065.39 c #Conflicts: 1013000 | #Constraints: 32532
3057.27/3065.39 c #Conflicts: 1014000 | #Constraints: 33532
3057.27/3065.39 c #Conflicts: 1015000 | #Constraints: 34532
3057.27/3065.39 c #Conflicts: 1016000 | #Constraints: 35532
3057.27/3065.39 c #Conflicts: 1017000 | #Constraints: 36532
3057.27/3065.39 c #Conflicts: 1018000 | #Constraints: 37532
3057.27/3065.39 c #Conflicts: 1019000 | #Constraints: 38532
3057.27/3065.39 c #Conflicts: 1020000 | #Constraints: 39532
3057.27/3065.39 c #Conflicts: 1021000 | #Constraints: 40532
3057.27/3065.39 c INPROCESSING
3057.27/3065.39 c GARBAGE COLLECT
3057.27/3065.39 c #Conflicts: 1022000 | #Constraints: 21614
3057.27/3065.39 c #Conflicts: 1023000 | #Constraints: 22614
3057.27/3065.39 c #Conflicts: 1024000 | #Constraints: 23614
3057.27/3065.39 c #Conflicts: 1025000 | #Constraints: 24614
3057.27/3065.39 c #Conflicts: 1026000 | #Constraints: 25614
3057.27/3065.39 c #Conflicts: 1027000 | #Constraints: 26614
3057.27/3065.39 c #Conflicts: 1028000 | #Constraints: 27614
3057.27/3065.39 c #Conflicts: 1029000 | #Constraints: 28614
3057.27/3065.39 c #Conflicts: 1030000 | #Constraints: 29614
3057.27/3065.39 c #Conflicts: 1031000 | #Constraints: 30614
3057.27/3065.39 c #Conflicts: 1032000 | #Constraints: 31614
3057.27/3065.39 c #Conflicts: 1033000 | #Constraints: 32614
3057.27/3065.39 c #Conflicts: 1034000 | #Constraints: 33614
3057.27/3065.39 c #Conflicts: 1035000 | #Constraints: 34614
3057.27/3065.39 c #Conflicts: 1036000 | #Constraints: 35614
3057.27/3065.39 c #Conflicts: 1037000 | #Constraints: 36614
3057.27/3065.39 c #Conflicts: 1038000 | #Constraints: 37614
3057.27/3065.39 c #Conflicts: 1039000 | #Constraints: 38614
3057.27/3065.39 c #Conflicts: 1040000 | #Constraints: 39614
3057.27/3065.39 c #Conflicts: 1041000 | #Constraints: 40614
3057.27/3065.39 c INPROCESSING
3057.27/3065.39 c GARBAGE COLLECT
3057.27/3065.39 c #Conflicts: 1042000 | #Constraints: 21353
3057.27/3065.39 c #Conflicts: 1043000 | #Constraints: 22353
3057.27/3065.39 c #Conflicts: 1044000 | #Constraints: 23353
3561.56/3571.05 c #Conflicts: 1045000 | #Constraints: 24353
3561.56/3571.05 c #Conflicts: 1046000 | #Constraints: 25353
3561.56/3571.05 c #Conflicts: 1047000 | #Constraints: 26353
3561.56/3571.05 c #Conflicts: 1048000 | #Constraints: 27353
3561.56/3571.05 c #Conflicts: 1049000 | #Constraints: 28353
3561.56/3571.05 c #Conflicts: 1050000 | #Constraints: 29353
3561.56/3571.05 c #Conflicts: 1051000 | #Constraints: 30353
3561.56/3571.05 c #Conflicts: 1052000 | #Constraints: 31353
3561.56/3571.05 c #Conflicts: 1053000 | #Constraints: 32353
3561.56/3571.05 c #Conflicts: 1054000 | #Constraints: 33353
3561.56/3571.05 c #Conflicts: 1055000 | #Constraints: 34353
3561.56/3571.05 c #Conflicts: 1056000 | #Constraints: 35353
3561.56/3571.05 c #Conflicts: 1057000 | #Constraints: 36353
3561.56/3571.05 c #Conflicts: 1058000 | #Constraints: 37353
3561.56/3571.05 c #Conflicts: 1059000 | #Constraints: 38353
3561.56/3571.05 c #Conflicts: 1060000 | #Constraints: 39353
3561.56/3571.05 c #Conflicts: 1061000 | #Constraints: 40353
3561.56/3571.05 c #Conflicts: 1062000 | #Constraints: 41353
3561.56/3571.05 c INPROCESSING
3561.56/3571.05 c GARBAGE COLLECT
3561.56/3571.05 c #Conflicts: 1063000 | #Constraints: 21931
3561.56/3571.05 c #Conflicts: 1064000 | #Constraints: 22931
3561.56/3571.05 c #Conflicts: 1065000 | #Constraints: 23931
3561.56/3571.05 c #Conflicts: 1066000 | #Constraints: 24931
3561.56/3571.05 c #Conflicts: 1067000 | #Constraints: 25931
3561.56/3571.05 c #Conflicts: 1068000 | #Constraints: 26931
3561.56/3571.05 c #Conflicts: 1069000 | #Constraints: 27931
3561.56/3571.05 c #Conflicts: 1070000 | #Constraints: 28931
3561.56/3571.05 c #Conflicts: 1071000 | #Constraints: 29931
3561.56/3571.05 c #Conflicts: 1072000 | #Constraints: 30931
3561.56/3571.05 c #Conflicts: 1073000 | #Constraints: 31931
3561.56/3571.05 c #Conflicts: 1074000 | #Constraints: 32931
3561.56/3571.05 c #Conflicts: 1075000 | #Constraints: 33931
3561.56/3571.05 c #Conflicts: 1076000 | #Constraints: 34931
3561.56/3571.05 c #Conflicts: 1077000 | #Constraints: 35931
3561.56/3571.05 c #Conflicts: 1078000 | #Constraints: 36931
3561.56/3571.05 c #Conflicts: 1079000 | #Constraints: 37931
3561.56/3571.05 c #Conflicts: 1080000 | #Constraints: 38931
3561.56/3571.05 c #Conflicts: 1081000 | #Constraints: 39931
3561.56/3571.05 c #Conflicts: 1082000 | #Constraints: 40931
3561.56/3571.05 c #Conflicts: 1083000 | #Constraints: 41931
3561.56/3571.05 c INPROCESSING
3561.56/3571.05 c GARBAGE COLLECT
3561.56/3571.05 c #Conflicts: 1084000 | #Constraints: 22305
3561.56/3571.05 c #Conflicts: 1085000 | #Constraints: 23305
3561.56/3571.05 c #Conflicts: 1086000 | #Constraints: 24305
3561.56/3571.05 c #Conflicts: 1087000 | #Constraints: 25305
3561.56/3571.05 c #Conflicts: 1088000 | #Constraints: 26305
3561.56/3571.05 c #Conflicts: 1089000 | #Constraints: 27305
3561.56/3571.05 c #Conflicts: 1090000 | #Constraints: 28305
3561.56/3571.05 c #Conflicts: 1091000 | #Constraints: 29305
3561.56/3571.05 c #Conflicts: 1092000 | #Constraints: 30305
3561.56/3571.05 c #Conflicts: 1093000 | #Constraints: 31305
3561.56/3571.05 c #Conflicts: 1094000 | #Constraints: 32305
3561.56/3571.05 c #Conflicts: 1095000 | #Constraints: 33305
3561.56/3571.05 c #Conflicts: 1096000 | #Constraints: 34305
3561.56/3571.05 c #Conflicts: 1097000 | #Constraints: 35305
3561.56/3571.05 c #Conflicts: 1098000 | #Constraints: 36305
3561.56/3571.05 c #Conflicts: 1099000 | #Constraints: 37305
3561.56/3571.05 c #Conflicts: 1100000 | #Constraints: 38305
3561.56/3571.05 c #Conflicts: 1101000 | #Constraints: 39305
3561.56/3571.05 c #Conflicts: 1102000 | #Constraints: 40305
3561.56/3571.05 c #Conflicts: 1103000 | #Constraints: 41305
3561.56/3571.05 c #Conflicts: 1104000 | #Constraints: 42305
3561.56/3571.05 c INPROCESSING
3561.56/3571.05 c GARBAGE COLLECT
3561.56/3571.05 c #Conflicts: 1105000 | #Constraints: 22517
3561.56/3571.05 c #Conflicts: 1106000 | #Constraints: 23517
3561.56/3571.05 c #Conflicts: 1107000 | #Constraints: 24517
3561.56/3571.05 c #Conflicts: 1108000 | #Constraints: 25517
3561.56/3571.05 c #Conflicts: 1109000 | #Constraints: 26517
3561.56/3571.05 c #Conflicts: 1110000 | #Constraints: 27517
3561.56/3571.05 c #Conflicts: 1111000 | #Constraints: 28517
3561.56/3571.05 c #Conflicts: 1112000 | #Constraints: 29517
3561.56/3571.05 c #Conflicts: 1113000 | #Constraints: 30517
3561.56/3571.05 c #Conflicts: 1114000 | #Constraints: 31517
3561.56/3571.05 c #Conflicts: 1115000 | #Constraints: 32517
3561.56/3571.05 c #Conflicts: 1116000 | #Constraints: 33517
3561.56/3571.05 c #Conflicts: 1117000 | #Constraints: 34517
3561.56/3571.05 c #Conflicts: 1118000 | #Constraints: 35517
3561.56/3571.05 c #Conflicts: 1119000 | #Constraints: 36517
3561.56/3571.05 c #Conflicts: 1120000 | #Constraints: 37517
3561.56/3571.05 c #Conflicts: 1121000 | #Constraints: 38517
3600.04/3609.60 c #Conflicts: 1122000 | #Constraints: 39517
3600.04/3609.60 c Program interrupted by user.
3600.04/3609.60 c cpu time 3588.43 s
3600.04/3609.60 c deterministic time 847909704215 8.48e+11
3600.04/3609.60 c optimization time 276.112 s
3600.04/3609.60 c total solve time 3312.3 s
3600.04/3609.60 c core-guided solve time 3312.3 s
3600.04/3609.60 c propagation time 3022.35 s
3600.04/3609.60 c conflict analysis time 509.893 s
3600.04/3609.60 c propagations 348326397
3600.04/3609.60 c resolve steps 12610695
3600.04/3609.60 c decisions 7707288
3600.04/3609.60 c conflicts 1122514
3600.04/3609.60 c restarts 2046
3600.04/3609.60 c inprocessing phases 96
3600.04/3609.60 c input clauses 5045
3600.04/3609.60 c input cardinalities 76
3600.04/3609.60 c input general constraints 448
3600.04/3609.60 c input average constraint length 9.60
3600.04/3609.60 c input average constraint degree 71.21
3600.04/3609.60 c learned clauses 116125
3600.04/3609.60 c learned cardinalities 12232
3600.04/3609.60 c learned general constraints 994156
3600.04/3609.60 c learned average constraint length 804.58
3600.04/3609.60 c learned average constraint degree 98389703.83
3600.04/3609.60 c watched constraints 799458
3600.04/3609.60 c counting constraints 195146
3600.04/3609.60 c gcd simplifications 73094
3600.04/3609.60 c detected cardinalities 341
3600.04/3609.60 c weakened non-implied lits 108346826
3600.04/3609.60 c weakened non-implying lits 154047
3600.04/3609.60 c original variables 4977
3600.04/3609.60 c clausal propagations 1418301
3600.04/3609.60 c cardinality propagations 7600605
3600.04/3609.60 c watched propagations 17325752
3600.04/3609.60 c counting propagations 320642911
3600.04/3609.60 c watch lookups 27450876796
3600.04/3609.60 c watch backjump lookups 23858008774
3600.04/3609.60 c watch checks 716977362057
3600.04/3609.60 c propagation checks 75567931239
3600.04/3609.60 c constraint additions 3342338949
3600.04/3609.60 c trail pops 357152714
3600.04/3609.60 c formula constraints 5569
3600.04/3609.60 c learned constraints 1122513
3600.04/3609.60 c bound constraints 0
3600.04/3609.60 c core-guided constraints 0
3600.04/3609.60 c encountered formula constraints 8251945
3600.04/3609.60 c encountered learned constraints 5481264
3600.04/3609.60 c encountered bound constraints 0
3600.04/3609.60 c encountered core-guided constraints 0
3600.04/3609.60 c LP total time 0 s
3600.04/3609.60 c LP solve time 0 s
3600.04/3609.60 c LP constraints added 0
3600.04/3609.60 c LP constraints removed 0
3600.04/3609.60 c LP pivots internal 0
3600.04/3609.60 c LP pivots root 0
3600.04/3609.60 c LP calls 0
3600.04/3609.60 c LP optimalities 0
3600.04/3609.60 c LP no pivot count 0
3600.04/3609.60 c LP infeasibilities 0
3600.04/3609.60 c LP valid Farkas constraints 0
3600.04/3609.60 c LP learned Farkas constraints 0
3600.04/3609.60 c LP basis resets 0
3600.04/3609.60 c LP cycling count 0
3600.04/3609.60 c LP singular count 0
3600.04/3609.60 c LP no primal count 0
3600.04/3609.60 c LP no farkas count 0
3600.04/3609.60 c LP other issue count 0
3600.04/3609.60 c LP Gomory cuts 0
3600.04/3609.60 c LP learned cuts 0
3600.04/3609.60 c LP deleted cuts 0
3600.04/3609.60 c LP encountered Gomory constraints 0
3600.04/3609.60 c LP encountered Farkas constraints 0
3600.04/3609.60 c LP encountered learned Farkas constraints 0
3600.04/3609.60 c CG auxiliary variables introduced 0
3600.04/3609.60 c CG solutions found 0
3600.04/3609.60 c CG cores constructed 0
3600.04/3609.60 c CG core cardinality constraints returned 0
3600.04/3609.60 c CG unit cores 0
3600.04/3609.60 c CG single cores 0
3600.04/3609.60 c CG blocks removed during cardinality reduction 0
3600.04/3609.60 c CG first core best 0
3600.04/3609.60 c CG decision core best 0
3600.04/3609.60 c CG core reduction tie 0
3600.04/3609.60 c CG core degree average 0.00
3600.04/3609.60 c CG core slack average 0.00
3600.04/3609.60 c CG exhausted 0
3600.04/3609.60 c CG exhaust time 0 s
3600.04/3609.60 c CG trimmed 0
3600.04/3609.60 c CG trim time 0 s
3600.04/3609.60 c CG minimized 0
3600.04/3609.60 c CG minimize time 0 s
3600.04/3609.60 c CG am1 prop time 0 s
3600.04/3609.60 c CG # am1s reformulated 0
3600.04/3609.60 c CG lower bound derived from am1s 0
3600.04/3609.60 c CG # clausal cores 0
3600.04/3609.60 c CG # cardinality cores 0
3600.04/3609.60 c CG # pb cores 0
3600.04/3609.60 c CG # pb reforms 0
3600.04/3609.60 c CG # cores discarded because of pb reform 0
3600.04/3609.60 d LOWERBOUND 0
3600.04/3609.60 d NCORES 0
3600.04/3609.60 d NPBCORES 0
3600.04/3609.60 d NPBREFORM 0
3600.04/3609.60 d NTRIMMED 0
3600.04/3609.60 d NEXHAUSTED 0
3600.04/3609.60 d NAM1S 0
3600.04/3609.60 d AM1LB 0
3600.04/3609.60 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: 63968 MiB (62158 MiB free)
memory of node 1: 64473 MiB (62011 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454447-1721473203/watcher-4454447-1721473203 -o /tmp/evaluation-result-4454447-1721473203/solver-4454447-1721473203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721473216-1106445 --watchdog 3760 pb-oll-rs HOME/instance-4454447-1721473203.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1106497, runsolver pid=1106489
Current StackSize limit: 8192 KiB
[startup+0.100806 s]*
/proc/loadavg: 1.03 1.34 1.81 6/263 1106508
/proc/meminfo: memFree=127129748/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=41364 memory=9636 CPUtime=0.1 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 1235 0 0 0 9 1 0 0 20 0 1 0 199488404 42356736 2409 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 10341 2409 1378 291 0 1875 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41364 KiB
Current children cumulated memory: 9636 KiB
[startup+0.215603 s]*
/proc/loadavg: 1.03 1.34 1.81 5/263 1106508
/proc/meminfo: memFree=127122100/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=42520 memory=13120 CPUtime=0.2 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 1553 0 0 0 19 1 0 0 20 0 1 0 199488404 43540480 3280 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 10630 3280 1378 291 0 2164 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 13120 KiB
[startup+0.304825 s]*
/proc/loadavg: 1.03 1.34 1.81 5/263 1106508
/proc/meminfo: memFree=127117964/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=43024 memory=13640 CPUtime=0.3 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 1740 0 0 0 28 2 0 0 20 0 1 0 199488404 44056576 3410 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 10756 3410 1378 291 0 2290 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43024 KiB
Current children cumulated memory: 13640 KiB
[startup+0.700167 s]
/proc/loadavg: 1.03 1.34 1.81 5/263 1106508
/proc/meminfo: memFree=127106588/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=47172 memory=18328 CPUtime=0.68 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 2303 0 0 0 65 3 0 0 20 0 1 0 199488404 48304128 4582 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 11793 4582 1452 291 0 3327 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47172 KiB
Current children cumulated memory: 18328 KiB
[startup+1.50019 s]
/proc/loadavg: 1.03 1.34 1.81 5/258 1106516
/proc/meminfo: memFree=127107988/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=53504 memory=23548 CPUtime=1.49 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 3093 0 0 0 143 6 0 0 20 0 1 0 199488404 54788096 5887 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 13376 5887 1452 291 0 4910 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53504 KiB
Current children cumulated memory: 23548 KiB
[startup+3.10564 s]
/proc/loadavg: 1.03 1.34 1.81 5/263 1106600
/proc/meminfo: memFree=127090016/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=64112 memory=28928 CPUtime=3.08 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 4414 0 0 0 299 9 0 0 20 0 1 0 199488404 65650688 7232 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 16028 7232 1452 291 0 7562 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64112 KiB
Current children cumulated memory: 28928 KiB
[startup+6.30015 s]
/proc/loadavg: 1.27 1.39 1.82 5/261 1106600
/proc/meminfo: memFree=127077032/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=67176 memory=36236 CPUtime=6.27 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 5218 0 0 0 612 15 0 0 20 0 1 0 199488404 68788224 9059 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 16794 9059 1452 291 0 8328 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 36236 KiB
[startup+12.7002 s]
/proc/loadavg: 1.41 1.41 1.83 5/261 1106694
/proc/meminfo: memFree=127057960/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=86580 memory=49180 CPUtime=12.66 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 7492 0 0 0 1239 27 0 0 20 0 1 0 199488404 88657920 12295 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 21645 12295 1452 291 0 13179 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 86580 KiB
Current children cumulated memory: 49180 KiB
[startup+25.5002 s]
/proc/loadavg: 1.98 1.54 1.86 5/261 1106741
/proc/meminfo: memFree=127018640/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=129704 memory=79744 CPUtime=25.43 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 13078 0 0 0 2498 45 0 0 20 0 1 0 199488404 132816896 19936 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 32426 19936 1452 291 0 23960 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 129704 KiB
Current children cumulated memory: 79744 KiB
[startup+51.1057 s]
/proc/loadavg: 2.67 1.74 1.92 5/261 1106758
/proc/meminfo: memFree=126984288/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=134296 memory=96196 CPUtime=50.97 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 14552 0 0 0 5018 79 0 0 20 0 1 0 199488404 137519104 24049 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 33574 24049 1452 291 0 25108 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 134296 KiB
Current children cumulated memory: 96196 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.14 2.05 5/261 1106766
/proc/meminfo: memFree=126930080/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=181228 memory=124992 CPUtime=102.04 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 18506 0 0 0 10098 106 0 0 20 0 1 0 199488404 185577472 31248 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 45307 31248 1452 291 0 36841 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 181228 KiB
Current children cumulated memory: 124992 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.50 2.18 5/259 1106777
/proc/meminfo: memFree=126904408/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=188288 memory=138980 CPUtime=161.9 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 20173 0 0 0 16030 160 0 0 20 0 1 0 199488404 192806912 34745 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 47072 34745 1452 291 0 38606 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 188288 KiB
Current children cumulated memory: 138980 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.79 2.30 5/258 1106879
/proc/meminfo: memFree=126855496/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=201524 memory=163536 CPUtime=221.76 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 22857 0 0 0 21979 197 0 0 20 0 1 0 199488404 206360576 40884 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 50381 40884 1452 291 0 41915 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 201524 KiB
Current children cumulated memory: 163536 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.03 2.41 5/259 1106892
/proc/meminfo: memFree=126812564/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=264568 memory=185140 CPUtime=281.61 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 26342 0 0 0 27924 237 0 0 20 0 1 0 199488404 270917632 46285 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 66142 46285 1452 291 0 57676 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 264568 KiB
Current children cumulated memory: 185140 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.22 2.52 5/256 1106902
/proc/meminfo: memFree=126794736/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=268020 memory=188232 CPUtime=341.47 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 27291 0 0 0 33861 286 0 0 20 0 1 0 199488404 274452480 47058 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 67005 47058 1452 291 0 58539 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 268020 KiB
Current children cumulated memory: 188232 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.38 2.62 5/256 1106959
/proc/meminfo: memFree=126640856/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=279668 memory=199180 CPUtime=401.32 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 29796 0 0 0 39810 322 0 0 20 0 1 0 199488404 286380032 49795 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 69917 49795 1452 291 0 61451 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 279668 KiB
Current children cumulated memory: 199180 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.53 2.72 5/256 1106971
/proc/meminfo: memFree=126436648/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=302968 memory=257316 CPUtime=461.17 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 33968 0 0 0 45786 331 0 0 20 0 1 0 199488404 310239232 64329 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 75742 64329 1452 291 0 67276 0
################
# More data... #
################
Current children cumulated memory: 542896 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.01 5/255 1108124
/proc/meminfo: memFree=123485716/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=675032 memory=547068 CPUtime=2854.83 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 71699 0 0 0 284414 1069 0 0 20 0 1 0 199488404 691232768 136767 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 168758 136767 1452 291 0 160292 0
Current children cumulated CPU time: 2854.83 s
Current children cumulated vsize: 675032 KiB
Current children cumulated memory: 547068 KiB
[startup+2922.3 s]
/proc/loadavg: 4.35 4.17 4.04 5/256 1108135
/proc/meminfo: memFree=123479008/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=679160 memory=550424 CPUtime=2914.65 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 72796 0 0 0 290393 1072 0 0 20 0 1 0 199488404 695459840 137606 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 169790 137606 1452 291 0 161324 0
Current children cumulated CPU time: 2914.65 s
Current children cumulated vsize: 679160 KiB
Current children cumulated memory: 550424 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.15 4.04 5/256 1108145
/proc/meminfo: memFree=123440728/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=686972 memory=570780 CPUtime=2974.49 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 74537 0 0 0 296373 1076 0 0 20 0 1 0 199488404 703459328 142695 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 171743 142695 1452 291 0 163277 0
Current children cumulated CPU time: 2974.49 s
Current children cumulated vsize: 686972 KiB
Current children cumulated memory: 570780 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.15 4.05 5/258 1108161
/proc/meminfo: memFree=123421316/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=688252 memory=580116 CPUtime=3034.32 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 75131 0 0 0 302346 1086 0 0 20 0 1 0 199488404 704770048 145029 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 172063 145029 1452 291 0 163597 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 688252 KiB
Current children cumulated memory: 580116 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.12 4.04 5/258 1108172
/proc/meminfo: memFree=123360564/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=690428 memory=581644 CPUtime=3094.16 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 75825 0 0 0 308319 1097 0 0 20 0 1 0 199488404 706998272 145411 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 172607 145411 1452 291 0 164141 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 690428 KiB
Current children cumulated memory: 581644 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/258 1108184
/proc/meminfo: memFree=123292108/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=695612 memory=585972 CPUtime=3153.99 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 77145 0 0 0 314293 1106 0 0 20 0 1 0 199488404 712306688 146493 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 173903 146493 1452 291 0 165437 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 695612 KiB
Current children cumulated memory: 585972 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/257 1108195
/proc/meminfo: memFree=123289616/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=698812 memory=588392 CPUtime=3213.83 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 78179 0 0 0 320259 1124 0 0 20 0 1 0 199488404 715583488 147098 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 174703 147098 1452 291 0 166237 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 698812 KiB
Current children cumulated memory: 588392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.06 5/258 1108207
/proc/meminfo: memFree=123278000/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=700028 memory=589176 CPUtime=3273.67 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 78615 0 0 0 326232 1135 0 0 20 0 1 0 199488404 716828672 147294 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 175007 147294 1452 291 0 166541 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 700028 KiB
Current children cumulated memory: 589176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/259 1108603
/proc/meminfo: memFree=123270104/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=708992 memory=595496 CPUtime=3333.51 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 80490 0 0 0 332207 1144 0 0 20 0 1 0 199488404 726007808 148874 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 177248 148874 1452 291 0 168782 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 708992 KiB
Current children cumulated memory: 595496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.06 5/259 1108613
/proc/meminfo: memFree=123233112/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=709376 memory=595764 CPUtime=3393.34 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 80762 0 0 0 338184 1150 0 0 20 0 1 0 199488404 726401024 148941 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 177344 148941 1452 291 0 168878 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 709376 KiB
Current children cumulated memory: 595764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/258 1108624
/proc/meminfo: memFree=123087428/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=710528 memory=596540 CPUtime=3453.16 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 81163 0 0 0 344163 1153 0 0 20 0 1 0 199488404 727580672 149135 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 177632 149135 1452 291 0 169166 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 710528 KiB
Current children cumulated memory: 596540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/259 1108804
/proc/meminfo: memFree=122941328/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=711680 memory=597656 CPUtime=3512.99 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 81663 0 0 0 350143 1156 0 0 20 0 1 0 199488404 728760320 149414 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 177920 149414 1452 291 0 169454 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 711680 KiB
Current children cumulated memory: 597656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/259 1108814
/proc/meminfo: memFree=122927668/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=712960 memory=598844 CPUtime=3572.82 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 82200 0 0 0 356122 1160 0 0 20 0 1 0 199488404 730071040 149711 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 178240 149711 1452 291 0 169774 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 712960 KiB
Current children cumulated memory: 598844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.10 4.06 5/261 1108825
/proc/meminfo: memFree=122918204/131524600 swapFree=131071996/131071996
[pid=1106497] ppid=1106489 vsize=716160 memory=601176 CPUtime=3600.04 cores=4,6
/proc/1106497/stat : 1106497 (pb-oll-rs) R 1106489 1106497 1106434 0 -1 4194304 82815 0 0 0 358842 1162 0 0 20 0 1 0 199488404 733347840 150294 134679101440 4194304 5384485 140726620208896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 22306816 140726620210197 140726620210274 140726620210274 140726620217291 0
/proc/1106497/statm: 179040 150294 1452 291 0 170574 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 716160 KiB
Current children cumulated memory: 601176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 1106497 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.43 s, system=11.6282 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.06
CPU user time (s): 3588.43
CPU system time (s): 11.6282
CPU usage (%): 99.7354
Max. virtual memory (cumulated for all children) (KiB): 716160
Max. memory (cumulated for all children) (KiB): 601176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.43
system time used= 11.6282
maximum resident set size= 601548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82832
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= 123
involuntary context switches= 3444
# summary of solver processes directly reported to runsolver:
# pid: 1106497
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.43
# total CPU system time (s): 11.6282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88549 second user time and 17.545 second system time
The end
Begin job on nodeC030 at 2024-07-20 13:00:16
IDJOB=4454447
IDBENCH=148775
IDSOLVER=3082
FILE ID=nodeC030/4454447-1721473203
RUNJOBID= nodeC030-1721473216-1106445
SLURM_JOB_ID= 7545745
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454447-1721473203/watcher-4454447-1721473203 -o /tmp/evaluation-result-4454447-1721473203/solver-4454447-1721473203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721473216-1106445 --watchdog 3760 pb-oll-rs HOME/instance-4454447-1721473203.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1997568669
nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3386.223
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3333.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3596.642
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3526.193
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3603.140
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3493.052
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3547.093
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3478.006
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127151112 kB
MemAvailable: 129660052 kB
Buffers: 548908 kB
Cached: 2780616 kB
SwapCached: 0 kB
Active: 1225468 kB
Inactive: 2476136 kB
Active(anon): 1428 kB
Inactive(anon): 416888 kB
Active(file): 1224040 kB
Inactive(file): 2059248 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9124 kB
Writeback: 0 kB
AnonPages: 372084 kB
Mapped: 107276 kB
Shmem: 45912 kB
KReclaimable: 130948 kB
Slab: 248896 kB
SReclaimable: 130948 kB
SUnreclaim: 117948 kB
KernelStack: 4000 kB
PageTables: 9576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 646716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 262868 kB
DirectMap2M: 23627776 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC030 at 2024-07-20 14:00:26