0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.27/1.30 c #variables 103760 #constraints 99558
107.08/107.49 c #Conflicts: 1000 | #Constraints: 100557
107.08/107.49 c #Conflicts: 2000 | #Constraints: 101557
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 3000 | #Constraints: 81628
107.08/107.49 c #Conflicts: 4000 | #Constraints: 82628
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 5000 | #Constraints: 82132
107.08/107.49 c #Conflicts: 6000 | #Constraints: 83132
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 7000 | #Constraints: 82227
107.08/107.49 c #Conflicts: 8000 | #Constraints: 83227
107.08/107.49 c #Conflicts: 9000 | #Constraints: 84227
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 10000 | #Constraints: 82984
107.08/107.49 c #Conflicts: 11000 | #Constraints: 83984
107.08/107.49 c #Conflicts: 12000 | #Constraints: 84984
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 13000 | #Constraints: 83507
107.08/107.49 c #Conflicts: 14000 | #Constraints: 84507
107.08/107.49 c #Conflicts: 15000 | #Constraints: 85507
107.08/107.49 c INPROCESSING
107.08/107.49 c GARBAGE COLLECT
107.08/107.49 c #Conflicts: 16000 | #Constraints: 83797
107.08/107.49 c #Conflicts: 17000 | #Constraints: 84797
107.08/107.49 c #Conflicts: 18000 | #Constraints: 85797
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 19000 | #Constraints: 83826
107.08/107.49 c #Conflicts: 20000 | #Constraints: 84826
107.08/107.49 c #Conflicts: 21000 | #Constraints: 85826
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 22000 | #Constraints: 83659
107.08/107.49 c #Conflicts: 23000 | #Constraints: 84659
107.08/107.49 c #Conflicts: 24000 | #Constraints: 85659
107.08/107.49 c #Conflicts: 25000 | #Constraints: 86659
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 26000 | #Constraints: 84307
107.08/107.49 c #Conflicts: 27000 | #Constraints: 85307
107.08/107.49 c #Conflicts: 28000 | #Constraints: 86307
107.08/107.49 c #Conflicts: 29000 | #Constraints: 87307
107.08/107.49 c #Conflicts: 30000 | #Constraints: 88307
107.08/107.49 c #Conflicts: 31000 | #Constraints: 89307
107.08/107.49 c #Conflicts: 32000 | #Constraints: 90307
107.08/107.49 c #Conflicts: 33000 | #Constraints: 91307
107.08/107.49 c #Conflicts: 34000 | #Constraints: 92307
107.08/107.49 c #Conflicts: 35000 | #Constraints: 93307
107.08/107.49 c #Conflicts: 36000 | #Constraints: 94307
107.08/107.49 c #Conflicts: 37000 | #Constraints: 95307
107.08/107.49 c #Conflicts: 38000 | #Constraints: 96307
107.08/107.49 c INPROCESSING
107.08/107.49 c GARBAGE COLLECT
107.08/107.49 c #Conflicts: 39000 | #Constraints: 89348
107.08/107.49 c #Conflicts: 40000 | #Constraints: 90348
107.08/107.49 c #Conflicts: 41000 | #Constraints: 91348
107.08/107.49 c #Conflicts: 42000 | #Constraints: 92348
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 43000 | #Constraints: 86993
107.08/107.49 c #Conflicts: 44000 | #Constraints: 87993
107.08/107.49 c #Conflicts: 45000 | #Constraints: 88993
107.08/107.49 c #Conflicts: 46000 | #Constraints: 89993
107.08/107.49 c #Conflicts: 47000 | #Constraints: 90993
107.08/107.49 c #Conflicts: 48000 | #Constraints: 91993
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 49000 | #Constraints: 87223
107.08/107.49 c #Conflicts: 50000 | #Constraints: 88223
107.08/107.49 c #Conflicts: 51000 | #Constraints: 89223
107.08/107.49 c #Conflicts: 52000 | #Constraints: 90223
107.08/107.49 c #Conflicts: 53000 | #Constraints: 91223
107.08/107.49 c #Conflicts: 54000 | #Constraints: 92223
107.08/107.49 c #Conflicts: 55000 | #Constraints: 93223
107.08/107.49 c #Conflicts: 56000 | #Constraints: 94223
107.08/107.49 c #Conflicts: 57000 | #Constraints: 95223
107.08/107.49 c #Conflicts: 58000 | #Constraints: 96223
107.08/107.49 c #Conflicts: 59000 | #Constraints: 97223
107.08/107.49 c #Conflicts: 60000 | #Constraints: 98223
107.08/107.49 c #Conflicts: 61000 | #Constraints: 99223
107.08/107.49 c #Conflicts: 62000 | #Constraints: 100223
107.08/107.49 c #Conflicts: 63000 | #Constraints: 101223
107.08/107.49 c #Conflicts: 64000 | #Constraints: 102223
107.08/107.49 c #Conflicts: 65000 | #Constraints: 103223
107.08/107.49 c INPROCESSING
107.08/107.49 c GARBAGE COLLECT
107.08/107.49 c #Conflicts: 66000 | #Constraints: 92975
107.08/107.49 c #Conflicts: 67000 | #Constraints: 93975
107.08/107.49 c #Conflicts: 68000 | #Constraints: 94975
107.08/107.49 c #Conflicts: 69000 | #Constraints: 95975
107.08/107.49 c #Conflicts: 70000 | #Constraints: 96975
107.08/107.49 c #Conflicts: 71000 | #Constraints: 97975
107.08/107.49 c INPROCESSING
107.08/107.49 c #Conflicts: 72000 | #Constraints: 90167
107.08/107.49 c #Conflicts: 73000 | #Constraints: 91167
107.08/107.49 c #Conflicts: 74000 | #Constraints: 92167
252.30/253.10 c #Conflicts: 75000 | #Constraints: 93167
252.30/253.10 c #Conflicts: 76000 | #Constraints: 94167
252.30/253.10 c #Conflicts: 77000 | #Constraints: 95167
252.30/253.10 c #Conflicts: 78000 | #Constraints: 96167
252.30/253.10 c #Conflicts: 79000 | #Constraints: 97167
252.30/253.10 c #Conflicts: 80000 | #Constraints: 98167
252.30/253.10 c #Conflicts: 81000 | #Constraints: 99167
252.30/253.10 c #Conflicts: 82000 | #Constraints: 100167
252.30/253.10 c #Conflicts: 83000 | #Constraints: 101167
252.30/253.10 c #Conflicts: 84000 | #Constraints: 102167
252.30/253.10 c #Conflicts: 85000 | #Constraints: 103167
252.30/253.10 c #Conflicts: 86000 | #Constraints: 104167
252.30/253.10 c #Conflicts: 87000 | #Constraints: 105167
252.30/253.10 c #Conflicts: 88000 | #Constraints: 106167
252.30/253.10 c #Conflicts: 89000 | #Constraints: 107167
252.30/253.10 c #Conflicts: 90000 | #Constraints: 108167
252.30/253.10 c #Conflicts: 91000 | #Constraints: 109167
252.30/253.10 c INPROCESSING
252.30/253.10 c GARBAGE COLLECT
252.30/253.10 c #Conflicts: 92000 | #Constraints: 95802
252.30/253.10 c #Conflicts: 93000 | #Constraints: 96802
252.30/253.10 c #Conflicts: 94000 | #Constraints: 97802
252.30/253.10 c #Conflicts: 95000 | #Constraints: 98802
252.30/253.10 c #Conflicts: 96000 | #Constraints: 99802
252.30/253.10 c #Conflicts: 97000 | #Constraints: 100802
252.30/253.10 c #Conflicts: 98000 | #Constraints: 101802
252.30/253.10 c #Conflicts: 99000 | #Constraints: 102802
252.30/253.10 c INPROCESSING
252.30/253.10 c #Conflicts: 100000 | #Constraints: 92753
252.30/253.10 c #Conflicts: 101000 | #Constraints: 93753
252.30/253.10 c #Conflicts: 102000 | #Constraints: 94753
252.30/253.10 c #Conflicts: 103000 | #Constraints: 95753
252.30/253.10 c #Conflicts: 104000 | #Constraints: 96753
252.30/253.10 c #Conflicts: 105000 | #Constraints: 97753
252.30/253.10 c #Conflicts: 106000 | #Constraints: 98753
252.30/253.10 c #Conflicts: 107000 | #Constraints: 99753
252.30/253.10 c #Conflicts: 108000 | #Constraints: 100753
252.30/253.10 c #Conflicts: 109000 | #Constraints: 101753
252.30/253.10 c #Conflicts: 110000 | #Constraints: 102753
252.30/253.10 c #Conflicts: 111000 | #Constraints: 103753
252.30/253.10 c #Conflicts: 112000 | #Constraints: 104753
252.30/253.10 c #Conflicts: 113000 | #Constraints: 105753
252.30/253.10 c #Conflicts: 114000 | #Constraints: 106753
252.30/253.10 c #Conflicts: 115000 | #Constraints: 107753
252.30/253.10 c #Conflicts: 116000 | #Constraints: 108753
252.30/253.10 c #Conflicts: 117000 | #Constraints: 109753
252.30/253.10 c #Conflicts: 118000 | #Constraints: 110753
252.30/253.10 c #Conflicts: 119000 | #Constraints: 111753
252.30/253.10 c #Conflicts: 120000 | #Constraints: 112753
252.30/253.10 c #Conflicts: 121000 | #Constraints: 113753
252.30/253.10 c #Conflicts: 122000 | #Constraints: 114753
252.30/253.10 c INPROCESSING
252.30/253.10 c GARBAGE COLLECT
252.30/253.10 c #Conflicts: 123000 | #Constraints: 98733
252.30/253.10 c #Conflicts: 124000 | #Constraints: 99733
252.30/253.10 c #Conflicts: 125000 | #Constraints: 100733
252.30/253.10 c #Conflicts: 126000 | #Constraints: 101733
252.30/253.10 c #Conflicts: 127000 | #Constraints: 102733
252.30/253.10 c #Conflicts: 128000 | #Constraints: 103733
252.30/253.10 c #Conflicts: 129000 | #Constraints: 104733
252.30/253.10 c #Conflicts: 130000 | #Constraints: 105733
252.30/253.10 c #Conflicts: 131000 | #Constraints: 106733
252.30/253.10 c INPROCESSING
252.30/253.10 c #Conflicts: 132000 | #Constraints: 95332
252.30/253.10 c #Conflicts: 133000 | #Constraints: 96332
252.30/253.10 c #Conflicts: 134000 | #Constraints: 97332
252.30/253.10 c #Conflicts: 135000 | #Constraints: 98332
252.30/253.10 c #Conflicts: 136000 | #Constraints: 99332
252.30/253.10 c #Conflicts: 137000 | #Constraints: 100332
252.30/253.10 c #Conflicts: 138000 | #Constraints: 101332
252.30/253.10 c #Conflicts: 139000 | #Constraints: 102332
252.30/253.10 c #Conflicts: 140000 | #Constraints: 103332
252.30/253.10 c #Conflicts: 141000 | #Constraints: 104332
252.30/253.10 c #Conflicts: 142000 | #Constraints: 105332
252.30/253.10 c #Conflicts: 143000 | #Constraints: 106332
252.30/253.10 c #Conflicts: 144000 | #Constraints: 107332
252.30/253.10 c #Conflicts: 145000 | #Constraints: 108332
252.30/253.10 c #Conflicts: 146000 | #Constraints: 109332
252.30/253.10 c #Conflicts: 147000 | #Constraints: 110332
252.30/253.10 c #Conflicts: 148000 | #Constraints: 111332
252.30/253.10 c #Conflicts: 149000 | #Constraints: 112332
252.30/253.10 c #Conflicts: 150000 | #Constraints: 113332
252.30/253.10 c #Conflicts: 151000 | #Constraints: 114332
349.84/350.87 c #Conflicts: 152000 | #Constraints: 115332
349.84/350.87 c #Conflicts: 153000 | #Constraints: 116332
349.84/350.87 c #Conflicts: 154000 | #Constraints: 117332
349.84/350.87 c #Conflicts: 155000 | #Constraints: 118332
349.84/350.87 c #Conflicts: 156000 | #Constraints: 119332
349.84/350.87 c #Conflicts: 157000 | #Constraints: 120332
349.84/350.87 c INPROCESSING
349.84/350.87 c GARBAGE COLLECT
349.84/350.87 c #Conflicts: 158000 | #Constraints: 101491
349.84/350.87 c #Conflicts: 159000 | #Constraints: 102491
349.84/350.87 c #Conflicts: 160000 | #Constraints: 103491
349.84/350.87 c #Conflicts: 161000 | #Constraints: 104491
349.84/350.87 c #Conflicts: 162000 | #Constraints: 105491
349.84/350.87 c #Conflicts: 163000 | #Constraints: 106491
349.84/350.87 c #Conflicts: 164000 | #Constraints: 107491
349.84/350.87 c #Conflicts: 165000 | #Constraints: 108491
349.84/350.87 c #Conflicts: 166000 | #Constraints: 109491
349.84/350.87 c #Conflicts: 167000 | #Constraints: 110491
349.84/350.87 c #Conflicts: 168000 | #Constraints: 111491
349.84/350.87 c INPROCESSING
349.84/350.87 c #Conflicts: 169000 | #Constraints: 99355
349.84/350.87 c #Conflicts: 170000 | #Constraints: 100355
349.84/350.87 c #Conflicts: 171000 | #Constraints: 101355
349.84/350.87 c #Conflicts: 172000 | #Constraints: 102355
349.84/350.87 c #Conflicts: 173000 | #Constraints: 103355
349.84/350.87 c #Conflicts: 174000 | #Constraints: 104355
349.84/350.87 c #Conflicts: 175000 | #Constraints: 105355
349.84/350.87 c #Conflicts: 176000 | #Constraints: 106355
349.84/350.87 c #Conflicts: 177000 | #Constraints: 107355
349.84/350.87 c #Conflicts: 178000 | #Constraints: 108355
349.84/350.87 c #Conflicts: 179000 | #Constraints: 109355
349.84/350.87 c #Conflicts: 180000 | #Constraints: 110355
349.84/350.87 c #Conflicts: 181000 | #Constraints: 111355
349.84/350.87 c #Conflicts: 182000 | #Constraints: 112355
349.84/350.87 c #Conflicts: 183000 | #Constraints: 113355
349.84/350.87 c #Conflicts: 184000 | #Constraints: 114355
349.84/350.87 c #Conflicts: 185000 | #Constraints: 115355
349.84/350.87 c #Conflicts: 186000 | #Constraints: 116355
349.84/350.87 c #Conflicts: 187000 | #Constraints: 117355
349.84/350.87 c #Conflicts: 188000 | #Constraints: 118355
349.84/350.87 c #Conflicts: 189000 | #Constraints: 119355
349.84/350.87 c #Conflicts: 190000 | #Constraints: 120355
349.84/350.87 c #Conflicts: 191000 | #Constraints: 121355
349.84/350.87 c #Conflicts: 192000 | #Constraints: 122355
349.84/350.87 c #Conflicts: 193000 | #Constraints: 123355
349.84/350.87 c #Conflicts: 194000 | #Constraints: 124355
349.84/350.87 c #Conflicts: 195000 | #Constraints: 125355
349.84/350.87 c #Conflicts: 196000 | #Constraints: 126355
349.84/350.87 c #Conflicts: 197000 | #Constraints: 127355
349.84/350.87 c INPROCESSING
349.84/350.87 c GARBAGE COLLECT
349.84/350.87 c #Conflicts: 198000 | #Constraints: 105285
349.84/350.87 c #Conflicts: 199000 | #Constraints: 106285
349.84/350.87 c #Conflicts: 200000 | #Constraints: 107285
349.84/350.87 c #Conflicts: 201000 | #Constraints: 108285
349.84/350.87 c #Conflicts: 202000 | #Constraints: 109285
349.84/350.87 c #Conflicts: 203000 | #Constraints: 110285
349.84/350.87 c #Conflicts: 204000 | #Constraints: 111285
349.84/350.87 c #Conflicts: 205000 | #Constraints: 112285
349.84/350.87 c #Conflicts: 206000 | #Constraints: 113285
349.84/350.87 c #Conflicts: 207000 | #Constraints: 114285
349.84/350.87 c #Conflicts: 208000 | #Constraints: 115285
349.84/350.87 c #Conflicts: 209000 | #Constraints: 116285
349.84/350.87 c INPROCESSING
349.84/350.87 c #Conflicts: 210000 | #Constraints: 103760
349.84/350.87 c #Conflicts: 211000 | #Constraints: 104760
349.84/350.87 c #Conflicts: 212000 | #Constraints: 105760
349.84/350.87 c #Conflicts: 213000 | #Constraints: 106760
349.84/350.87 c #Conflicts: 214000 | #Constraints: 107760
349.84/350.87 c #Conflicts: 215000 | #Constraints: 108760
349.84/350.87 c #Conflicts: 216000 | #Constraints: 109760
349.84/350.87 c #Conflicts: 217000 | #Constraints: 110760
349.84/350.87 c #Conflicts: 218000 | #Constraints: 111760
349.84/350.87 c #Conflicts: 219000 | #Constraints: 112760
349.84/350.87 c #Conflicts: 220000 | #Constraints: 113760
349.84/350.87 c #Conflicts: 221000 | #Constraints: 114760
349.84/350.87 c #Conflicts: 222000 | #Constraints: 115760
349.84/350.87 c #Conflicts: 223000 | #Constraints: 116760
349.84/350.87 c #Conflicts: 224000 | #Constraints: 117760
349.84/350.87 c #Conflicts: 225000 | #Constraints: 118760
349.84/350.87 c #Conflicts: 226000 | #Constraints: 119760
349.84/350.87 c #Conflicts: 227000 | #Constraints: 120760
349.84/350.87 c #Conflicts: 228000 | #Constraints: 121760
460.34/461.68 c #Conflicts: 229000 | #Constraints: 122760
460.34/461.68 c #Conflicts: 230000 | #Constraints: 123760
460.34/461.68 c #Conflicts: 231000 | #Constraints: 124760
460.34/461.68 c #Conflicts: 232000 | #Constraints: 125760
460.34/461.68 c #Conflicts: 233000 | #Constraints: 126760
460.34/461.68 c #Conflicts: 234000 | #Constraints: 127760
460.34/461.68 c #Conflicts: 235000 | #Constraints: 128760
460.34/461.68 c #Conflicts: 236000 | #Constraints: 129760
460.34/461.68 c #Conflicts: 237000 | #Constraints: 130760
460.34/461.68 c #Conflicts: 238000 | #Constraints: 131760
460.34/461.68 c #Conflicts: 239000 | #Constraints: 132760
460.34/461.68 c #Conflicts: 240000 | #Constraints: 133760
460.34/461.68 c #Conflicts: 241000 | #Constraints: 134760
460.34/461.68 c INPROCESSING
460.34/461.68 c GARBAGE COLLECT
460.34/461.68 c rational objective 25237.3
557.69/559.27 c #Conflicts: 242000 | #Constraints: 109189
557.69/559.27 c #Conflicts: 243000 | #Constraints: 110189
557.69/559.27 c #Conflicts: 244000 | #Constraints: 111189
557.69/559.27 c #Conflicts: 245000 | #Constraints: 112189
557.69/559.27 c #Conflicts: 246000 | #Constraints: 113189
557.69/559.27 c #Conflicts: 247000 | #Constraints: 114189
557.69/559.27 c #Conflicts: 248000 | #Constraints: 115189
557.69/559.27 c #Conflicts: 249000 | #Constraints: 116189
557.69/559.27 c #Conflicts: 250000 | #Constraints: 117189
557.69/559.27 c #Conflicts: 251000 | #Constraints: 118189
557.69/559.27 c #Conflicts: 252000 | #Constraints: 119189
557.69/559.27 c #Conflicts: 253000 | #Constraints: 120189
557.69/559.27 c #Conflicts: 254000 | #Constraints: 121189
557.69/559.27 c INPROCESSING
557.69/559.27 c #Conflicts: 255000 | #Constraints: 108585
557.69/559.27 c #Conflicts: 256000 | #Constraints: 109585
557.69/559.27 c #Conflicts: 257000 | #Constraints: 110585
557.69/559.27 c #Conflicts: 258000 | #Constraints: 111585
557.69/559.27 c #Conflicts: 259000 | #Constraints: 112585
557.69/559.27 c #Conflicts: 260000 | #Constraints: 113585
557.69/559.27 c #Conflicts: 261000 | #Constraints: 114585
557.69/559.27 c #Conflicts: 262000 | #Constraints: 115585
557.69/559.27 c #Conflicts: 263000 | #Constraints: 116585
557.69/559.27 c #Conflicts: 264000 | #Constraints: 117585
557.69/559.27 c #Conflicts: 265000 | #Constraints: 118585
557.69/559.27 c #Conflicts: 266000 | #Constraints: 119585
557.69/559.27 c #Conflicts: 267000 | #Constraints: 120585
557.69/559.27 c #Conflicts: 268000 | #Constraints: 121585
557.69/559.27 c #Conflicts: 269000 | #Constraints: 122585
557.69/559.27 c #Conflicts: 270000 | #Constraints: 123585
557.69/559.27 c #Conflicts: 271000 | #Constraints: 124585
557.69/559.27 c #Conflicts: 272000 | #Constraints: 125585
557.69/559.27 c #Conflicts: 273000 | #Constraints: 126585
557.69/559.27 c #Conflicts: 274000 | #Constraints: 127585
557.69/559.27 c #Conflicts: 275000 | #Constraints: 128585
557.69/559.27 c #Conflicts: 276000 | #Constraints: 129585
557.69/559.27 c #Conflicts: 277000 | #Constraints: 130585
557.69/559.27 c #Conflicts: 278000 | #Constraints: 131585
557.69/559.27 c #Conflicts: 279000 | #Constraints: 132585
557.69/559.27 c #Conflicts: 280000 | #Constraints: 133585
557.69/559.27 c #Conflicts: 281000 | #Constraints: 134585
557.69/559.27 c #Conflicts: 282000 | #Constraints: 135585
557.69/559.27 c #Conflicts: 283000 | #Constraints: 136585
557.69/559.27 c #Conflicts: 284000 | #Constraints: 137585
557.69/559.27 c #Conflicts: 285000 | #Constraints: 138585
557.69/559.27 c #Conflicts: 286000 | #Constraints: 139585
557.69/559.27 c #Conflicts: 287000 | #Constraints: 140585
557.69/559.27 c #Conflicts: 288000 | #Constraints: 141585
557.69/559.27 c #Conflicts: 289000 | #Constraints: 142585
557.69/559.27 c #Conflicts: 290000 | #Constraints: 143585
557.69/559.27 c INPROCESSING
557.69/559.27 c GARBAGE COLLECT
557.69/559.27 c #Conflicts: 291000 | #Constraints: 114080
557.69/559.27 c #Conflicts: 292000 | #Constraints: 115080
557.69/559.27 c #Conflicts: 293000 | #Constraints: 116080
557.69/559.27 c #Conflicts: 294000 | #Constraints: 117080
557.69/559.27 c #Conflicts: 295000 | #Constraints: 118080
557.69/559.27 c #Conflicts: 296000 | #Constraints: 119080
557.69/559.27 c #Conflicts: 297000 | #Constraints: 120080
557.69/559.27 c #Conflicts: 298000 | #Constraints: 121080
557.69/559.27 c #Conflicts: 299000 | #Constraints: 122080
557.69/559.27 c #Conflicts: 300000 | #Constraints: 123080
557.69/559.27 c #Conflicts: 301000 | #Constraints: 124080
557.69/559.27 c #Conflicts: 302000 | #Constraints: 125080
557.69/559.27 c #Conflicts: 303000 | #Constraints: 126080
557.69/559.27 c #Conflicts: 304000 | #Constraints: 127080
557.69/559.27 c INPROCESSING
557.69/559.27 c #Conflicts: 305000 | #Constraints: 114120
557.69/559.27 c #Conflicts: 306000 | #Constraints: 115120
557.69/559.27 c #Conflicts: 307000 | #Constraints: 116120
557.69/559.27 c #Conflicts: 308000 | #Constraints: 117120
557.69/559.27 c #Conflicts: 309000 | #Constraints: 118120
557.69/559.27 c #Conflicts: 310000 | #Constraints: 119120
557.69/559.27 c #Conflicts: 311000 | #Constraints: 120120
557.69/559.27 c #Conflicts: 312000 | #Constraints: 121120
557.69/559.27 c #Conflicts: 313000 | #Constraints: 122120
557.69/559.27 c #Conflicts: 314000 | #Constraints: 123120
557.69/559.27 c #Conflicts: 315000 | #Constraints: 124120
557.69/559.27 c #Conflicts: 316000 | #Constraints: 125120
557.69/559.27 c #Conflicts: 317000 | #Constraints: 126120
557.69/559.27 c #Conflicts: 318000 | #Constraints: 127120
557.69/559.27 c #Conflicts: 319000 | #Constraints: 128120
675.79/677.65 c #Conflicts: 320000 | #Constraints: 129120
675.79/677.65 c #Conflicts: 321000 | #Constraints: 130120
675.79/677.65 c #Conflicts: 322000 | #Constraints: 131120
675.79/677.65 c #Conflicts: 323000 | #Constraints: 132120
675.79/677.65 c #Conflicts: 324000 | #Constraints: 133120
675.79/677.65 c #Conflicts: 325000 | #Constraints: 134120
675.79/677.65 c #Conflicts: 326000 | #Constraints: 135120
675.79/677.65 c #Conflicts: 327000 | #Constraints: 136120
675.79/677.65 c #Conflicts: 328000 | #Constraints: 137120
675.79/677.65 c #Conflicts: 329000 | #Constraints: 138120
675.79/677.65 c #Conflicts: 330000 | #Constraints: 139120
675.79/677.65 c #Conflicts: 331000 | #Constraints: 140120
675.79/677.65 c #Conflicts: 332000 | #Constraints: 141120
675.79/677.65 c #Conflicts: 333000 | #Constraints: 142120
675.79/677.65 c #Conflicts: 334000 | #Constraints: 143120
675.79/677.65 c #Conflicts: 335000 | #Constraints: 144120
675.79/677.65 c #Conflicts: 336000 | #Constraints: 145120
675.79/677.65 c #Conflicts: 337000 | #Constraints: 146120
675.79/677.65 c #Conflicts: 338000 | #Constraints: 147120
675.79/677.65 c #Conflicts: 339000 | #Constraints: 148120
675.79/677.65 c #Conflicts: 340000 | #Constraints: 149120
675.79/677.65 c #Conflicts: 341000 | #Constraints: 150120
675.79/677.65 c #Conflicts: 342000 | #Constraints: 151120
675.79/677.65 c INPROCESSING
675.79/677.65 c GARBAGE COLLECT
675.79/677.65 c #Conflicts: 343000 | #Constraints: 117652
675.79/677.65 c #Conflicts: 344000 | #Constraints: 118652
675.79/677.65 c #Conflicts: 345000 | #Constraints: 119652
675.79/677.65 c #Conflicts: 346000 | #Constraints: 120652
675.79/677.65 c #Conflicts: 347000 | #Constraints: 121652
675.79/677.65 c #Conflicts: 348000 | #Constraints: 122652
675.79/677.65 c #Conflicts: 349000 | #Constraints: 123652
675.79/677.65 c #Conflicts: 350000 | #Constraints: 124652
675.79/677.65 c #Conflicts: 351000 | #Constraints: 125652
675.79/677.65 c #Conflicts: 352000 | #Constraints: 126652
675.79/677.65 c #Conflicts: 353000 | #Constraints: 127652
675.79/677.65 c #Conflicts: 354000 | #Constraints: 128652
675.79/677.65 c #Conflicts: 355000 | #Constraints: 129652
675.79/677.65 c #Conflicts: 356000 | #Constraints: 130652
675.79/677.65 c #Conflicts: 357000 | #Constraints: 131652
675.79/677.65 c #Conflicts: 358000 | #Constraints: 132652
675.79/677.65 c #Conflicts: 359000 | #Constraints: 133652
675.79/677.65 c #Conflicts: 360000 | #Constraints: 134652
675.79/677.65 c #Conflicts: 361000 | #Constraints: 135652
675.79/677.65 c #Conflicts: 362000 | #Constraints: 136652
675.79/677.65 c #Conflicts: 363000 | #Constraints: 137652
675.79/677.65 c #Conflicts: 364000 | #Constraints: 138652
675.79/677.65 c #Conflicts: 365000 | #Constraints: 139652
675.79/677.65 c #Conflicts: 366000 | #Constraints: 140652
675.79/677.65 c #Conflicts: 367000 | #Constraints: 141652
675.79/677.65 c #Conflicts: 368000 | #Constraints: 142652
675.79/677.65 c #Conflicts: 369000 | #Constraints: 143652
675.79/677.65 c #Conflicts: 370000 | #Constraints: 144652
675.79/677.65 c #Conflicts: 371000 | #Constraints: 145652
675.79/677.65 c #Conflicts: 372000 | #Constraints: 146652
675.79/677.65 c #Conflicts: 373000 | #Constraints: 147652
675.79/677.65 c #Conflicts: 374000 | #Constraints: 148652
675.79/677.65 c #Conflicts: 375000 | #Constraints: 149652
675.79/677.65 c #Conflicts: 376000 | #Constraints: 150652
675.79/677.65 c #Conflicts: 377000 | #Constraints: 151652
675.79/677.65 c #Conflicts: 378000 | #Constraints: 152652
675.79/677.65 c #Conflicts: 379000 | #Constraints: 153652
675.79/677.65 c #Conflicts: 380000 | #Constraints: 154652
675.79/677.65 c #Conflicts: 381000 | #Constraints: 155652
675.79/677.65 c #Conflicts: 382000 | #Constraints: 156652
675.79/677.65 c #Conflicts: 383000 | #Constraints: 157652
675.79/677.65 c INPROCESSING
675.79/677.65 c GARBAGE COLLECT
675.79/677.65 c #Conflicts: 384000 | #Constraints: 122124
675.79/677.65 c #Conflicts: 385000 | #Constraints: 123124
675.79/677.65 c #Conflicts: 386000 | #Constraints: 124124
675.79/677.65 c #Conflicts: 387000 | #Constraints: 125124
675.79/677.65 c #Conflicts: 388000 | #Constraints: 126124
675.79/677.65 c #Conflicts: 389000 | #Constraints: 127124
675.79/677.65 c #Conflicts: 390000 | #Constraints: 128124
675.79/677.65 c #Conflicts: 391000 | #Constraints: 129124
675.79/677.65 c #Conflicts: 392000 | #Constraints: 130124
675.79/677.65 c #Conflicts: 393000 | #Constraints: 131124
675.79/677.65 c #Conflicts: 394000 | #Constraints: 132124
675.79/677.65 c #Conflicts: 395000 | #Constraints: 133124
675.79/677.65 c #Conflicts: 396000 | #Constraints: 134124
675.79/677.65 c #Conflicts: 397000 | #Constraints: 135124
810.23/812.42 c #Conflicts: 398000 | #Constraints: 136124
810.23/812.42 c #Conflicts: 399000 | #Constraints: 137124
810.23/812.42 c #Conflicts: 400000 | #Constraints: 138124
810.23/812.42 c #Conflicts: 401000 | #Constraints: 139124
810.23/812.42 c #Conflicts: 402000 | #Constraints: 140124
810.23/812.42 c #Conflicts: 403000 | #Constraints: 141124
810.23/812.42 c #Conflicts: 404000 | #Constraints: 142124
810.23/812.42 c #Conflicts: 405000 | #Constraints: 143124
810.23/812.42 c #Conflicts: 406000 | #Constraints: 144124
810.23/812.42 c #Conflicts: 407000 | #Constraints: 145124
810.23/812.42 c #Conflicts: 408000 | #Constraints: 146124
810.23/812.42 c #Conflicts: 409000 | #Constraints: 147124
810.23/812.42 c #Conflicts: 410000 | #Constraints: 148124
810.23/812.42 c #Conflicts: 411000 | #Constraints: 149124
810.23/812.42 c #Conflicts: 412000 | #Constraints: 150124
810.23/812.42 c #Conflicts: 413000 | #Constraints: 151124
810.23/812.42 c #Conflicts: 414000 | #Constraints: 152124
810.23/812.42 c #Conflicts: 415000 | #Constraints: 153124
810.23/812.42 c #Conflicts: 416000 | #Constraints: 154124
810.23/812.42 c #Conflicts: 417000 | #Constraints: 155124
810.23/812.42 c #Conflicts: 418000 | #Constraints: 156124
810.23/812.42 c #Conflicts: 419000 | #Constraints: 157124
810.23/812.42 c #Conflicts: 420000 | #Constraints: 158124
810.23/812.42 c #Conflicts: 421000 | #Constraints: 159124
810.23/812.42 c #Conflicts: 422000 | #Constraints: 160124
810.23/812.42 c #Conflicts: 423000 | #Constraints: 161124
810.23/812.42 c #Conflicts: 424000 | #Constraints: 162124
810.23/812.42 c #Conflicts: 425000 | #Constraints: 163124
810.23/812.42 c #Conflicts: 426000 | #Constraints: 164124
810.23/812.42 c INPROCESSING
810.23/812.42 c GARBAGE COLLECT
810.23/812.42 c rational objective 25240.4
992.73/995.40 c #Conflicts: 427000 | #Constraints: 127074
992.73/995.40 c #Conflicts: 428000 | #Constraints: 128074
992.73/995.40 c #Conflicts: 429000 | #Constraints: 129074
992.73/995.40 c #Conflicts: 430000 | #Constraints: 130074
992.73/995.40 c #Conflicts: 431000 | #Constraints: 131074
992.73/995.40 c #Conflicts: 432000 | #Constraints: 132074
992.73/995.40 c #Conflicts: 433000 | #Constraints: 133074
992.73/995.40 c #Conflicts: 434000 | #Constraints: 134074
992.73/995.40 c #Conflicts: 435000 | #Constraints: 135074
992.73/995.40 c #Conflicts: 436000 | #Constraints: 136074
992.73/995.40 c #Conflicts: 437000 | #Constraints: 137074
992.73/995.40 c #Conflicts: 438000 | #Constraints: 138074
992.73/995.40 c #Conflicts: 439000 | #Constraints: 139074
992.73/995.40 c #Conflicts: 440000 | #Constraints: 140074
992.73/995.40 c #Conflicts: 441000 | #Constraints: 141074
992.73/995.40 c #Conflicts: 442000 | #Constraints: 142074
992.73/995.40 c #Conflicts: 443000 | #Constraints: 143074
992.73/995.40 c #Conflicts: 444000 | #Constraints: 144074
992.73/995.40 c #Conflicts: 445000 | #Constraints: 145074
992.73/995.40 c #Conflicts: 446000 | #Constraints: 146074
992.73/995.40 c #Conflicts: 447000 | #Constraints: 147074
992.73/995.40 c #Conflicts: 448000 | #Constraints: 148074
992.73/995.40 c #Conflicts: 449000 | #Constraints: 149074
992.73/995.40 c #Conflicts: 450000 | #Constraints: 150074
992.73/995.40 c #Conflicts: 451000 | #Constraints: 151074
992.73/995.40 c #Conflicts: 452000 | #Constraints: 152074
992.73/995.40 c #Conflicts: 453000 | #Constraints: 153074
992.73/995.40 c #Conflicts: 454000 | #Constraints: 154074
992.73/995.40 c #Conflicts: 455000 | #Constraints: 155074
992.73/995.40 c #Conflicts: 456000 | #Constraints: 156074
992.73/995.40 c #Conflicts: 457000 | #Constraints: 157074
992.73/995.40 c #Conflicts: 458000 | #Constraints: 158074
992.73/995.40 c #Conflicts: 459000 | #Constraints: 159074
992.73/995.40 c #Conflicts: 460000 | #Constraints: 160074
992.73/995.40 c #Conflicts: 461000 | #Constraints: 161074
992.73/995.40 c #Conflicts: 462000 | #Constraints: 162074
992.73/995.40 c #Conflicts: 463000 | #Constraints: 163074
992.73/995.40 c #Conflicts: 464000 | #Constraints: 164074
992.73/995.40 c #Conflicts: 465000 | #Constraints: 165074
992.73/995.40 c #Conflicts: 466000 | #Constraints: 166074
992.73/995.40 c #Conflicts: 467000 | #Constraints: 167074
992.73/995.40 c #Conflicts: 468000 | #Constraints: 168074
992.73/995.40 c #Conflicts: 469000 | #Constraints: 169074
992.73/995.40 c #Conflicts: 470000 | #Constraints: 170074
992.73/995.40 c #Conflicts: 471000 | #Constraints: 171074
992.73/995.40 c INPROCESSING
992.73/995.40 c GARBAGE COLLECT
992.73/995.40 c #Conflicts: 472000 | #Constraints: 132247
992.73/995.40 c #Conflicts: 473000 | #Constraints: 133247
992.73/995.40 c #Conflicts: 474000 | #Constraints: 134247
992.73/995.40 c #Conflicts: 475000 | #Constraints: 135247
992.73/995.40 c #Conflicts: 476000 | #Constraints: 136247
992.73/995.40 c #Conflicts: 477000 | #Constraints: 137247
992.73/995.40 c #Conflicts: 478000 | #Constraints: 138247
992.73/995.40 c #Conflicts: 479000 | #Constraints: 139247
992.73/995.40 c #Conflicts: 480000 | #Constraints: 140247
992.73/995.40 c #Conflicts: 481000 | #Constraints: 141247
992.73/995.40 c #Conflicts: 482000 | #Constraints: 142247
992.73/995.40 c #Conflicts: 483000 | #Constraints: 143247
992.73/995.40 c #Conflicts: 484000 | #Constraints: 144247
992.73/995.40 c #Conflicts: 485000 | #Constraints: 145247
992.73/995.40 c #Conflicts: 486000 | #Constraints: 146247
992.73/995.40 c #Conflicts: 487000 | #Constraints: 147247
992.73/995.40 c #Conflicts: 488000 | #Constraints: 148247
992.73/995.40 c #Conflicts: 489000 | #Constraints: 149247
992.73/995.40 c #Conflicts: 490000 | #Constraints: 150247
992.73/995.40 c #Conflicts: 491000 | #Constraints: 151247
992.73/995.40 c #Conflicts: 492000 | #Constraints: 152247
992.73/995.40 c #Conflicts: 493000 | #Constraints: 153247
992.73/995.40 c #Conflicts: 494000 | #Constraints: 154247
992.73/995.40 c #Conflicts: 495000 | #Constraints: 155247
992.73/995.40 c #Conflicts: 496000 | #Constraints: 156247
992.73/995.40 c #Conflicts: 497000 | #Constraints: 157247
992.73/995.40 c #Conflicts: 498000 | #Constraints: 158247
992.73/995.40 c #Conflicts: 499000 | #Constraints: 159247
992.73/995.40 c #Conflicts: 500000 | #Constraints: 160247
992.73/995.40 c #Conflicts: 501000 | #Constraints: 161247
992.73/995.40 c #Conflicts: 502000 | #Constraints: 162247
992.73/995.40 c #Conflicts: 503000 | #Constraints: 163247
992.73/995.40 c #Conflicts: 504000 | #Constraints: 164247
992.73/995.40 c #Conflicts: 505000 | #Constraints: 165247
1197.45/1200.71 c #Conflicts: 506000 | #Constraints: 166247
1197.45/1200.71 c #Conflicts: 507000 | #Constraints: 167247
1197.45/1200.71 c #Conflicts: 508000 | #Constraints: 168247
1197.45/1200.71 c #Conflicts: 509000 | #Constraints: 169247
1197.45/1200.71 c #Conflicts: 510000 | #Constraints: 170247
1197.45/1200.71 c #Conflicts: 511000 | #Constraints: 171247
1197.45/1200.71 c #Conflicts: 512000 | #Constraints: 172247
1197.45/1200.71 c #Conflicts: 513000 | #Constraints: 173247
1197.45/1200.71 c #Conflicts: 514000 | #Constraints: 174247
1197.45/1200.71 c #Conflicts: 515000 | #Constraints: 175247
1197.45/1200.71 c #Conflicts: 516000 | #Constraints: 176247
1197.45/1200.71 c #Conflicts: 517000 | #Constraints: 177247
1197.45/1200.71 c INPROCESSING
1197.45/1200.71 c GARBAGE COLLECT
1197.45/1200.71 c #Conflicts: 518000 | #Constraints: 136327
1197.45/1200.71 c #Conflicts: 519000 | #Constraints: 137327
1197.45/1200.71 c #Conflicts: 520000 | #Constraints: 138327
1197.45/1200.71 c #Conflicts: 521000 | #Constraints: 139327
1197.45/1200.71 c #Conflicts: 522000 | #Constraints: 140327
1197.45/1200.71 c #Conflicts: 523000 | #Constraints: 141327
1197.45/1200.71 c #Conflicts: 524000 | #Constraints: 142327
1197.45/1200.71 c #Conflicts: 525000 | #Constraints: 143327
1197.45/1200.71 c #Conflicts: 526000 | #Constraints: 144327
1197.45/1200.71 c #Conflicts: 527000 | #Constraints: 145327
1197.45/1200.71 c #Conflicts: 528000 | #Constraints: 146327
1197.45/1200.71 c #Conflicts: 529000 | #Constraints: 147327
1197.45/1200.71 c #Conflicts: 530000 | #Constraints: 148327
1197.45/1200.71 c #Conflicts: 531000 | #Constraints: 149327
1197.45/1200.71 c #Conflicts: 532000 | #Constraints: 150327
1197.45/1200.71 c #Conflicts: 533000 | #Constraints: 151327
1197.45/1200.71 c #Conflicts: 534000 | #Constraints: 152327
1197.45/1200.71 c #Conflicts: 535000 | #Constraints: 153327
1197.45/1200.71 c #Conflicts: 536000 | #Constraints: 154327
1197.45/1200.71 c #Conflicts: 537000 | #Constraints: 155327
1197.45/1200.71 c #Conflicts: 538000 | #Constraints: 156327
1197.45/1200.71 c #Conflicts: 539000 | #Constraints: 157327
1197.45/1200.71 c #Conflicts: 540000 | #Constraints: 158327
1197.45/1200.71 c #Conflicts: 541000 | #Constraints: 159327
1197.45/1200.71 c #Conflicts: 542000 | #Constraints: 160327
1197.45/1200.71 c #Conflicts: 543000 | #Constraints: 161327
1197.45/1200.71 c #Conflicts: 544000 | #Constraints: 162327
1197.45/1200.71 c #Conflicts: 545000 | #Constraints: 163327
1197.45/1200.71 c #Conflicts: 546000 | #Constraints: 164327
1197.45/1200.71 c #Conflicts: 547000 | #Constraints: 165327
1197.45/1200.71 c #Conflicts: 548000 | #Constraints: 166327
1197.45/1200.71 c #Conflicts: 549000 | #Constraints: 167327
1197.45/1200.71 c #Conflicts: 550000 | #Constraints: 168327
1197.45/1200.71 c #Conflicts: 551000 | #Constraints: 169327
1197.45/1200.71 c #Conflicts: 552000 | #Constraints: 170327
1197.45/1200.71 c #Conflicts: 553000 | #Constraints: 171327
1197.45/1200.71 c #Conflicts: 554000 | #Constraints: 172327
1197.45/1200.71 c #Conflicts: 555000 | #Constraints: 173327
1197.45/1200.71 c #Conflicts: 556000 | #Constraints: 174327
1197.45/1200.71 c #Conflicts: 557000 | #Constraints: 175327
1197.45/1200.71 c #Conflicts: 558000 | #Constraints: 176327
1197.45/1200.71 c #Conflicts: 559000 | #Constraints: 177327
1197.45/1200.71 c #Conflicts: 560000 | #Constraints: 178327
1197.45/1200.71 c #Conflicts: 561000 | #Constraints: 179327
1197.45/1200.71 c #Conflicts: 562000 | #Constraints: 180327
1197.45/1200.71 c #Conflicts: 563000 | #Constraints: 181327
1197.45/1200.71 c #Conflicts: 564000 | #Constraints: 182327
1197.45/1200.71 c #Conflicts: 565000 | #Constraints: 183327
1197.45/1200.71 c #Conflicts: 566000 | #Constraints: 184327
1197.45/1200.71 c INPROCESSING
1197.45/1200.71 c GARBAGE COLLECT
1197.45/1200.71 c rational objective 25241.9
1322.93/1326.63 c #Conflicts: 567000 | #Constraints: 141432
1322.93/1326.63 c #Conflicts: 568000 | #Constraints: 142432
1322.93/1326.63 c #Conflicts: 569000 | #Constraints: 143432
1322.93/1326.63 c #Conflicts: 570000 | #Constraints: 144432
1322.93/1326.63 c #Conflicts: 571000 | #Constraints: 145432
1322.93/1326.63 c #Conflicts: 572000 | #Constraints: 146432
1322.93/1326.63 c #Conflicts: 573000 | #Constraints: 147432
1322.93/1326.63 c #Conflicts: 574000 | #Constraints: 148432
1322.93/1326.63 c #Conflicts: 575000 | #Constraints: 149432
1322.93/1326.63 c #Conflicts: 576000 | #Constraints: 150432
1322.93/1326.63 c #Conflicts: 577000 | #Constraints: 151432
1322.93/1326.63 c #Conflicts: 578000 | #Constraints: 152432
1322.93/1326.63 c #Conflicts: 579000 | #Constraints: 153432
1322.93/1326.63 c #Conflicts: 580000 | #Constraints: 154432
1322.93/1326.63 c #Conflicts: 581000 | #Constraints: 155432
1322.93/1326.63 c #Conflicts: 582000 | #Constraints: 156432
1322.93/1326.63 c #Conflicts: 583000 | #Constraints: 157432
1322.93/1326.63 c #Conflicts: 584000 | #Constraints: 158432
1322.93/1326.63 c #Conflicts: 585000 | #Constraints: 159432
1322.93/1326.63 c #Conflicts: 586000 | #Constraints: 160432
1322.93/1326.63 c #Conflicts: 587000 | #Constraints: 161432
1322.93/1326.63 c #Conflicts: 588000 | #Constraints: 162432
1322.93/1326.63 c #Conflicts: 589000 | #Constraints: 163432
1322.93/1326.63 c #Conflicts: 590000 | #Constraints: 164432
1322.93/1326.63 c #Conflicts: 591000 | #Constraints: 165432
1322.93/1326.63 c #Conflicts: 592000 | #Constraints: 166432
1322.93/1326.63 c #Conflicts: 593000 | #Constraints: 167432
1322.93/1326.63 c #Conflicts: 594000 | #Constraints: 168432
1322.93/1326.63 c #Conflicts: 595000 | #Constraints: 169432
1322.93/1326.63 c #Conflicts: 596000 | #Constraints: 170432
1322.93/1326.63 c #Conflicts: 597000 | #Constraints: 171432
1322.93/1326.63 c #Conflicts: 598000 | #Constraints: 172432
1322.93/1326.63 c #Conflicts: 599000 | #Constraints: 173432
1322.93/1326.63 c #Conflicts: 600000 | #Constraints: 174432
1322.93/1326.63 c #Conflicts: 601000 | #Constraints: 175432
1322.93/1326.63 c #Conflicts: 602000 | #Constraints: 176432
1322.93/1326.63 c #Conflicts: 603000 | #Constraints: 177432
1322.93/1326.63 c #Conflicts: 604000 | #Constraints: 178432
1322.93/1326.63 c #Conflicts: 605000 | #Constraints: 179432
1322.93/1326.63 c #Conflicts: 606000 | #Constraints: 180432
1322.93/1326.63 c #Conflicts: 607000 | #Constraints: 181432
1322.93/1326.63 c #Conflicts: 608000 | #Constraints: 182432
1322.93/1326.63 c #Conflicts: 609000 | #Constraints: 183432
1322.93/1326.63 c #Conflicts: 610000 | #Constraints: 184432
1322.93/1326.63 c #Conflicts: 611000 | #Constraints: 185432
1322.93/1326.63 c #Conflicts: 612000 | #Constraints: 186432
1322.93/1326.63 c #Conflicts: 613000 | #Constraints: 187432
1322.93/1326.63 c #Conflicts: 614000 | #Constraints: 188432
1322.93/1326.63 c #Conflicts: 615000 | #Constraints: 189432
1322.93/1326.63 c #Conflicts: 616000 | #Constraints: 190432
1322.93/1326.63 c #Conflicts: 617000 | #Constraints: 191432
1322.93/1326.63 c INPROCESSING
1322.93/1326.63 c GARBAGE COLLECT
1322.93/1326.63 c #Conflicts: 618000 | #Constraints: 146894
1322.93/1326.63 c #Conflicts: 619000 | #Constraints: 147894
1322.93/1326.63 c #Conflicts: 620000 | #Constraints: 148894
1322.93/1326.63 c #Conflicts: 621000 | #Constraints: 149894
1322.93/1326.63 c #Conflicts: 622000 | #Constraints: 150894
1322.93/1326.63 c #Conflicts: 623000 | #Constraints: 151894
1322.93/1326.63 c #Conflicts: 624000 | #Constraints: 152894
1322.93/1326.63 c #Conflicts: 625000 | #Constraints: 153894
1322.93/1326.63 c #Conflicts: 626000 | #Constraints: 154894
1322.93/1326.63 c #Conflicts: 627000 | #Constraints: 155894
1322.93/1326.63 c #Conflicts: 628000 | #Constraints: 156894
1322.93/1326.63 c #Conflicts: 629000 | #Constraints: 157894
1322.93/1326.63 c #Conflicts: 630000 | #Constraints: 158894
1322.93/1326.63 c #Conflicts: 631000 | #Constraints: 159894
1322.93/1326.63 c #Conflicts: 632000 | #Constraints: 160894
1322.93/1326.63 c #Conflicts: 633000 | #Constraints: 161894
1322.93/1326.63 c #Conflicts: 634000 | #Constraints: 162894
1322.93/1326.63 c #Conflicts: 635000 | #Constraints: 163894
1322.93/1326.63 c #Conflicts: 636000 | #Constraints: 164894
1322.93/1326.63 c #Conflicts: 637000 | #Constraints: 165894
1322.93/1326.63 c #Conflicts: 638000 | #Constraints: 166894
1322.93/1326.63 c #Conflicts: 639000 | #Constraints: 167894
1322.93/1326.63 c #Conflicts: 640000 | #Constraints: 168894
1322.93/1326.63 c #Conflicts: 641000 | #Constraints: 169894
1322.93/1326.63 c #Conflicts: 642000 | #Constraints: 170894
1322.93/1326.63 c #Conflicts: 643000 | #Constraints: 171894
1322.93/1326.63 c #Conflicts: 644000 | #Constraints: 172894
1322.93/1326.63 c #Conflicts: 645000 | #Constraints: 173894
1464.26/1468.48 c #Conflicts: 646000 | #Constraints: 174894
1464.26/1468.48 c #Conflicts: 647000 | #Constraints: 175894
1464.26/1468.48 c #Conflicts: 648000 | #Constraints: 176894
1464.26/1468.48 c #Conflicts: 649000 | #Constraints: 177894
1464.26/1468.48 c #Conflicts: 650000 | #Constraints: 178894
1464.26/1468.48 c #Conflicts: 651000 | #Constraints: 179894
1464.26/1468.48 c #Conflicts: 652000 | #Constraints: 180894
1464.26/1468.48 c #Conflicts: 653000 | #Constraints: 181894
1464.26/1468.48 c #Conflicts: 654000 | #Constraints: 182894
1464.26/1468.48 c #Conflicts: 655000 | #Constraints: 183894
1464.26/1468.48 c #Conflicts: 656000 | #Constraints: 184894
1464.26/1468.48 c #Conflicts: 657000 | #Constraints: 185894
1464.26/1468.48 c #Conflicts: 658000 | #Constraints: 186894
1464.26/1468.48 c #Conflicts: 659000 | #Constraints: 187894
1464.26/1468.48 c #Conflicts: 660000 | #Constraints: 188894
1464.26/1468.48 c #Conflicts: 661000 | #Constraints: 189894
1464.26/1468.48 c #Conflicts: 662000 | #Constraints: 190894
1464.26/1468.48 c #Conflicts: 663000 | #Constraints: 191894
1464.26/1468.48 c #Conflicts: 664000 | #Constraints: 192894
1464.26/1468.48 c #Conflicts: 665000 | #Constraints: 193894
1464.26/1468.48 c #Conflicts: 666000 | #Constraints: 194894
1464.26/1468.48 c #Conflicts: 667000 | #Constraints: 195894
1464.26/1468.48 c #Conflicts: 668000 | #Constraints: 196894
1464.26/1468.48 c #Conflicts: 669000 | #Constraints: 197894
1464.26/1468.48 c INPROCESSING
1464.26/1468.48 c GARBAGE COLLECT
1464.26/1468.48 c #Conflicts: 670000 | #Constraints: 151073
1464.26/1468.48 c #Conflicts: 671000 | #Constraints: 152073
1464.26/1468.48 c #Conflicts: 672000 | #Constraints: 153073
1464.26/1468.48 c #Conflicts: 673000 | #Constraints: 154073
1464.26/1468.48 c #Conflicts: 674000 | #Constraints: 155073
1464.26/1468.48 c #Conflicts: 675000 | #Constraints: 156073
1464.26/1468.48 c #Conflicts: 676000 | #Constraints: 157073
1464.26/1468.48 c #Conflicts: 677000 | #Constraints: 158073
1464.26/1468.48 c #Conflicts: 678000 | #Constraints: 159073
1464.26/1468.48 c #Conflicts: 679000 | #Constraints: 160073
1464.26/1468.48 c #Conflicts: 680000 | #Constraints: 161073
1464.26/1468.48 c #Conflicts: 681000 | #Constraints: 162073
1464.26/1468.48 c #Conflicts: 682000 | #Constraints: 163073
1464.26/1468.48 c #Conflicts: 683000 | #Constraints: 164073
1464.26/1468.48 c #Conflicts: 684000 | #Constraints: 165073
1464.26/1468.48 c #Conflicts: 685000 | #Constraints: 166073
1464.26/1468.48 c #Conflicts: 686000 | #Constraints: 167073
1464.26/1468.48 c #Conflicts: 687000 | #Constraints: 168073
1464.26/1468.48 c #Conflicts: 688000 | #Constraints: 169073
1464.26/1468.48 c #Conflicts: 689000 | #Constraints: 170073
1464.26/1468.48 c #Conflicts: 690000 | #Constraints: 171073
1464.26/1468.48 c #Conflicts: 691000 | #Constraints: 172073
1464.26/1468.48 c #Conflicts: 692000 | #Constraints: 173073
1464.26/1468.48 c #Conflicts: 693000 | #Constraints: 174073
1464.26/1468.48 c #Conflicts: 694000 | #Constraints: 175073
1464.26/1468.48 c #Conflicts: 695000 | #Constraints: 176073
1464.26/1468.48 c #Conflicts: 696000 | #Constraints: 177073
1464.26/1468.48 c #Conflicts: 697000 | #Constraints: 178073
1464.26/1468.48 c #Conflicts: 698000 | #Constraints: 179073
1464.26/1468.48 c #Conflicts: 699000 | #Constraints: 180073
1464.26/1468.48 c #Conflicts: 700000 | #Constraints: 181073
1464.26/1468.48 c #Conflicts: 701000 | #Constraints: 182073
1464.26/1468.48 c #Conflicts: 702000 | #Constraints: 183073
1464.26/1468.48 c #Conflicts: 703000 | #Constraints: 184073
1464.26/1468.48 c #Conflicts: 704000 | #Constraints: 185073
1464.26/1468.48 c #Conflicts: 705000 | #Constraints: 186073
1464.26/1468.48 c #Conflicts: 706000 | #Constraints: 187073
1464.26/1468.48 c #Conflicts: 707000 | #Constraints: 188073
1464.26/1468.48 c #Conflicts: 708000 | #Constraints: 189073
1464.26/1468.48 c #Conflicts: 709000 | #Constraints: 190073
1464.26/1468.48 c #Conflicts: 710000 | #Constraints: 191073
1464.26/1468.48 c #Conflicts: 711000 | #Constraints: 192073
1464.26/1468.48 c #Conflicts: 712000 | #Constraints: 193073
1464.26/1468.48 c #Conflicts: 713000 | #Constraints: 194073
1464.26/1468.48 c #Conflicts: 714000 | #Constraints: 195073
1464.26/1468.48 c #Conflicts: 715000 | #Constraints: 196073
1464.26/1468.48 c #Conflicts: 716000 | #Constraints: 197073
1464.26/1468.48 c #Conflicts: 717000 | #Constraints: 198073
1464.26/1468.48 c #Conflicts: 718000 | #Constraints: 199073
1464.26/1468.48 c #Conflicts: 719000 | #Constraints: 200073
1464.26/1468.48 c #Conflicts: 720000 | #Constraints: 201073
1464.26/1468.48 c #Conflicts: 721000 | #Constraints: 202073
1464.26/1468.48 c #Conflicts: 722000 | #Constraints: 203073
1464.26/1468.48 c #Conflicts: 723000 | #Constraints: 204073
1595.92/1600.50 c #Conflicts: 724000 | #Constraints: 205073
1595.92/1600.50 c INPROCESSING
1595.92/1600.50 c GARBAGE COLLECT
1595.92/1600.50 c #Conflicts: 725000 | #Constraints: 156127
1595.92/1600.50 c #Conflicts: 726000 | #Constraints: 157127
1595.92/1600.50 c #Conflicts: 727000 | #Constraints: 158127
1595.92/1600.50 c #Conflicts: 728000 | #Constraints: 159127
1595.92/1600.50 c #Conflicts: 729000 | #Constraints: 160127
1595.92/1600.50 c #Conflicts: 730000 | #Constraints: 161127
1595.92/1600.50 c #Conflicts: 731000 | #Constraints: 162127
1595.92/1600.50 c #Conflicts: 732000 | #Constraints: 163127
1595.92/1600.50 c #Conflicts: 733000 | #Constraints: 164127
1595.92/1600.50 c #Conflicts: 734000 | #Constraints: 165127
1595.92/1600.50 c #Conflicts: 735000 | #Constraints: 166127
1595.92/1600.50 c #Conflicts: 736000 | #Constraints: 167127
1595.92/1600.50 c #Conflicts: 737000 | #Constraints: 168127
1595.92/1600.50 c #Conflicts: 738000 | #Constraints: 169127
1595.92/1600.50 c #Conflicts: 739000 | #Constraints: 170127
1595.92/1600.50 c #Conflicts: 740000 | #Constraints: 171127
1595.92/1600.50 c #Conflicts: 741000 | #Constraints: 172127
1595.92/1600.50 c #Conflicts: 742000 | #Constraints: 173127
1595.92/1600.50 c #Conflicts: 743000 | #Constraints: 174127
1595.92/1600.50 c #Conflicts: 744000 | #Constraints: 175127
1595.92/1600.50 c #Conflicts: 745000 | #Constraints: 176127
1595.92/1600.50 c #Conflicts: 746000 | #Constraints: 177127
1595.92/1600.50 c #Conflicts: 747000 | #Constraints: 178127
1595.92/1600.50 c #Conflicts: 748000 | #Constraints: 179127
1595.92/1600.50 c #Conflicts: 749000 | #Constraints: 180127
1595.92/1600.50 c #Conflicts: 750000 | #Constraints: 181127
1595.92/1600.50 c #Conflicts: 751000 | #Constraints: 182127
1595.92/1600.50 c #Conflicts: 752000 | #Constraints: 183127
1595.92/1600.50 c #Conflicts: 753000 | #Constraints: 184127
1595.92/1600.50 c #Conflicts: 754000 | #Constraints: 185127
1595.92/1600.50 c #Conflicts: 755000 | #Constraints: 186127
1595.92/1600.50 c #Conflicts: 756000 | #Constraints: 187127
1595.92/1600.50 c #Conflicts: 757000 | #Constraints: 188127
1595.92/1600.50 c #Conflicts: 758000 | #Constraints: 189127
1595.92/1600.50 c #Conflicts: 759000 | #Constraints: 190127
1595.92/1600.50 c #Conflicts: 760000 | #Constraints: 191127
1595.92/1600.50 c #Conflicts: 761000 | #Constraints: 192127
1595.92/1600.50 c #Conflicts: 762000 | #Constraints: 193127
1595.92/1600.50 c #Conflicts: 763000 | #Constraints: 194127
1595.92/1600.50 c #Conflicts: 764000 | #Constraints: 195127
1595.92/1600.50 c #Conflicts: 765000 | #Constraints: 196127
1595.92/1600.50 c #Conflicts: 766000 | #Constraints: 197127
1595.92/1600.50 c #Conflicts: 767000 | #Constraints: 198127
1595.92/1600.50 c #Conflicts: 768000 | #Constraints: 199127
1595.92/1600.50 c #Conflicts: 769000 | #Constraints: 200127
1595.92/1600.50 c #Conflicts: 770000 | #Constraints: 201127
1595.92/1600.50 c #Conflicts: 771000 | #Constraints: 202127
1595.92/1600.50 c #Conflicts: 772000 | #Constraints: 203127
1595.92/1600.50 c #Conflicts: 773000 | #Constraints: 204127
1595.92/1600.50 c #Conflicts: 774000 | #Constraints: 205127
1595.92/1600.50 c #Conflicts: 775000 | #Constraints: 206127
1595.92/1600.50 c #Conflicts: 776000 | #Constraints: 207127
1595.92/1600.50 c #Conflicts: 777000 | #Constraints: 208127
1595.92/1600.50 c #Conflicts: 778000 | #Constraints: 209127
1595.92/1600.50 c #Conflicts: 779000 | #Constraints: 210127
1595.92/1600.50 c #Conflicts: 780000 | #Constraints: 211127
1595.92/1600.50 c #Conflicts: 781000 | #Constraints: 212127
1595.92/1600.50 c INPROCESSING
1595.92/1600.50 c GARBAGE COLLECT
1595.92/1600.50 c #Conflicts: 782000 | #Constraints: 161437
1595.92/1600.50 c #Conflicts: 783000 | #Constraints: 162437
1595.92/1600.50 c #Conflicts: 784000 | #Constraints: 163437
1595.92/1600.50 c #Conflicts: 785000 | #Constraints: 164437
1595.92/1600.50 c #Conflicts: 786000 | #Constraints: 165437
1595.92/1600.50 c #Conflicts: 787000 | #Constraints: 166437
1595.92/1600.50 c #Conflicts: 788000 | #Constraints: 167437
1595.92/1600.50 c #Conflicts: 789000 | #Constraints: 168437
1595.92/1600.50 c #Conflicts: 790000 | #Constraints: 169437
1595.92/1600.50 c #Conflicts: 791000 | #Constraints: 170437
1595.92/1600.50 c #Conflicts: 792000 | #Constraints: 171437
1595.92/1600.50 c #Conflicts: 793000 | #Constraints: 172437
1595.92/1600.50 c #Conflicts: 794000 | #Constraints: 173437
1595.92/1600.50 c #Conflicts: 795000 | #Constraints: 174437
1595.92/1600.50 c #Conflicts: 796000 | #Constraints: 175437
1595.92/1600.50 c #Conflicts: 797000 | #Constraints: 176437
1595.92/1600.50 c #Conflicts: 798000 | #Constraints: 177437
1595.92/1600.50 c #Conflicts: 799000 | #Constraints: 178437
1595.92/1600.50 c #Conflicts: 800000 | #Constraints: 179437
1829.02/1834.42 c #Conflicts: 801000 | #Constraints: 180437
1829.02/1834.42 c #Conflicts: 802000 | #Constraints: 181437
1829.02/1834.42 c #Conflicts: 803000 | #Constraints: 182437
1829.02/1834.42 c #Conflicts: 804000 | #Constraints: 183437
1829.02/1834.42 c #Conflicts: 805000 | #Constraints: 184437
1829.02/1834.42 c #Conflicts: 806000 | #Constraints: 185437
1829.02/1834.42 c #Conflicts: 807000 | #Constraints: 186437
1829.02/1834.42 c #Conflicts: 808000 | #Constraints: 187437
1829.02/1834.42 c #Conflicts: 809000 | #Constraints: 188437
1829.02/1834.42 c #Conflicts: 810000 | #Constraints: 189437
1829.02/1834.42 c #Conflicts: 811000 | #Constraints: 190437
1829.02/1834.42 c #Conflicts: 812000 | #Constraints: 191437
1829.02/1834.42 c #Conflicts: 813000 | #Constraints: 192437
1829.02/1834.42 c #Conflicts: 814000 | #Constraints: 193437
1829.02/1834.42 c #Conflicts: 815000 | #Constraints: 194437
1829.02/1834.42 c #Conflicts: 816000 | #Constraints: 195437
1829.02/1834.42 c #Conflicts: 817000 | #Constraints: 196437
1829.02/1834.42 c #Conflicts: 818000 | #Constraints: 197437
1829.02/1834.42 c #Conflicts: 819000 | #Constraints: 198437
1829.02/1834.42 c #Conflicts: 820000 | #Constraints: 199437
1829.02/1834.42 c #Conflicts: 821000 | #Constraints: 200437
1829.02/1834.42 c #Conflicts: 822000 | #Constraints: 201437
1829.02/1834.42 c #Conflicts: 823000 | #Constraints: 202437
1829.02/1834.42 c #Conflicts: 824000 | #Constraints: 203437
1829.02/1834.42 c #Conflicts: 825000 | #Constraints: 204437
1829.02/1834.42 c #Conflicts: 826000 | #Constraints: 205437
1829.02/1834.42 c #Conflicts: 827000 | #Constraints: 206437
1829.02/1834.42 c #Conflicts: 828000 | #Constraints: 207437
1829.02/1834.42 c #Conflicts: 829000 | #Constraints: 208437
1829.02/1834.42 c #Conflicts: 830000 | #Constraints: 209437
1829.02/1834.42 c #Conflicts: 831000 | #Constraints: 210437
1829.02/1834.42 c #Conflicts: 832000 | #Constraints: 211437
1829.02/1834.42 c #Conflicts: 833000 | #Constraints: 212437
1829.02/1834.42 c #Conflicts: 834000 | #Constraints: 213437
1829.02/1834.42 c #Conflicts: 835000 | #Constraints: 214437
1829.02/1834.42 c #Conflicts: 836000 | #Constraints: 215437
1829.02/1834.42 c #Conflicts: 837000 | #Constraints: 216437
1829.02/1834.42 c #Conflicts: 838000 | #Constraints: 217437
1829.02/1834.42 c #Conflicts: 839000 | #Constraints: 218437
1829.02/1834.42 c INPROCESSING
1829.02/1834.42 c GARBAGE COLLECT
1829.02/1834.42 c #Conflicts: 840000 | #Constraints: 165790
1829.02/1834.42 c #Conflicts: 841000 | #Constraints: 166790
1829.02/1834.42 c #Conflicts: 842000 | #Constraints: 167790
1829.02/1834.42 c #Conflicts: 843000 | #Constraints: 168790
1829.02/1834.42 c #Conflicts: 844000 | #Constraints: 169790
1829.02/1834.42 c #Conflicts: 845000 | #Constraints: 170790
1829.02/1834.42 c #Conflicts: 846000 | #Constraints: 171790
1829.02/1834.42 c #Conflicts: 847000 | #Constraints: 172790
1829.02/1834.42 c #Conflicts: 848000 | #Constraints: 173790
1829.02/1834.42 c #Conflicts: 849000 | #Constraints: 174790
1829.02/1834.42 c #Conflicts: 850000 | #Constraints: 175790
1829.02/1834.42 c #Conflicts: 851000 | #Constraints: 176790
1829.02/1834.42 c #Conflicts: 852000 | #Constraints: 177790
1829.02/1834.42 c #Conflicts: 853000 | #Constraints: 178790
1829.02/1834.42 c #Conflicts: 854000 | #Constraints: 179790
1829.02/1834.42 c #Conflicts: 855000 | #Constraints: 180790
1829.02/1834.42 c #Conflicts: 856000 | #Constraints: 181790
1829.02/1834.42 c #Conflicts: 857000 | #Constraints: 182790
1829.02/1834.42 c #Conflicts: 858000 | #Constraints: 183790
1829.02/1834.42 c #Conflicts: 859000 | #Constraints: 184790
1829.02/1834.42 c #Conflicts: 860000 | #Constraints: 185790
1829.02/1834.42 c #Conflicts: 861000 | #Constraints: 186790
1829.02/1834.42 c #Conflicts: 862000 | #Constraints: 187790
1829.02/1834.42 c #Conflicts: 863000 | #Constraints: 188790
1829.02/1834.42 c #Conflicts: 864000 | #Constraints: 189790
1829.02/1834.42 c #Conflicts: 865000 | #Constraints: 190790
1829.02/1834.42 c #Conflicts: 866000 | #Constraints: 191790
1829.02/1834.42 c #Conflicts: 867000 | #Constraints: 192790
1829.02/1834.42 c #Conflicts: 868000 | #Constraints: 193790
1829.02/1834.42 c #Conflicts: 869000 | #Constraints: 194790
1829.02/1834.42 c #Conflicts: 870000 | #Constraints: 195790
1829.02/1834.42 c #Conflicts: 871000 | #Constraints: 196790
1829.02/1834.42 c #Conflicts: 872000 | #Constraints: 197790
1829.02/1834.42 c #Conflicts: 873000 | #Constraints: 198790
1829.02/1834.42 c #Conflicts: 874000 | #Constraints: 199790
1829.02/1834.42 c #Conflicts: 875000 | #Constraints: 200790
1829.02/1834.42 c #Conflicts: 876000 | #Constraints: 201790
1829.02/1834.42 c #Conflicts: 877000 | #Constraints: 202790
1829.02/1834.42 c #Conflicts: 878000 | #Constraints: 203790
1970.16/1976.03 c #Conflicts: 879000 | #Constraints: 204790
1970.16/1976.03 c #Conflicts: 880000 | #Constraints: 205790
1970.16/1976.03 c #Conflicts: 881000 | #Constraints: 206790
1970.16/1976.03 c #Conflicts: 882000 | #Constraints: 207790
1970.16/1976.03 c #Conflicts: 883000 | #Constraints: 208790
1970.16/1976.03 c #Conflicts: 884000 | #Constraints: 209790
1970.16/1976.03 c #Conflicts: 885000 | #Constraints: 210790
1970.16/1976.03 c #Conflicts: 886000 | #Constraints: 211790
1970.16/1976.03 c #Conflicts: 887000 | #Constraints: 212790
1970.16/1976.03 c #Conflicts: 888000 | #Constraints: 213790
1970.16/1976.03 c #Conflicts: 889000 | #Constraints: 214790
1970.16/1976.03 c #Conflicts: 890000 | #Constraints: 215790
1970.16/1976.03 c #Conflicts: 891000 | #Constraints: 216790
1970.16/1976.03 c #Conflicts: 892000 | #Constraints: 217790
1970.16/1976.03 c #Conflicts: 893000 | #Constraints: 218790
1970.16/1976.03 c #Conflicts: 894000 | #Constraints: 219790
1970.16/1976.03 c #Conflicts: 895000 | #Constraints: 220790
1970.16/1976.03 c #Conflicts: 896000 | #Constraints: 221790
1970.16/1976.03 c #Conflicts: 897000 | #Constraints: 222790
1970.16/1976.03 c #Conflicts: 898000 | #Constraints: 223790
1970.16/1976.03 c #Conflicts: 899000 | #Constraints: 224790
1970.16/1976.03 c #Conflicts: 900000 | #Constraints: 225790
1970.16/1976.03 c INPROCESSING
1970.16/1976.03 c GARBAGE COLLECT
1970.16/1976.03 c #Conflicts: 901000 | #Constraints: 170873
1970.16/1976.03 c #Conflicts: 902000 | #Constraints: 171873
1970.16/1976.03 c #Conflicts: 903000 | #Constraints: 172873
1970.16/1976.03 c #Conflicts: 904000 | #Constraints: 173873
1970.16/1976.03 c #Conflicts: 905000 | #Constraints: 174873
1970.16/1976.03 c #Conflicts: 906000 | #Constraints: 175873
1970.16/1976.03 c #Conflicts: 907000 | #Constraints: 176873
1970.16/1976.03 c #Conflicts: 908000 | #Constraints: 177873
1970.16/1976.03 c #Conflicts: 909000 | #Constraints: 178873
1970.16/1976.03 c #Conflicts: 910000 | #Constraints: 179873
1970.16/1976.03 c #Conflicts: 911000 | #Constraints: 180873
1970.16/1976.03 c #Conflicts: 912000 | #Constraints: 181873
1970.16/1976.03 c #Conflicts: 913000 | #Constraints: 182873
1970.16/1976.03 c #Conflicts: 914000 | #Constraints: 183873
1970.16/1976.03 c #Conflicts: 915000 | #Constraints: 184873
1970.16/1976.03 c #Conflicts: 916000 | #Constraints: 185873
1970.16/1976.03 c #Conflicts: 917000 | #Constraints: 186873
1970.16/1976.03 c #Conflicts: 918000 | #Constraints: 187873
1970.16/1976.03 c #Conflicts: 919000 | #Constraints: 188873
1970.16/1976.03 c #Conflicts: 920000 | #Constraints: 189873
1970.16/1976.03 c #Conflicts: 921000 | #Constraints: 190873
1970.16/1976.03 c #Conflicts: 922000 | #Constraints: 191873
1970.16/1976.03 c #Conflicts: 923000 | #Constraints: 192873
1970.16/1976.03 c #Conflicts: 924000 | #Constraints: 193873
1970.16/1976.03 c #Conflicts: 925000 | #Constraints: 194873
1970.16/1976.03 c #Conflicts: 926000 | #Constraints: 195873
1970.16/1976.03 c #Conflicts: 927000 | #Constraints: 196873
1970.16/1976.03 c #Conflicts: 928000 | #Constraints: 197873
1970.16/1976.03 c #Conflicts: 929000 | #Constraints: 198873
1970.16/1976.03 c #Conflicts: 930000 | #Constraints: 199873
1970.16/1976.03 c #Conflicts: 931000 | #Constraints: 200873
1970.16/1976.03 c #Conflicts: 932000 | #Constraints: 201873
1970.16/1976.03 c #Conflicts: 933000 | #Constraints: 202873
1970.16/1976.03 c #Conflicts: 934000 | #Constraints: 203873
1970.16/1976.03 c #Conflicts: 935000 | #Constraints: 204873
1970.16/1976.03 c #Conflicts: 936000 | #Constraints: 205873
1970.16/1976.03 c #Conflicts: 937000 | #Constraints: 206873
1970.16/1976.03 c #Conflicts: 938000 | #Constraints: 207873
1970.16/1976.03 c #Conflicts: 939000 | #Constraints: 208873
1970.16/1976.03 c #Conflicts: 940000 | #Constraints: 209873
1970.16/1976.03 c #Conflicts: 941000 | #Constraints: 210873
1970.16/1976.03 c #Conflicts: 942000 | #Constraints: 211873
1970.16/1976.03 c #Conflicts: 943000 | #Constraints: 212873
1970.16/1976.03 c #Conflicts: 944000 | #Constraints: 213873
1970.16/1976.03 c #Conflicts: 945000 | #Constraints: 214873
1970.16/1976.03 c #Conflicts: 946000 | #Constraints: 215873
1970.16/1976.03 c #Conflicts: 947000 | #Constraints: 216873
1970.16/1976.03 c #Conflicts: 948000 | #Constraints: 217873
1970.16/1976.03 c #Conflicts: 949000 | #Constraints: 218873
1970.16/1976.03 c #Conflicts: 950000 | #Constraints: 219873
1970.16/1976.03 c #Conflicts: 951000 | #Constraints: 220873
1970.16/1976.03 c #Conflicts: 952000 | #Constraints: 221873
1970.16/1976.03 c #Conflicts: 953000 | #Constraints: 222873
1970.16/1976.03 c #Conflicts: 954000 | #Constraints: 223873
1970.16/1976.03 c #Conflicts: 955000 | #Constraints: 224873
1970.16/1976.03 c #Conflicts: 956000 | #Constraints: 225873
1970.16/1976.03 c #Conflicts: 957000 | #Constraints: 226873
2310.67/2317.50 c #Conflicts: 958000 | #Constraints: 227873
2310.67/2317.50 c #Conflicts: 959000 | #Constraints: 228873
2310.67/2317.50 c #Conflicts: 960000 | #Constraints: 229873
2310.67/2317.50 c #Conflicts: 961000 | #Constraints: 230873
2310.67/2317.50 c #Conflicts: 962000 | #Constraints: 231873
2310.67/2317.50 c #Conflicts: 963000 | #Constraints: 232873
2310.67/2317.50 c INPROCESSING
2310.67/2317.50 c GARBAGE COLLECT
2310.67/2317.50 c #Conflicts: 964000 | #Constraints: 176723
2310.67/2317.50 c #Conflicts: 965000 | #Constraints: 177723
2310.67/2317.50 c #Conflicts: 966000 | #Constraints: 178723
2310.67/2317.50 c #Conflicts: 967000 | #Constraints: 179723
2310.67/2317.50 c #Conflicts: 968000 | #Constraints: 180723
2310.67/2317.50 c #Conflicts: 969000 | #Constraints: 181723
2310.67/2317.50 c #Conflicts: 970000 | #Constraints: 182723
2310.67/2317.50 c #Conflicts: 971000 | #Constraints: 183723
2310.67/2317.50 c #Conflicts: 972000 | #Constraints: 184723
2310.67/2317.50 c #Conflicts: 973000 | #Constraints: 185723
2310.67/2317.50 c #Conflicts: 974000 | #Constraints: 186723
2310.67/2317.50 c #Conflicts: 975000 | #Constraints: 187723
2310.67/2317.50 c #Conflicts: 976000 | #Constraints: 188723
2310.67/2317.50 c #Conflicts: 977000 | #Constraints: 189723
2310.67/2317.50 c #Conflicts: 978000 | #Constraints: 190723
2310.67/2317.50 c #Conflicts: 979000 | #Constraints: 191723
2310.67/2317.50 c #Conflicts: 980000 | #Constraints: 192723
2310.67/2317.50 c #Conflicts: 981000 | #Constraints: 193723
2310.67/2317.50 c #Conflicts: 982000 | #Constraints: 194723
2310.67/2317.50 c #Conflicts: 983000 | #Constraints: 195723
2310.67/2317.50 c #Conflicts: 984000 | #Constraints: 196723
2310.67/2317.50 c #Conflicts: 985000 | #Constraints: 197723
2310.67/2317.50 c #Conflicts: 986000 | #Constraints: 198723
2310.67/2317.50 c #Conflicts: 987000 | #Constraints: 199723
2310.67/2317.50 c #Conflicts: 988000 | #Constraints: 200723
2310.67/2317.50 c #Conflicts: 989000 | #Constraints: 201723
2310.67/2317.50 c #Conflicts: 990000 | #Constraints: 202723
2310.67/2317.50 c #Conflicts: 991000 | #Constraints: 203723
2310.67/2317.50 c #Conflicts: 992000 | #Constraints: 204723
2310.67/2317.50 c #Conflicts: 993000 | #Constraints: 205723
2310.67/2317.50 c #Conflicts: 994000 | #Constraints: 206723
2310.67/2317.50 c #Conflicts: 995000 | #Constraints: 207723
2310.67/2317.50 c #Conflicts: 996000 | #Constraints: 208723
2310.67/2317.50 c #Conflicts: 997000 | #Constraints: 209723
2310.67/2317.50 c #Conflicts: 998000 | #Constraints: 210723
2310.67/2317.50 c #Conflicts: 999000 | #Constraints: 211723
2310.67/2317.50 c #Conflicts: 1000000 | #Constraints: 212723
2310.67/2317.50 c #Conflicts: 1001000 | #Constraints: 213723
2310.67/2317.50 c #Conflicts: 1002000 | #Constraints: 214723
2310.67/2317.50 c #Conflicts: 1003000 | #Constraints: 215723
2310.67/2317.50 c #Conflicts: 1004000 | #Constraints: 216723
2310.67/2317.50 c #Conflicts: 1005000 | #Constraints: 217723
2310.67/2317.50 c #Conflicts: 1006000 | #Constraints: 218723
2310.67/2317.50 c #Conflicts: 1007000 | #Constraints: 219723
2310.67/2317.50 c #Conflicts: 1008000 | #Constraints: 220723
2310.67/2317.50 c #Conflicts: 1009000 | #Constraints: 221723
2310.67/2317.50 c #Conflicts: 1010000 | #Constraints: 222723
2310.67/2317.50 c #Conflicts: 1011000 | #Constraints: 223723
2310.67/2317.50 c #Conflicts: 1012000 | #Constraints: 224723
2310.67/2317.50 c #Conflicts: 1013000 | #Constraints: 225723
2310.67/2317.50 c #Conflicts: 1014000 | #Constraints: 226723
2310.67/2317.50 c #Conflicts: 1015000 | #Constraints: 227723
2310.67/2317.50 c #Conflicts: 1016000 | #Constraints: 228723
2310.67/2317.50 c #Conflicts: 1017000 | #Constraints: 229723
2310.67/2317.50 c #Conflicts: 1018000 | #Constraints: 230723
2310.67/2317.50 c #Conflicts: 1019000 | #Constraints: 231723
2310.67/2317.50 c #Conflicts: 1020000 | #Constraints: 232723
2310.67/2317.50 c #Conflicts: 1021000 | #Constraints: 233723
2310.67/2317.50 c #Conflicts: 1022000 | #Constraints: 234723
2310.67/2317.50 c #Conflicts: 1023000 | #Constraints: 235723
2310.67/2317.50 c #Conflicts: 1024000 | #Constraints: 236723
2310.67/2317.50 c #Conflicts: 1025000 | #Constraints: 237723
2310.67/2317.50 c #Conflicts: 1026000 | #Constraints: 238723
2310.67/2317.50 c #Conflicts: 1027000 | #Constraints: 239723
2310.67/2317.50 c #Conflicts: 1028000 | #Constraints: 240723
2310.67/2317.50 c INPROCESSING
2310.67/2317.50 c GARBAGE COLLECT
2310.67/2317.50 c #Conflicts: 1029000 | #Constraints: 182557
2310.67/2317.50 c #Conflicts: 1030000 | #Constraints: 183557
2310.67/2317.50 c #Conflicts: 1031000 | #Constraints: 184557
2310.67/2317.50 c #Conflicts: 1032000 | #Constraints: 185557
2310.67/2317.50 c #Conflicts: 1033000 | #Constraints: 186557
2310.67/2317.50 c #Conflicts: 1034000 | #Constraints: 187557
2447.91/2455.13 c #Conflicts: 1035000 | #Constraints: 188557
2447.91/2455.13 c #Conflicts: 1036000 | #Constraints: 189557
2447.91/2455.13 c #Conflicts: 1037000 | #Constraints: 190557
2447.91/2455.13 c #Conflicts: 1038000 | #Constraints: 191557
2447.91/2455.13 c #Conflicts: 1039000 | #Constraints: 192557
2447.91/2455.13 c #Conflicts: 1040000 | #Constraints: 193557
2447.91/2455.13 c #Conflicts: 1041000 | #Constraints: 194557
2447.91/2455.13 c #Conflicts: 1042000 | #Constraints: 195557
2447.91/2455.13 c #Conflicts: 1043000 | #Constraints: 196557
2447.91/2455.13 c #Conflicts: 1044000 | #Constraints: 197557
2447.91/2455.13 c #Conflicts: 1045000 | #Constraints: 198557
2447.91/2455.13 c #Conflicts: 1046000 | #Constraints: 199557
2447.91/2455.13 c #Conflicts: 1047000 | #Constraints: 200557
2447.91/2455.13 c #Conflicts: 1048000 | #Constraints: 201557
2447.91/2455.13 c #Conflicts: 1049000 | #Constraints: 202557
2447.91/2455.13 c #Conflicts: 1050000 | #Constraints: 203557
2447.91/2455.13 c #Conflicts: 1051000 | #Constraints: 204557
2447.91/2455.13 c #Conflicts: 1052000 | #Constraints: 205557
2447.91/2455.13 c #Conflicts: 1053000 | #Constraints: 206557
2447.91/2455.13 c #Conflicts: 1054000 | #Constraints: 207557
2447.91/2455.13 c #Conflicts: 1055000 | #Constraints: 208557
2447.91/2455.13 c #Conflicts: 1056000 | #Constraints: 209557
2447.91/2455.13 c #Conflicts: 1057000 | #Constraints: 210557
2447.91/2455.13 c #Conflicts: 1058000 | #Constraints: 211557
2447.91/2455.13 c #Conflicts: 1059000 | #Constraints: 212557
2447.91/2455.13 c #Conflicts: 1060000 | #Constraints: 213557
2447.91/2455.13 c #Conflicts: 1061000 | #Constraints: 214557
2447.91/2455.13 c #Conflicts: 1062000 | #Constraints: 215557
2447.91/2455.13 c #Conflicts: 1063000 | #Constraints: 216557
2447.91/2455.13 c #Conflicts: 1064000 | #Constraints: 217557
2447.91/2455.13 c #Conflicts: 1065000 | #Constraints: 218557
2447.91/2455.13 c #Conflicts: 1066000 | #Constraints: 219557
2447.91/2455.13 c #Conflicts: 1067000 | #Constraints: 220557
2447.91/2455.13 c #Conflicts: 1068000 | #Constraints: 221557
2447.91/2455.13 c #Conflicts: 1069000 | #Constraints: 222557
2447.91/2455.13 c #Conflicts: 1070000 | #Constraints: 223557
2447.91/2455.13 c #Conflicts: 1071000 | #Constraints: 224557
2447.91/2455.13 c #Conflicts: 1072000 | #Constraints: 225557
2447.91/2455.13 c #Conflicts: 1073000 | #Constraints: 226557
2447.91/2455.13 c #Conflicts: 1074000 | #Constraints: 227557
2447.91/2455.13 c #Conflicts: 1075000 | #Constraints: 228557
2447.91/2455.13 c #Conflicts: 1076000 | #Constraints: 229557
2447.91/2455.13 c #Conflicts: 1077000 | #Constraints: 230557
2447.91/2455.13 c #Conflicts: 1078000 | #Constraints: 231557
2447.91/2455.13 c #Conflicts: 1079000 | #Constraints: 232557
2447.91/2455.13 c #Conflicts: 1080000 | #Constraints: 233557
2447.91/2455.13 c #Conflicts: 1081000 | #Constraints: 234557
2447.91/2455.13 c #Conflicts: 1082000 | #Constraints: 235557
2447.91/2455.13 c #Conflicts: 1083000 | #Constraints: 236557
2447.91/2455.13 c #Conflicts: 1084000 | #Constraints: 237557
2447.91/2455.13 c #Conflicts: 1085000 | #Constraints: 238557
2447.91/2455.13 c #Conflicts: 1086000 | #Constraints: 239557
2447.91/2455.13 c #Conflicts: 1087000 | #Constraints: 240557
2447.91/2455.13 c #Conflicts: 1088000 | #Constraints: 241557
2447.91/2455.13 c #Conflicts: 1089000 | #Constraints: 242557
2447.91/2455.13 c #Conflicts: 1090000 | #Constraints: 243557
2447.91/2455.13 c #Conflicts: 1091000 | #Constraints: 244557
2447.91/2455.13 c #Conflicts: 1092000 | #Constraints: 245557
2447.91/2455.13 c #Conflicts: 1093000 | #Constraints: 246557
2447.91/2455.13 c #Conflicts: 1094000 | #Constraints: 247557
2447.91/2455.13 c INPROCESSING
2447.91/2455.13 c GARBAGE COLLECT
2447.91/2455.13 c #Conflicts: 1095000 | #Constraints: 187670
2447.91/2455.13 c #Conflicts: 1096000 | #Constraints: 188670
2447.91/2455.13 c #Conflicts: 1097000 | #Constraints: 189670
2447.91/2455.13 c #Conflicts: 1098000 | #Constraints: 190670
2447.91/2455.13 c #Conflicts: 1099000 | #Constraints: 191670
2447.91/2455.13 c #Conflicts: 1100000 | #Constraints: 192670
2447.91/2455.13 c #Conflicts: 1101000 | #Constraints: 193670
2447.91/2455.13 c #Conflicts: 1102000 | #Constraints: 194670
2447.91/2455.13 c #Conflicts: 1103000 | #Constraints: 195670
2447.91/2455.13 c #Conflicts: 1104000 | #Constraints: 196670
2447.91/2455.13 c #Conflicts: 1105000 | #Constraints: 197670
2447.91/2455.13 c #Conflicts: 1106000 | #Constraints: 198670
2447.91/2455.13 c #Conflicts: 1107000 | #Constraints: 199670
2447.91/2455.13 c #Conflicts: 1108000 | #Constraints: 200670
2447.91/2455.13 c #Conflicts: 1109000 | #Constraints: 201670
2447.91/2455.13 c #Conflicts: 1110000 | #Constraints: 202670
2447.91/2455.13 c #Conflicts: 1111000 | #Constraints: 203670
2447.91/2455.13 c #Conflicts: 1112000 | #Constraints: 204670
2590.94/2598.53 c #Conflicts: 1113000 | #Constraints: 205670
2590.94/2598.53 c #Conflicts: 1114000 | #Constraints: 206670
2590.94/2598.53 c #Conflicts: 1115000 | #Constraints: 207670
2590.94/2598.53 c #Conflicts: 1116000 | #Constraints: 208670
2590.94/2598.53 c #Conflicts: 1117000 | #Constraints: 209670
2590.94/2598.53 c #Conflicts: 1118000 | #Constraints: 210670
2590.94/2598.53 c #Conflicts: 1119000 | #Constraints: 211670
2590.94/2598.53 c #Conflicts: 1120000 | #Constraints: 212670
2590.94/2598.53 c #Conflicts: 1121000 | #Constraints: 213670
2590.94/2598.53 c #Conflicts: 1122000 | #Constraints: 214670
2590.94/2598.53 c #Conflicts: 1123000 | #Constraints: 215670
2590.94/2598.53 c #Conflicts: 1124000 | #Constraints: 216670
2590.94/2598.53 c #Conflicts: 1125000 | #Constraints: 217670
2590.94/2598.53 c #Conflicts: 1126000 | #Constraints: 218670
2590.94/2598.53 c #Conflicts: 1127000 | #Constraints: 219670
2590.94/2598.53 c #Conflicts: 1128000 | #Constraints: 220670
2590.94/2598.53 c #Conflicts: 1129000 | #Constraints: 221670
2590.94/2598.53 c #Conflicts: 1130000 | #Constraints: 222670
2590.94/2598.53 c #Conflicts: 1131000 | #Constraints: 223670
2590.94/2598.53 c #Conflicts: 1132000 | #Constraints: 224670
2590.94/2598.53 c #Conflicts: 1133000 | #Constraints: 225670
2590.94/2598.53 c #Conflicts: 1134000 | #Constraints: 226670
2590.94/2598.53 c #Conflicts: 1135000 | #Constraints: 227670
2590.94/2598.53 c #Conflicts: 1136000 | #Constraints: 228670
2590.94/2598.53 c #Conflicts: 1137000 | #Constraints: 229670
2590.94/2598.53 c #Conflicts: 1138000 | #Constraints: 230670
2590.94/2598.53 c #Conflicts: 1139000 | #Constraints: 231670
2590.94/2598.53 c #Conflicts: 1140000 | #Constraints: 232670
2590.94/2598.53 c #Conflicts: 1141000 | #Constraints: 233670
2590.94/2598.53 c #Conflicts: 1142000 | #Constraints: 234670
2590.94/2598.53 c #Conflicts: 1143000 | #Constraints: 235670
2590.94/2598.53 c #Conflicts: 1144000 | #Constraints: 236670
2590.94/2598.53 c #Conflicts: 1145000 | #Constraints: 237670
2590.94/2598.53 c #Conflicts: 1146000 | #Constraints: 238670
2590.94/2598.53 c #Conflicts: 1147000 | #Constraints: 239670
2590.94/2598.53 c #Conflicts: 1148000 | #Constraints: 240670
2590.94/2598.53 c #Conflicts: 1149000 | #Constraints: 241670
2590.94/2598.53 c #Conflicts: 1150000 | #Constraints: 242670
2590.94/2598.53 c #Conflicts: 1151000 | #Constraints: 243670
2590.94/2598.53 c #Conflicts: 1152000 | #Constraints: 244670
2590.94/2598.53 c #Conflicts: 1153000 | #Constraints: 245670
2590.94/2598.53 c #Conflicts: 1154000 | #Constraints: 246670
2590.94/2598.53 c #Conflicts: 1155000 | #Constraints: 247670
2590.94/2598.53 c #Conflicts: 1156000 | #Constraints: 248670
2590.94/2598.53 c #Conflicts: 1157000 | #Constraints: 249670
2590.94/2598.53 c #Conflicts: 1158000 | #Constraints: 250670
2590.94/2598.53 c #Conflicts: 1159000 | #Constraints: 251670
2590.94/2598.53 c #Conflicts: 1160000 | #Constraints: 252670
2590.94/2598.53 c #Conflicts: 1161000 | #Constraints: 253670
2590.94/2598.53 c #Conflicts: 1162000 | #Constraints: 254670
2590.94/2598.53 c #Conflicts: 1163000 | #Constraints: 255670
2590.94/2598.53 c INPROCESSING
2590.94/2598.53 c GARBAGE COLLECT
2590.94/2598.53 c #Conflicts: 1164000 | #Constraints: 193378
2590.94/2598.53 c #Conflicts: 1165000 | #Constraints: 194378
2590.94/2598.53 c #Conflicts: 1166000 | #Constraints: 195378
2590.94/2598.53 c #Conflicts: 1167000 | #Constraints: 196378
2590.94/2598.53 c #Conflicts: 1168000 | #Constraints: 197378
2590.94/2598.53 c #Conflicts: 1169000 | #Constraints: 198378
2590.94/2598.53 c #Conflicts: 1170000 | #Constraints: 199378
2590.94/2598.53 c #Conflicts: 1171000 | #Constraints: 200378
2590.94/2598.53 c #Conflicts: 1172000 | #Constraints: 201378
2590.94/2598.53 c #Conflicts: 1173000 | #Constraints: 202378
2590.94/2598.53 c #Conflicts: 1174000 | #Constraints: 203378
2590.94/2598.53 c #Conflicts: 1175000 | #Constraints: 204378
2590.94/2598.53 c #Conflicts: 1176000 | #Constraints: 205378
2590.94/2598.53 c #Conflicts: 1177000 | #Constraints: 206378
2590.94/2598.53 c #Conflicts: 1178000 | #Constraints: 207378
2590.94/2598.53 c #Conflicts: 1179000 | #Constraints: 208378
2590.94/2598.53 c #Conflicts: 1180000 | #Constraints: 209378
2590.94/2598.53 c #Conflicts: 1181000 | #Constraints: 210378
2590.94/2598.53 c #Conflicts: 1182000 | #Constraints: 211378
2590.94/2598.53 c #Conflicts: 1183000 | #Constraints: 212378
2590.94/2598.53 c #Conflicts: 1184000 | #Constraints: 213378
2590.94/2598.53 c #Conflicts: 1185000 | #Constraints: 214378
2590.94/2598.53 c #Conflicts: 1186000 | #Constraints: 215378
2590.94/2598.53 c #Conflicts: 1187000 | #Constraints: 216378
2590.94/2598.53 c #Conflicts: 1188000 | #Constraints: 217378
2590.94/2598.53 c #Conflicts: 1189000 | #Constraints: 218378
2590.94/2598.53 c #Conflicts: 1190000 | #Constraints: 219378
2729.09/2737.06 c #Conflicts: 1191000 | #Constraints: 220378
2729.09/2737.06 c #Conflicts: 1192000 | #Constraints: 221378
2729.09/2737.06 c #Conflicts: 1193000 | #Constraints: 222378
2729.09/2737.06 c #Conflicts: 1194000 | #Constraints: 223378
2729.09/2737.06 c #Conflicts: 1195000 | #Constraints: 224378
2729.09/2737.06 c #Conflicts: 1196000 | #Constraints: 225378
2729.09/2737.06 c #Conflicts: 1197000 | #Constraints: 226378
2729.09/2737.06 c #Conflicts: 1198000 | #Constraints: 227378
2729.09/2737.06 c #Conflicts: 1199000 | #Constraints: 228378
2729.09/2737.06 c #Conflicts: 1200000 | #Constraints: 229378
2729.09/2737.06 c #Conflicts: 1201000 | #Constraints: 230378
2729.09/2737.06 c #Conflicts: 1202000 | #Constraints: 231378
2729.09/2737.06 c #Conflicts: 1203000 | #Constraints: 232378
2729.09/2737.06 c #Conflicts: 1204000 | #Constraints: 233378
2729.09/2737.06 c #Conflicts: 1205000 | #Constraints: 234378
2729.09/2737.06 c #Conflicts: 1206000 | #Constraints: 235378
2729.09/2737.06 c #Conflicts: 1207000 | #Constraints: 236378
2729.09/2737.06 c #Conflicts: 1208000 | #Constraints: 237378
2729.09/2737.06 c #Conflicts: 1209000 | #Constraints: 238378
2729.09/2737.06 c #Conflicts: 1210000 | #Constraints: 239378
2729.09/2737.06 c #Conflicts: 1211000 | #Constraints: 240378
2729.09/2737.06 c #Conflicts: 1212000 | #Constraints: 241378
2729.09/2737.06 c #Conflicts: 1213000 | #Constraints: 242378
2729.09/2737.06 c #Conflicts: 1214000 | #Constraints: 243378
2729.09/2737.06 c #Conflicts: 1215000 | #Constraints: 244378
2729.09/2737.06 c #Conflicts: 1216000 | #Constraints: 245378
2729.09/2737.06 c #Conflicts: 1217000 | #Constraints: 246378
2729.09/2737.06 c #Conflicts: 1218000 | #Constraints: 247378
2729.09/2737.06 c #Conflicts: 1219000 | #Constraints: 248378
2729.09/2737.06 c #Conflicts: 1220000 | #Constraints: 249378
2729.09/2737.06 c #Conflicts: 1221000 | #Constraints: 250378
2729.09/2737.06 c #Conflicts: 1222000 | #Constraints: 251378
2729.09/2737.06 c #Conflicts: 1223000 | #Constraints: 252378
2729.09/2737.06 c #Conflicts: 1224000 | #Constraints: 253378
2729.09/2737.06 c #Conflicts: 1225000 | #Constraints: 254378
2729.09/2737.06 c #Conflicts: 1226000 | #Constraints: 255378
2729.09/2737.06 c #Conflicts: 1227000 | #Constraints: 256378
2729.09/2737.06 c #Conflicts: 1228000 | #Constraints: 257378
2729.09/2737.06 c #Conflicts: 1229000 | #Constraints: 258378
2729.09/2737.06 c #Conflicts: 1230000 | #Constraints: 259378
2729.09/2737.06 c #Conflicts: 1231000 | #Constraints: 260378
2729.09/2737.06 c #Conflicts: 1232000 | #Constraints: 261378
2729.09/2737.06 c #Conflicts: 1233000 | #Constraints: 262378
2729.09/2737.06 c #Conflicts: 1234000 | #Constraints: 263378
2729.09/2737.06 c INPROCESSING
2729.09/2737.06 c GARBAGE COLLECT
2729.09/2737.06 c #Conflicts: 1235000 | #Constraints: 198928
2729.09/2737.06 c #Conflicts: 1236000 | #Constraints: 199928
2729.09/2737.06 c #Conflicts: 1237000 | #Constraints: 200928
2729.09/2737.06 c #Conflicts: 1238000 | #Constraints: 201928
2729.09/2737.06 c #Conflicts: 1239000 | #Constraints: 202928
2729.09/2737.06 c #Conflicts: 1240000 | #Constraints: 203928
2729.09/2737.06 c #Conflicts: 1241000 | #Constraints: 204928
2729.09/2737.06 c #Conflicts: 1242000 | #Constraints: 205928
2729.09/2737.06 c #Conflicts: 1243000 | #Constraints: 206928
2729.09/2737.06 c #Conflicts: 1244000 | #Constraints: 207928
2729.09/2737.06 c #Conflicts: 1245000 | #Constraints: 208928
2729.09/2737.06 c #Conflicts: 1246000 | #Constraints: 209928
2729.09/2737.06 c #Conflicts: 1247000 | #Constraints: 210928
2729.09/2737.06 c #Conflicts: 1248000 | #Constraints: 211928
2729.09/2737.06 c #Conflicts: 1249000 | #Constraints: 212928
2729.09/2737.06 c #Conflicts: 1250000 | #Constraints: 213928
2729.09/2737.06 c #Conflicts: 1251000 | #Constraints: 214928
2729.09/2737.06 c #Conflicts: 1252000 | #Constraints: 215928
2729.09/2737.06 c #Conflicts: 1253000 | #Constraints: 216928
2729.09/2737.06 c #Conflicts: 1254000 | #Constraints: 217928
2729.09/2737.06 c #Conflicts: 1255000 | #Constraints: 218928
2729.09/2737.06 c #Conflicts: 1256000 | #Constraints: 219928
2729.09/2737.06 c #Conflicts: 1257000 | #Constraints: 220928
2729.09/2737.06 c #Conflicts: 1258000 | #Constraints: 221928
2729.09/2737.06 c #Conflicts: 1259000 | #Constraints: 222928
2729.09/2737.06 c #Conflicts: 1260000 | #Constraints: 223928
2729.09/2737.06 c #Conflicts: 1261000 | #Constraints: 224928
2729.09/2737.06 c #Conflicts: 1262000 | #Constraints: 225928
2729.09/2737.06 c #Conflicts: 1263000 | #Constraints: 226928
2729.09/2737.06 c #Conflicts: 1264000 | #Constraints: 227928
2729.09/2737.06 c #Conflicts: 1265000 | #Constraints: 228928
2729.09/2737.06 c #Conflicts: 1266000 | #Constraints: 229928
2729.09/2737.06 c #Conflicts: 1267000 | #Constraints: 230928
2729.09/2737.06 c #Conflicts: 1268000 | #Constraints: 231928
2877.21/2885.51 c #Conflicts: 1269000 | #Constraints: 232928
2877.21/2885.51 c #Conflicts: 1270000 | #Constraints: 233928
2877.21/2885.51 c #Conflicts: 1271000 | #Constraints: 234928
2877.21/2885.51 c #Conflicts: 1272000 | #Constraints: 235928
2877.21/2885.51 c #Conflicts: 1273000 | #Constraints: 236928
2877.21/2885.51 c #Conflicts: 1274000 | #Constraints: 237928
2877.21/2885.51 c #Conflicts: 1275000 | #Constraints: 238928
2877.21/2885.51 c #Conflicts: 1276000 | #Constraints: 239928
2877.21/2885.51 c #Conflicts: 1277000 | #Constraints: 240928
2877.21/2885.51 c #Conflicts: 1278000 | #Constraints: 241928
2877.21/2885.51 c #Conflicts: 1279000 | #Constraints: 242928
2877.21/2885.51 c #Conflicts: 1280000 | #Constraints: 243928
2877.21/2885.51 c #Conflicts: 1281000 | #Constraints: 244928
2877.21/2885.51 c #Conflicts: 1282000 | #Constraints: 245928
2877.21/2885.51 c #Conflicts: 1283000 | #Constraints: 246928
2877.21/2885.51 c #Conflicts: 1284000 | #Constraints: 247928
2877.21/2885.51 c #Conflicts: 1285000 | #Constraints: 248928
2877.21/2885.51 c #Conflicts: 1286000 | #Constraints: 249928
2877.21/2885.51 c #Conflicts: 1287000 | #Constraints: 250928
2877.21/2885.51 c #Conflicts: 1288000 | #Constraints: 251928
2877.21/2885.51 c #Conflicts: 1289000 | #Constraints: 252928
2877.21/2885.51 c #Conflicts: 1290000 | #Constraints: 253928
2877.21/2885.51 c #Conflicts: 1291000 | #Constraints: 254928
2877.21/2885.51 c #Conflicts: 1292000 | #Constraints: 255928
2877.21/2885.51 c #Conflicts: 1293000 | #Constraints: 256928
2877.21/2885.51 c #Conflicts: 1294000 | #Constraints: 257928
2877.21/2885.51 c #Conflicts: 1295000 | #Constraints: 258928
2877.21/2885.51 c #Conflicts: 1296000 | #Constraints: 259928
2877.21/2885.51 c #Conflicts: 1297000 | #Constraints: 260928
2877.21/2885.51 c #Conflicts: 1298000 | #Constraints: 261928
2877.21/2885.51 c #Conflicts: 1299000 | #Constraints: 262928
2877.21/2885.51 c #Conflicts: 1300000 | #Constraints: 263928
2877.21/2885.51 c #Conflicts: 1301000 | #Constraints: 264928
2877.21/2885.51 c #Conflicts: 1302000 | #Constraints: 265928
2877.21/2885.51 c #Conflicts: 1303000 | #Constraints: 266928
2877.21/2885.51 c #Conflicts: 1304000 | #Constraints: 267928
2877.21/2885.51 c #Conflicts: 1305000 | #Constraints: 268928
2877.21/2885.51 c #Conflicts: 1306000 | #Constraints: 269928
2877.21/2885.51 c INPROCESSING
2877.21/2885.51 c GARBAGE COLLECT
2877.21/2885.51 c #Conflicts: 1307000 | #Constraints: 202973
2877.21/2885.51 c #Conflicts: 1308000 | #Constraints: 203973
2877.21/2885.51 c #Conflicts: 1309000 | #Constraints: 204973
2877.21/2885.51 c #Conflicts: 1310000 | #Constraints: 205973
2877.21/2885.51 c #Conflicts: 1311000 | #Constraints: 206973
2877.21/2885.51 c #Conflicts: 1312000 | #Constraints: 207973
2877.21/2885.51 c #Conflicts: 1313000 | #Constraints: 208973
2877.21/2885.51 c #Conflicts: 1314000 | #Constraints: 209973
2877.21/2885.51 c #Conflicts: 1315000 | #Constraints: 210973
2877.21/2885.51 c #Conflicts: 1316000 | #Constraints: 211973
2877.21/2885.51 c #Conflicts: 1317000 | #Constraints: 212973
2877.21/2885.51 c #Conflicts: 1318000 | #Constraints: 213973
2877.21/2885.51 c #Conflicts: 1319000 | #Constraints: 214973
2877.21/2885.51 c #Conflicts: 1320000 | #Constraints: 215973
2877.21/2885.51 c #Conflicts: 1321000 | #Constraints: 216973
2877.21/2885.51 c #Conflicts: 1322000 | #Constraints: 217973
2877.21/2885.51 c #Conflicts: 1323000 | #Constraints: 218973
2877.21/2885.51 c #Conflicts: 1324000 | #Constraints: 219973
2877.21/2885.51 c #Conflicts: 1325000 | #Constraints: 220973
2877.21/2885.51 c #Conflicts: 1326000 | #Constraints: 221973
2877.21/2885.51 c #Conflicts: 1327000 | #Constraints: 222973
2877.21/2885.51 c #Conflicts: 1328000 | #Constraints: 223973
2877.21/2885.51 c #Conflicts: 1329000 | #Constraints: 224973
2877.21/2885.51 c #Conflicts: 1330000 | #Constraints: 225973
2877.21/2885.51 c #Conflicts: 1331000 | #Constraints: 226973
2877.21/2885.51 c #Conflicts: 1332000 | #Constraints: 227973
2877.21/2885.51 c #Conflicts: 1333000 | #Constraints: 228973
2877.21/2885.51 c #Conflicts: 1334000 | #Constraints: 229973
2877.21/2885.51 c #Conflicts: 1335000 | #Constraints: 230973
2877.21/2885.51 c #Conflicts: 1336000 | #Constraints: 231973
2877.21/2885.51 c #Conflicts: 1337000 | #Constraints: 232973
2877.21/2885.51 c #Conflicts: 1338000 | #Constraints: 233973
2877.21/2885.51 c #Conflicts: 1339000 | #Constraints: 234973
2877.21/2885.51 c #Conflicts: 1340000 | #Constraints: 235973
2877.21/2885.51 c #Conflicts: 1341000 | #Constraints: 236973
2877.21/2885.51 c #Conflicts: 1342000 | #Constraints: 237973
2877.21/2885.51 c #Conflicts: 1343000 | #Constraints: 238973
2877.21/2885.51 c #Conflicts: 1344000 | #Constraints: 239973
2877.21/2885.51 c #Conflicts: 1345000 | #Constraints: 240973
2877.21/2885.51 c #Conflicts: 1346000 | #Constraints: 241973
2877.21/2885.51 c #Conflicts: 1347000 | #Constraints: 242973
3034.20/3042.97 c #Conflicts: 1348000 | #Constraints: 243973
3034.20/3042.97 c #Conflicts: 1349000 | #Constraints: 244973
3034.20/3042.97 c #Conflicts: 1350000 | #Constraints: 245973
3034.20/3042.97 c #Conflicts: 1351000 | #Constraints: 246973
3034.20/3042.97 c #Conflicts: 1352000 | #Constraints: 247973
3034.20/3042.97 c #Conflicts: 1353000 | #Constraints: 248973
3034.20/3042.97 c #Conflicts: 1354000 | #Constraints: 249973
3034.20/3042.97 c #Conflicts: 1355000 | #Constraints: 250973
3034.20/3042.97 c #Conflicts: 1356000 | #Constraints: 251973
3034.20/3042.97 c #Conflicts: 1357000 | #Constraints: 252973
3034.20/3042.97 c #Conflicts: 1358000 | #Constraints: 253973
3034.20/3042.97 c #Conflicts: 1359000 | #Constraints: 254973
3034.20/3042.97 c #Conflicts: 1360000 | #Constraints: 255973
3034.20/3042.97 c #Conflicts: 1361000 | #Constraints: 256973
3034.20/3042.97 c #Conflicts: 1362000 | #Constraints: 257973
3034.20/3042.97 c #Conflicts: 1363000 | #Constraints: 258973
3034.20/3042.97 c #Conflicts: 1364000 | #Constraints: 259973
3034.20/3042.97 c #Conflicts: 1365000 | #Constraints: 260973
3034.20/3042.97 c #Conflicts: 1366000 | #Constraints: 261973
3034.20/3042.97 c #Conflicts: 1367000 | #Constraints: 262973
3034.20/3042.97 c #Conflicts: 1368000 | #Constraints: 263973
3034.20/3042.97 c #Conflicts: 1369000 | #Constraints: 264973
3034.20/3042.97 c #Conflicts: 1370000 | #Constraints: 265973
3034.20/3042.97 c #Conflicts: 1371000 | #Constraints: 266973
3034.20/3042.97 c #Conflicts: 1372000 | #Constraints: 267973
3034.20/3042.97 c #Conflicts: 1373000 | #Constraints: 268973
3034.20/3042.97 c #Conflicts: 1374000 | #Constraints: 269973
3034.20/3042.97 c #Conflicts: 1375000 | #Constraints: 270973
3034.20/3042.97 c #Conflicts: 1376000 | #Constraints: 271973
3034.20/3042.97 c #Conflicts: 1377000 | #Constraints: 272973
3034.20/3042.97 c #Conflicts: 1378000 | #Constraints: 273973
3034.20/3042.97 c #Conflicts: 1379000 | #Constraints: 274973
3034.20/3042.97 c #Conflicts: 1380000 | #Constraints: 275973
3034.20/3042.97 c #Conflicts: 1381000 | #Constraints: 276973
3034.20/3042.97 c INPROCESSING
3034.20/3042.97 c GARBAGE COLLECT
3034.20/3042.97 c #Conflicts: 1382000 | #Constraints: 210639
3034.20/3042.97 c #Conflicts: 1383000 | #Constraints: 211639
3034.20/3042.97 c #Conflicts: 1384000 | #Constraints: 212639
3034.20/3042.97 c #Conflicts: 1385000 | #Constraints: 213639
3034.20/3042.97 c #Conflicts: 1386000 | #Constraints: 214639
3034.20/3042.97 c #Conflicts: 1387000 | #Constraints: 215639
3034.20/3042.97 c #Conflicts: 1388000 | #Constraints: 216639
3034.20/3042.97 c #Conflicts: 1389000 | #Constraints: 217639
3034.20/3042.97 c #Conflicts: 1390000 | #Constraints: 218639
3034.20/3042.97 c #Conflicts: 1391000 | #Constraints: 219639
3034.20/3042.97 c #Conflicts: 1392000 | #Constraints: 220639
3034.20/3042.97 c #Conflicts: 1393000 | #Constraints: 221639
3034.20/3042.97 c #Conflicts: 1394000 | #Constraints: 222639
3034.20/3042.97 c #Conflicts: 1395000 | #Constraints: 223639
3034.20/3042.97 c #Conflicts: 1396000 | #Constraints: 224639
3034.20/3042.97 c #Conflicts: 1397000 | #Constraints: 225639
3034.20/3042.97 c #Conflicts: 1398000 | #Constraints: 226639
3034.20/3042.97 c #Conflicts: 1399000 | #Constraints: 227639
3034.20/3042.97 c #Conflicts: 1400000 | #Constraints: 228639
3034.20/3042.97 c #Conflicts: 1401000 | #Constraints: 229639
3034.20/3042.97 c #Conflicts: 1402000 | #Constraints: 230639
3034.20/3042.97 c #Conflicts: 1403000 | #Constraints: 231639
3034.20/3042.97 c #Conflicts: 1404000 | #Constraints: 232639
3034.20/3042.97 c #Conflicts: 1405000 | #Constraints: 233639
3034.20/3042.97 c #Conflicts: 1406000 | #Constraints: 234639
3034.20/3042.97 c #Conflicts: 1407000 | #Constraints: 235639
3034.20/3042.97 c #Conflicts: 1408000 | #Constraints: 236639
3034.20/3042.97 c #Conflicts: 1409000 | #Constraints: 237639
3034.20/3042.97 c #Conflicts: 1410000 | #Constraints: 238639
3034.20/3042.97 c #Conflicts: 1411000 | #Constraints: 239639
3034.20/3042.97 c #Conflicts: 1412000 | #Constraints: 240639
3034.20/3042.97 c #Conflicts: 1413000 | #Constraints: 241639
3034.20/3042.97 c #Conflicts: 1414000 | #Constraints: 242639
3034.20/3042.97 c #Conflicts: 1415000 | #Constraints: 243639
3034.20/3042.97 c #Conflicts: 1416000 | #Constraints: 244639
3034.20/3042.97 c #Conflicts: 1417000 | #Constraints: 245639
3034.20/3042.97 c #Conflicts: 1418000 | #Constraints: 246639
3034.20/3042.97 c #Conflicts: 1419000 | #Constraints: 247639
3034.20/3042.97 c #Conflicts: 1420000 | #Constraints: 248639
3034.20/3042.97 c #Conflicts: 1421000 | #Constraints: 249639
3034.20/3042.97 c #Conflicts: 1422000 | #Constraints: 250639
3034.20/3042.97 c #Conflicts: 1423000 | #Constraints: 251639
3034.20/3042.97 c #Conflicts: 1424000 | #Constraints: 252639
3034.20/3042.97 c #Conflicts: 1425000 | #Constraints: 253639
3599.53/3609.64 c #Conflicts: 1426000 | #Constraints: 254639
3599.53/3609.64 c #Conflicts: 1427000 | #Constraints: 255639
3599.53/3609.64 c #Conflicts: 1428000 | #Constraints: 256639
3599.53/3609.64 c #Conflicts: 1429000 | #Constraints: 257639
3599.53/3609.64 c #Conflicts: 1430000 | #Constraints: 258639
3599.53/3609.64 c #Conflicts: 1431000 | #Constraints: 259639
3599.53/3609.64 c #Conflicts: 1432000 | #Constraints: 260639
3599.53/3609.64 c #Conflicts: 1433000 | #Constraints: 261639
3599.53/3609.64 c #Conflicts: 1434000 | #Constraints: 262639
3599.53/3609.64 c #Conflicts: 1435000 | #Constraints: 263639
3599.53/3609.64 c #Conflicts: 1436000 | #Constraints: 264639
3599.53/3609.64 c #Conflicts: 1437000 | #Constraints: 265639
3599.53/3609.64 c #Conflicts: 1438000 | #Constraints: 266639
3599.53/3609.64 c #Conflicts: 1439000 | #Constraints: 267639
3599.53/3609.64 c #Conflicts: 1440000 | #Constraints: 268639
3599.53/3609.64 c #Conflicts: 1441000 | #Constraints: 269639
3599.53/3609.64 c #Conflicts: 1442000 | #Constraints: 270639
3599.53/3609.64 c #Conflicts: 1443000 | #Constraints: 271639
3599.53/3609.64 c #Conflicts: 1444000 | #Constraints: 272639
3599.53/3609.64 c #Conflicts: 1445000 | #Constraints: 273639
3599.53/3609.64 c #Conflicts: 1446000 | #Constraints: 274639
3599.53/3609.64 c #Conflicts: 1447000 | #Constraints: 275639
3599.53/3609.64 c #Conflicts: 1448000 | #Constraints: 276639
3599.53/3609.64 c #Conflicts: 1449000 | #Constraints: 277639
3599.53/3609.64 c #Conflicts: 1450000 | #Constraints: 278639
3599.53/3609.64 c #Conflicts: 1451000 | #Constraints: 279639
3599.53/3609.64 c #Conflicts: 1452000 | #Constraints: 280639
3599.53/3609.64 c #Conflicts: 1453000 | #Constraints: 281639
3599.53/3609.64 c #Conflicts: 1454000 | #Constraints: 282639
3599.53/3609.64 c #Conflicts: 1455000 | #Constraints: 283639
3599.53/3609.64 c #Conflicts: 1456000 | #Constraints: 284639
3599.53/3609.64 c #Conflicts: 1457000 | #Constraints: 285639
3599.53/3609.64 c #Conflicts: 1458000 | #Constraints: 286639
3599.53/3609.64 c INPROCESSING
3599.53/3609.64 c GARBAGE COLLECT
3599.53/3609.64 c #Conflicts: 1459000 | #Constraints: 216995
3599.53/3609.64 c #Conflicts: 1460000 | #Constraints: 217995
3599.53/3609.64 c #Conflicts: 1461000 | #Constraints: 218995
3599.53/3609.64 c #Conflicts: 1462000 | #Constraints: 219995
3599.53/3609.64 c #Conflicts: 1463000 | #Constraints: 220995
3599.53/3609.64 c #Conflicts: 1464000 | #Constraints: 221995
3599.53/3609.64 c #Conflicts: 1465000 | #Constraints: 222995
3599.53/3609.64 c #Conflicts: 1466000 | #Constraints: 223995
3599.53/3609.64 c #Conflicts: 1467000 | #Constraints: 224995
3599.53/3609.64 c #Conflicts: 1468000 | #Constraints: 225995
3599.53/3609.64 c #Conflicts: 1469000 | #Constraints: 226995
3599.53/3609.64 c #Conflicts: 1470000 | #Constraints: 227995
3599.53/3609.64 c #Conflicts: 1471000 | #Constraints: 228995
3599.53/3609.64 c #Conflicts: 1472000 | #Constraints: 229995
3599.53/3609.64 c #Conflicts: 1473000 | #Constraints: 230995
3599.53/3609.64 c #Conflicts: 1474000 | #Constraints: 231995
3599.53/3609.64 c #Conflicts: 1475000 | #Constraints: 232995
3599.53/3609.64 c #Conflicts: 1476000 | #Constraints: 233995
3599.53/3609.64 c #Conflicts: 1477000 | #Constraints: 234995
3599.53/3609.64 c #Conflicts: 1478000 | #Constraints: 235995
3599.53/3609.64 c #Conflicts: 1479000 | #Constraints: 236995
3599.53/3609.64 c #Conflicts: 1480000 | #Constraints: 237995
3599.53/3609.64 c #Conflicts: 1481000 | #Constraints: 238995
3599.53/3609.64 c #Conflicts: 1482000 | #Constraints: 239995
3599.53/3609.64 c #Conflicts: 1483000 | #Constraints: 240995
3599.53/3609.64 c #Conflicts: 1484000 | #Constraints: 241995
3599.53/3609.64 c #Conflicts: 1485000 | #Constraints: 242995
3599.53/3609.64 c #Conflicts: 1486000 | #Constraints: 243995
3599.53/3609.64 c #Conflicts: 1487000 | #Constraints: 244995
3599.53/3609.64 c #Conflicts: 1488000 | #Constraints: 245995
3599.53/3609.64 c #Conflicts: 1489000 | #Constraints: 246995
3599.53/3609.64 c #Conflicts: 1490000 | #Constraints: 247995
3599.53/3609.64 c #Conflicts: 1491000 | #Constraints: 248995
3599.53/3609.64 c #Conflicts: 1492000 | #Constraints: 249995
3599.53/3609.64 c #Conflicts: 1493000 | #Constraints: 250995
3599.53/3609.64 c #Conflicts: 1494000 | #Constraints: 251995
3599.53/3609.64 c #Conflicts: 1495000 | #Constraints: 252995
3599.53/3609.64 c #Conflicts: 1496000 | #Constraints: 253995
3599.53/3609.64 c #Conflicts: 1497000 | #Constraints: 254995
3599.53/3609.64 c #Conflicts: 1498000 | #Constraints: 255995
3599.53/3609.64 c #Conflicts: 1499000 | #Constraints: 256995
3599.53/3609.64 c #Conflicts: 1500000 | #Constraints: 257995
3599.53/3609.64 c #Conflicts: 1501000 | #Constraints: 258995
3599.53/3609.64 c #Conflicts: 1502000 | #Constraints: 259995
3599.53/3609.64 c #Conflicts: 1503000 | #Constraints: 260995
3600.03/3610.10 c cpu time 3568.5 s
3600.03/3610.10 c deterministic time 259246253604 2.59e+11
3600.03/3610.10 c optimization time 71.7484 s
3600.03/3610.10 c total solve time 3495.66 s
3600.03/3610.10 c core-guided solve time 0 s
3600.03/3610.10 c propagation time 2829.2 s
3600.03/3610.10 c conflict analysis time 166.524 s
3600.03/3610.10 c propagations 2840843699
3600.03/3610.10 c resolve steps 8484715
3600.03/3610.10 c decisions 30647908
3600.03/3610.10 c conflicts 1503264
3600.03/3610.10 c restarts 2939
3600.03/3610.10 c inprocessing phases 46
3600.03/3610.10 c garbage collections 29 ,( 63.04 )
3600.03/3610.10 c input clauses 20000 ,( 20.09 )
3600.03/3610.10 c input cardinalities 160 ,( 0.16 )
3600.03/3610.10 c input general constraints 79398 ,( 79.75 )
3600.03/3610.10 c input average constraint length 37.28
3600.03/3610.10 c input average constraint degree 510.89
3600.03/3610.10 c learned clauses 1061794 ,( 70.63 )
3600.03/3610.10 c learned cardinalities 16966 ,( 1.13 )
3600.03/3610.10 c learned general constraints 424515 ,( 28.24 )
3600.03/3610.10 c learned average constraint length 91.71
3600.03/3610.10 c learned average constraint degree 93249.78
3600.03/3610.10 c watched CF 32, 64, 128, Arb: 200545 , 0 , 0 , 0
3600.03/3610.10 c counting CF 32, 64, 128, Arb: 303368 , 0 , 0 , 0
3600.03/3610.10 c watched constraints 200545 ,( 39.80 )
3600.03/3610.10 c counting constraints 303368 ,( 60.20 )
3600.03/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 596124070 , 42326368 , 8611830663 ,( 3333840644 , 5277990019 )
3600.03/3610.10 c gcd simplifications 28165
3600.03/3610.10 c detected cardinalities 134
3600.03/3610.10 c weakened non-implied lits 30195706
3600.03/3610.10 c weakened non-implying lits 244309
3600.03/3610.10 c original variables 103760
3600.03/3610.10 c clausal propagations 98542277
3600.03/3610.10 c cardinality propagations 85013044
3600.03/3610.10 c watched propagations 1246433904
3600.03/3610.10 c counting propagations 1408878410
3600.03/3610.10 c watch lookups 100060452186
3600.03/3610.10 c watch backjump lookups 0
3600.03/3610.10 c watch checks 60832129833
3600.03/3610.10 c propagation checks 92049597567
3600.03/3610.10 c constraint additions 558981032
3600.03/3610.10 c trail pops 2872973662
3600.03/3610.10 c formula constraints 99558
3600.03/3610.10 c learned constraints 1503263
3600.03/3610.10 c bound constraints 0
3600.03/3610.10 c core-guided constraints 0
3600.03/3610.10 c encountered formula constraints 6152045
3600.03/3610.10 c encountered learned constraints 3835921
3600.03/3610.10 c encountered bound constraints 0
3600.03/3610.10 c encountered core-guided constraints 0
3600.03/3610.10 c LP total time 1152.72 s
3600.03/3610.10 c LP solve time 1149.71 s
3600.03/3610.10 c LP constraints added 99804
3600.03/3610.10 c LP constraints removed 128
3600.03/3610.10 c LP pivots internal 400077
3600.03/3610.10 c LP pivots root 227639
3600.03/3610.10 c LP calls 15
3600.03/3610.10 c LP optimalities 6
3600.03/3610.10 c LP no pivot count 0
3600.03/3610.10 c LP infeasibilities 0
3600.03/3610.10 c LP valid Farkas constraints 0
3600.03/3610.10 c LP learned Farkas constraints 0
3600.03/3610.10 c LP basis resets 0
3600.03/3610.10 c LP cycling count 0
3600.03/3610.10 c LP singular count 0
3600.03/3610.10 c LP no primal count 0
3600.03/3610.10 c LP no farkas count 0
3600.03/3610.10 c LP other issue count 0
3600.03/3610.10 c LP Gomory cuts 12
3600.03/3610.10 c LP learned cuts 234
3600.03/3610.10 c LP deleted cuts 128
3600.03/3610.10 c LP encountered Gomory constraints 13
3600.03/3610.10 c LP encountered Farkas constraints 0
3600.03/3610.10 c LP encountered learned Farkas constraints 0
3600.03/3610.10 c CG auxiliary variables introduced 0
3600.03/3610.10 c CG solutions found 0
3600.03/3610.10 c CG cores constructed 0
3600.03/3610.10 c CG core cardinality constraints returned 0
3600.03/3610.10 c CG unit cores 0
3600.03/3610.10 c CG single cores 0
3600.03/3610.10 c CG blocks removed during cardinality reduction 0
3600.03/3610.10 c CG first core best 0
3600.03/3610.10 c CG decision core best 0
3600.03/3610.10 c CG core reduction tie 0
3600.03/3610.10 c CG core degree average 0.00
3600.03/3610.10 c CG core slack average 0.00
3600.03/3610.10 c CG core upper bound improvements 0
3600.03/3610.10 c STR number of successful calls 0
3600.03/3610.10 c STR number of unsuccessful calls 0
3600.03/3610.10 c STR number of inconclusive calls 0
3600.03/3610.10 c STR number of successful attempts 0
3600.03/3610.10 c STR number of unsuccessful attempts 0
3600.03/3610.10 c STR number of inconclusive attempts 0
3600.03/3610.10 c STR average degree increase per successful call inf
3600.03/3610.10 c STR average degree increase per successful attempt inf
3600.03/3610.10 c STR total number of conflicts for successful attempts 0
3600.03/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.10 c STR average number of conflicts per successful attempt inf
3600.03/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.10 c AVG.sumWPerc 52.48
3600.03/3610.10 c bigint constraints 0
3600.03/3610.10 s UNKNOWN
3600.03/3610.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (55543 MiB free)
memory of node 1: 64465 MiB (56300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545115-1753221395/watcher-4545115-1753221395 -o /tmp/evaluation-result-4545115-1753221395/solver-4545115-1753221395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760 run-dec.sh HOME/instance-4545115-1753221395.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=175668, runsolver pid=175665
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 175670
/proc/meminfo: memFree=114499920/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=78852 memory=35868 CPUtime=0.08 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 4702 0 0 0 7 1 0 0 20 0 1 0 237818132 80744448 8967 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 19713 8967 1920 1147 0 7140 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83044 KiB
Current children cumulated memory: 38812 KiB
[startup+0.205844 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 175670
/proc/meminfo: memFree=114509908/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=88268 memory=44572 CPUtime=0.19 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 6898 0 0 0 16 3 0 0 20 0 1 0 237818132 90386432 11143 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 22067 11143 1920 1147 0 9494 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92460 KiB
Current children cumulated memory: 47516 KiB
[startup+0.305808 s]*
/proc/loadavg: 4.10 4.09 4.09 5/268 175670
/proc/meminfo: memFree=114506128/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=98716 memory=55624 CPUtime=0.29 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 8647 0 0 0 25 4 0 0 20 0 1 0 237818132 101085184 13906 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 24679 13906 1920 1147 0 12106 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102908 KiB
Current children cumulated memory: 58568 KiB
[startup+0.700191 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 175670
/proc/meminfo: memFree=114490444/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=142968 memory=91856 CPUtime=0.68 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 15354 0 0 0 60 8 0 0 20 0 1 0 237818132 146399232 22964 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 35742 22964 1920 1147 0 23169 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 147160 KiB
Current children cumulated memory: 94800 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 175670
/proc/meminfo: memFree=114427720/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=512984 memory=422708 CPUtime=1.48 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 50685 0 0 0 122 26 0 0 20 0 1 0 237818132 525295616 105677 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 128246 105677 2240 1147 0 115673 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 517176 KiB
Current children cumulated memory: 425652 KiB
[startup+3.10572 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 175671
/proc/meminfo: memFree=114009660/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=516264 memory=444036 CPUtime=3.07 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 53826 0 0 0 274 33 0 0 20 0 1 0 237818132 528654336 111009 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 129066 111009 2336 1147 0 116493 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 520456 KiB
Current children cumulated memory: 446980 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 175671
/proc/meminfo: memFree=114027588/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=516264 memory=446236 CPUtime=6.26 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 53879 0 0 0 585 41 0 0 20 0 1 0 237818132 528654336 111559 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 129066 111559 2336 1147 0 116493 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 520456 KiB
Current children cumulated memory: 449180 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 175671
/proc/meminfo: memFree=114076716/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=516264 memory=450380 CPUtime=12.64 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 53962 0 0 0 1209 55 0 0 20 0 1 0 237818132 528654336 112595 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 129066 112595 2336 1147 0 116493 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 520456 KiB
Current children cumulated memory: 453324 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 175671
/proc/meminfo: memFree=114088720/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=521400 memory=455632 CPUtime=25.4 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 54779 0 0 0 2467 73 0 0 20 0 1 0 237818132 533913600 113908 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 130350 113908 2336 1147 0 117777 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 525592 KiB
Current children cumulated memory: 458576 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 175671
/proc/meminfo: memFree=114086632/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=521400 memory=459880 CPUtime=50.94 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 54847 0 0 0 4963 131 0 0 20 0 1 0 237818132 533913600 114970 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 130350 114970 2336 1147 0 117777 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 525592 KiB
Current children cumulated memory: 462824 KiB
[startup+102.3 s]
/proc/loadavg: 4.49 4.20 4.13 5/268 175673
/proc/meminfo: memFree=114037644/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=541868 memory=482440 CPUtime=102 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 57483 0 0 0 10023 177 0 0 20 0 1 0 237818132 554872832 120610 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 135467 120610 2336 1147 0 122894 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 546060 KiB
Current children cumulated memory: 485384 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/269 175677
/proc/meminfo: memFree=113911912/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=547812 memory=488764 CPUtime=161.84 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 58110 0 0 0 15925 259 0 0 20 0 1 0 237818132 560959488 122191 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 136953 122191 2336 1147 0 124380 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 552004 KiB
Current children cumulated memory: 491708 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/269 175679
/proc/meminfo: memFree=113916452/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=583164 memory=496632 CPUtime=221.68 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 59671 0 0 0 21845 323 0 0 20 0 1 0 237818132 597159936 124158 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 145791 124158 2336 1147 0 133218 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.09 3.20 4/262 175886
/proc/meminfo: memFree=113413296/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=695128 CPUtime=3153.3 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85101 0 0 0 312353 2977 0 0 20 0 1 0 237818132 821313536 173782 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.09 3.19 4/260 175888
/proc/meminfo: memFree=113413360/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=695128 CPUtime=3213.15 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85101 0 0 0 318328 2987 0 0 20 0 1 0 237818132 821313536 173782 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3282.3 s]
/proc/loadavg: 2.86 3.04 3.16 3/253 175921
/proc/meminfo: memFree=114212452/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=695128 CPUtime=3273 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85101 0 0 0 324300 3000 0 0 20 0 1 0 237818132 821313536 173782 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3342.3 s]
/proc/loadavg: 2.38 2.86 3.09 3/253 175923
/proc/meminfo: memFree=114212740/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=695128 CPUtime=3332.87 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85101 0 0 0 330274 3013 0 0 20 0 1 0 237818132 821313536 173782 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3402.3 s]
/proc/loadavg: 1.62 2.56 2.97 2/247 175956
/proc/meminfo: memFree=116794184/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=695128 CPUtime=3392.73 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85146 0 0 0 336247 3026 0 0 20 0 1 0 237818132 821313536 173782 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3462.3 s]
/proc/loadavg: 1.34 2.31 2.86 2/249 175963
/proc/meminfo: memFree=116794352/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=695128 CPUtime=3452.59 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85231 0 0 0 342222 3037 0 0 20 0 1 0 237818132 821313536 173782 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3522.3 s]
/proc/loadavg: 1.19 2.08 2.74 2/251 175971
/proc/meminfo: memFree=116793940/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=695128 CPUtime=3512.45 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85321 0 0 0 348183 3062 0 0 20 0 1 0 237818132 821313536 173782 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 173782 2336 1147 0 187943 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 698072 KiB
[startup+3582.3 s]
/proc/loadavg: 1.32 1.97 2.66 2/251 175973
/proc/meminfo: memFree=116786268/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=698624 CPUtime=3572.29 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85659 0 0 0 354101 3128 0 0 20 0 1 0 237818132 821313536 174656 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 174656 2336 1147 0 187943 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 701568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 1.27 1.91 2.62 2/251 175974
/proc/meminfo: memFree=116794412/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=698624 CPUtime=3600.03 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85659 0 0 0 356850 3153 0 0 20 0 1 0 237818132 821313536 174656 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 174656 2336 1147 0 187943 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 701568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 175668 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002119 s
[startup+3610.13 s]
# the end of solver process 175670 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.53 s, system=31.5386 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 1.27 1.91 2.62 2/251 175974
/proc/meminfo: memFree=116794412/131249996 swapFree=33010160/33010684
[pid=175668] ppid=175665 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/175668/stat : 175668 (run-dec.sh) S 175665 175668 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237818131 4292608 736 18446744073709551615 93984997879808 93984998774341 140732084782128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93984999013392 93984999061136 93985000755200 140732084783467 140732084783590 140732084783590 140732084789194 0
/proc/175668/statm: 1048 736 672 219 0 110 0
[pid=175670] ppid=175668 vsize=802064 memory=698624 CPUtime=3600.03 cores=5,7
/proc/175670/stat : 175670 (roundingsat) R 175668 175668 171541 0 -1 4194304 85659 0 0 0 356850 3153 0 0 20 0 1 0 237818132 821313536 174656 18446744073709551615 4227072 8923433 140736432968704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14286848 140736432970165 140736432970278 140736432970278 140736432975850 0
/proc/175670/statm: 200516 174656 2336 1147 0 187943 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 806256 KiB
Current children cumulated memory: 701568 KiB
Child status: 2
Real time (s): 3610.13
CPU time (s): 3600.06
CPU user time (s): 3568.53
CPU system time (s): 31.5386
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 902484
Max. memory (cumulated for all children) (KiB): 829000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.53
system time used= 31.5386
maximum resident set size= 828384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85888
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= 211
involuntary context switches= 18951
# summary of solver processes directly reported to runsolver:
# pid: 175668,175670
# total CPU time (s): 3600.06
# total CPU user time (s): 3568.53
# total CPU system time (s): 31.5386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55415 second user time and 16.1138 second system time
The end
Begin job on nodeC032 at 2025-07-22 23:56:35
IDJOB=4545115
IDBENCH=180714
IDSOLVER=3349
FILE ID=nodeC032/4545115-1753221395
RUNJOBID= nodeC032-1753211592-171554
SLURM_JOB_ID= 9687796
Free space on /tmp= 432484 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-mini-40_c24.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545115-1753221395/watcher-4545115-1753221395 -o /tmp/evaluation-result-4545115-1753221395/solver-4545115-1753221395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760 run-dec.sh HOME/instance-4545115-1753221395.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e60f0e926bcd6b192a3b449cde285525
RANDOM SEED=701958955
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.817
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.826
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3578.864
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3578.842
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.828
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3600.264
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 114527940 kB
MemAvailable: 126663612 kB
Buffers: 2728 kB
Cached: 12814972 kB
SwapCached: 20 kB
Active: 4158648 kB
Inactive: 11684300 kB
Active(anon): 3048364 kB
Inactive(anon): 3124 kB
Active(file): 1110284 kB
Inactive(file): 11681176 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35220 kB
Writeback: 0 kB
AnonPages: 3025948 kB
Mapped: 121940 kB
Shmem: 26240 kB
KReclaimable: 366900 kB
Slab: 465960 kB
SReclaimable: 366900 kB
SUnreclaim: 99060 kB
KernelStack: 4320 kB
PageTables: 9268 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4122920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2086912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432548 MiB
End job on nodeC032 at 2025-07-23 00:56:45