0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 3484 #constraints 4941
0.00/0.05 c rational objective 0
40.77/41.00 c #Conflicts: 1000 | #Constraints: 5941
40.77/41.00 c #Conflicts: 2000 | #Constraints: 6941
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 3000 | #Constraints: 6966
40.77/41.00 c #Conflicts: 4000 | #Constraints: 7966
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 5000 | #Constraints: 7388
40.77/41.00 c #Conflicts: 6000 | #Constraints: 8388
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 7000 | #Constraints: 7436
40.77/41.00 c #Conflicts: 8000 | #Constraints: 8436
40.77/41.00 c #Conflicts: 9000 | #Constraints: 9436
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 10000 | #Constraints: 8139
40.77/41.00 c #Conflicts: 11000 | #Constraints: 9139
40.77/41.00 c #Conflicts: 12000 | #Constraints: 10139
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 13000 | #Constraints: 8627
40.77/41.00 c #Conflicts: 14000 | #Constraints: 9627
40.77/41.00 c #Conflicts: 15000 | #Constraints: 10627
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 16000 | #Constraints: 8889
40.77/41.00 c #Conflicts: 17000 | #Constraints: 9889
40.77/41.00 c #Conflicts: 18000 | #Constraints: 10889
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 19000 | #Constraints: 8922
40.77/41.00 c #Conflicts: 20000 | #Constraints: 9922
40.77/41.00 c #Conflicts: 21000 | #Constraints: 10922
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 22000 | #Constraints: 8729
40.77/41.00 c #Conflicts: 23000 | #Constraints: 9729
40.77/41.00 c #Conflicts: 24000 | #Constraints: 10729
40.77/41.00 c #Conflicts: 25000 | #Constraints: 11729
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 26000 | #Constraints: 9347
40.77/41.00 c #Conflicts: 27000 | #Constraints: 10347
40.77/41.00 c #Conflicts: 28000 | #Constraints: 11347
40.77/41.00 c #Conflicts: 29000 | #Constraints: 12347
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 30000 | #Constraints: 9766
40.77/41.00 c #Conflicts: 31000 | #Constraints: 10766
40.77/41.00 c #Conflicts: 32000 | #Constraints: 11766
40.77/41.00 c #Conflicts: 33000 | #Constraints: 12766
40.77/41.00 c #Conflicts: 34000 | #Constraints: 13766
40.77/41.00 c #Conflicts: 35000 | #Constraints: 14766
40.77/41.00 c #Conflicts: 36000 | #Constraints: 15766
40.77/41.00 c #Conflicts: 37000 | #Constraints: 16766
40.77/41.00 c #Conflicts: 38000 | #Constraints: 17766
40.77/41.00 c #Conflicts: 39000 | #Constraints: 18766
40.77/41.00 c #Conflicts: 40000 | #Constraints: 19766
40.77/41.00 c #Conflicts: 41000 | #Constraints: 20766
40.77/41.00 c #Conflicts: 42000 | #Constraints: 21766
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 43000 | #Constraints: 14068
40.77/41.00 c #Conflicts: 44000 | #Constraints: 15068
40.77/41.00 c #Conflicts: 45000 | #Constraints: 16068
40.77/41.00 c #Conflicts: 46000 | #Constraints: 17068
40.77/41.00 c #Conflicts: 47000 | #Constraints: 18068
40.77/41.00 c #Conflicts: 48000 | #Constraints: 19068
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 49000 | #Constraints: 13176
40.77/41.00 c #Conflicts: 50000 | #Constraints: 14176
40.77/41.00 c #Conflicts: 51000 | #Constraints: 15176
40.77/41.00 c #Conflicts: 52000 | #Constraints: 16176
40.77/41.00 c #Conflicts: 53000 | #Constraints: 17176
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 54000 | #Constraints: 12080
40.77/41.00 c #Conflicts: 55000 | #Constraints: 13080
40.77/41.00 c #Conflicts: 56000 | #Constraints: 14080
40.77/41.00 c #Conflicts: 57000 | #Constraints: 15080
40.77/41.00 c #Conflicts: 58000 | #Constraints: 16080
40.77/41.00 c INPROCESSING
40.77/41.00 c GARBAGE COLLECT
40.77/41.00 c #Conflicts: 59000 | #Constraints: 11286
40.77/41.00 c #Conflicts: 60000 | #Constraints: 12286
40.77/41.00 c #Conflicts: 61000 | #Constraints: 13286
40.77/41.00 c #Conflicts: 62000 | #Constraints: 14286
40.77/41.00 c #Conflicts: 63000 | #Constraints: 15286
40.77/41.00 c #Conflicts: 64000 | #Constraints: 16286
40.77/41.00 c #Conflicts: 65000 | #Constraints: 17286
40.77/41.00 c #Conflicts: 66000 | #Constraints: 18286
40.77/41.00 c #Conflicts: 67000 | #Constraints: 19286
40.77/41.00 c #Conflicts: 68000 | #Constraints: 20286
40.77/41.00 c #Conflicts: 69000 | #Constraints: 21286
40.77/41.00 c #Conflicts: 70000 | #Constraints: 22286
46.66/46.80 c #Conflicts: 71000 | #Constraints: 23286
46.66/46.80 c #Conflicts: 72000 | #Constraints: 24286
46.66/46.80 c #Conflicts: 73000 | #Constraints: 25286
46.66/46.80 c #Conflicts: 74000 | #Constraints: 26286
46.66/46.80 c #Conflicts: 75000 | #Constraints: 27286
46.66/46.80 c #Conflicts: 76000 | #Constraints: 28286
46.66/46.80 c #Conflicts: 77000 | #Constraints: 29286
46.66/46.80 c #Conflicts: 78000 | #Constraints: 30286
46.66/46.80 c INPROCESSING
46.66/46.80 c GARBAGE COLLECT
46.66/46.80 c rational objective 0
118.68/119.01 c #Conflicts: 79000 | #Constraints: 18793
118.68/119.01 c #Conflicts: 80000 | #Constraints: 19793
118.68/119.01 c #Conflicts: 81000 | #Constraints: 20793
118.68/119.01 c #Conflicts: 82000 | #Constraints: 21793
118.68/119.01 c #Conflicts: 83000 | #Constraints: 22793
118.68/119.01 c #Conflicts: 84000 | #Constraints: 23793
118.68/119.01 c INPROCESSING
118.68/119.01 c GARBAGE COLLECT
118.68/119.01 c #Conflicts: 85000 | #Constraints: 15181
118.68/119.01 c #Conflicts: 86000 | #Constraints: 16181
118.68/119.01 c #Conflicts: 87000 | #Constraints: 17181
118.68/119.01 c #Conflicts: 88000 | #Constraints: 18181
118.68/119.01 c #Conflicts: 89000 | #Constraints: 19181
118.68/119.01 c #Conflicts: 90000 | #Constraints: 20181
118.68/119.01 c #Conflicts: 91000 | #Constraints: 21181
118.68/119.01 c INPROCESSING
118.68/119.01 c GARBAGE COLLECT
118.68/119.01 c #Conflicts: 92000 | #Constraints: 13882
118.68/119.01 c #Conflicts: 93000 | #Constraints: 14882
118.68/119.01 c #Conflicts: 94000 | #Constraints: 15882
118.68/119.01 c #Conflicts: 95000 | #Constraints: 16882
118.68/119.01 c #Conflicts: 96000 | #Constraints: 17882
118.68/119.01 c #Conflicts: 97000 | #Constraints: 18882
118.68/119.01 c #Conflicts: 98000 | #Constraints: 19882
118.68/119.01 c #Conflicts: 99000 | #Constraints: 20882
118.68/119.01 c #Conflicts: 100000 | #Constraints: 21882
118.68/119.01 c #Conflicts: 101000 | #Constraints: 22882
118.68/119.01 c #Conflicts: 102000 | #Constraints: 23882
118.68/119.01 c #Conflicts: 103000 | #Constraints: 24882
118.68/119.01 c #Conflicts: 104000 | #Constraints: 25882
118.68/119.01 c #Conflicts: 105000 | #Constraints: 26882
118.68/119.01 c #Conflicts: 106000 | #Constraints: 27882
118.68/119.01 c #Conflicts: 107000 | #Constraints: 28882
118.68/119.01 c #Conflicts: 108000 | #Constraints: 29882
118.68/119.01 c #Conflicts: 109000 | #Constraints: 30882
118.68/119.01 c #Conflicts: 110000 | #Constraints: 31882
118.68/119.01 c #Conflicts: 111000 | #Constraints: 32882
118.68/119.01 c #Conflicts: 112000 | #Constraints: 33882
118.68/119.01 c #Conflicts: 113000 | #Constraints: 34882
118.68/119.01 c #Conflicts: 114000 | #Constraints: 35882
118.68/119.01 c #Conflicts: 115000 | #Constraints: 36882
118.68/119.01 c INPROCESSING
118.68/119.01 c GARBAGE COLLECT
118.68/119.01 c #Conflicts: 116000 | #Constraints: 22108
118.68/119.01 c #Conflicts: 117000 | #Constraints: 23108
118.68/119.01 c #Conflicts: 118000 | #Constraints: 24108
118.68/119.01 c #Conflicts: 119000 | #Constraints: 25108
118.68/119.01 c #Conflicts: 120000 | #Constraints: 26108
118.68/119.01 c #Conflicts: 121000 | #Constraints: 27108
118.68/119.01 c #Conflicts: 122000 | #Constraints: 28108
118.68/119.01 c #Conflicts: 123000 | #Constraints: 29108
118.68/119.01 c INPROCESSING
118.68/119.01 c GARBAGE COLLECT
118.68/119.01 c #Conflicts: 124000 | #Constraints: 18029
118.68/119.01 c #Conflicts: 125000 | #Constraints: 19029
118.68/119.01 c #Conflicts: 126000 | #Constraints: 20029
118.68/119.01 c #Conflicts: 127000 | #Constraints: 21029
118.68/119.01 c #Conflicts: 128000 | #Constraints: 22029
118.68/119.01 c #Conflicts: 129000 | #Constraints: 23029
118.68/119.01 c #Conflicts: 130000 | #Constraints: 24029
118.68/119.01 c #Conflicts: 131000 | #Constraints: 25029
118.68/119.01 c #Conflicts: 132000 | #Constraints: 26029
118.68/119.01 c INPROCESSING
118.68/119.01 c GARBAGE COLLECT
118.68/119.01 c #Conflicts: 133000 | #Constraints: 16791
118.68/119.01 c #Conflicts: 134000 | #Constraints: 17791
118.68/119.01 c #Conflicts: 135000 | #Constraints: 18791
118.68/119.01 c #Conflicts: 136000 | #Constraints: 19791
118.68/119.01 c #Conflicts: 137000 | #Constraints: 20791
118.68/119.01 c #Conflicts: 138000 | #Constraints: 21791
118.68/119.01 c #Conflicts: 139000 | #Constraints: 22791
118.68/119.01 c #Conflicts: 140000 | #Constraints: 23791
118.68/119.01 c #Conflicts: 141000 | #Constraints: 24791
118.68/119.01 c #Conflicts: 142000 | #Constraints: 25791
118.68/119.01 c #Conflicts: 143000 | #Constraints: 26791
118.68/119.01 c #Conflicts: 144000 | #Constraints: 27791
118.68/119.01 c #Conflicts: 145000 | #Constraints: 28791
118.68/119.01 c #Conflicts: 146000 | #Constraints: 29791
118.68/119.01 c #Conflicts: 147000 | #Constraints: 30791
118.68/119.01 c #Conflicts: 148000 | #Constraints: 31791
118.68/119.01 c #Conflicts: 149000 | #Constraints: 32791
118.68/119.01 c #Conflicts: 150000 | #Constraints: 33791
118.68/119.01 c #Conflicts: 151000 | #Constraints: 34791
118.68/119.01 c #Conflicts: 152000 | #Constraints: 35791
118.68/119.01 c #Conflicts: 153000 | #Constraints: 36791
118.68/119.01 c #Conflicts: 154000 | #Constraints: 37791
166.05/166.57 c #Conflicts: 155000 | #Constraints: 38791
166.05/166.57 c #Conflicts: 156000 | #Constraints: 39791
166.05/166.57 c #Conflicts: 157000 | #Constraints: 40791
166.05/166.57 c #Conflicts: 158000 | #Constraints: 41791
166.05/166.57 c #Conflicts: 159000 | #Constraints: 42791
166.05/166.57 c INPROCESSING
166.05/166.57 c GARBAGE COLLECT
166.05/166.57 c #Conflicts: 160000 | #Constraints: 24830
166.05/166.57 c #Conflicts: 161000 | #Constraints: 25830
166.05/166.57 c #Conflicts: 162000 | #Constraints: 26830
166.05/166.57 c #Conflicts: 163000 | #Constraints: 27830
166.05/166.57 c #Conflicts: 164000 | #Constraints: 28830
166.05/166.57 c #Conflicts: 165000 | #Constraints: 29830
166.05/166.57 c #Conflicts: 166000 | #Constraints: 30830
166.05/166.57 c #Conflicts: 167000 | #Constraints: 31830
166.05/166.57 c #Conflicts: 168000 | #Constraints: 32830
166.05/166.57 c #Conflicts: 169000 | #Constraints: 33830
166.05/166.57 c INPROCESSING
166.05/166.57 c GARBAGE COLLECT
166.05/166.57 c #Conflicts: 170000 | #Constraints: 20506
166.05/166.57 c #Conflicts: 171000 | #Constraints: 21506
166.05/166.57 c #Conflicts: 172000 | #Constraints: 22506
166.05/166.57 c #Conflicts: 173000 | #Constraints: 23506
166.05/166.57 c #Conflicts: 174000 | #Constraints: 24506
166.05/166.57 c #Conflicts: 175000 | #Constraints: 25506
166.05/166.57 c #Conflicts: 176000 | #Constraints: 26506
166.05/166.57 c #Conflicts: 177000 | #Constraints: 27506
166.05/166.57 c #Conflicts: 178000 | #Constraints: 28506
166.05/166.57 c #Conflicts: 179000 | #Constraints: 29506
166.05/166.57 c INPROCESSING
166.05/166.57 c GARBAGE COLLECT
166.05/166.57 c #Conflicts: 180000 | #Constraints: 18341
166.05/166.57 c #Conflicts: 181000 | #Constraints: 19341
166.05/166.57 c #Conflicts: 182000 | #Constraints: 20341
166.05/166.57 c #Conflicts: 183000 | #Constraints: 21341
166.05/166.57 c #Conflicts: 184000 | #Constraints: 22341
166.05/166.57 c #Conflicts: 185000 | #Constraints: 23341
166.05/166.57 c #Conflicts: 186000 | #Constraints: 24341
166.05/166.57 c #Conflicts: 187000 | #Constraints: 25341
166.05/166.57 c #Conflicts: 188000 | #Constraints: 26341
166.05/166.57 c #Conflicts: 189000 | #Constraints: 27341
166.05/166.57 c #Conflicts: 190000 | #Constraints: 28341
166.05/166.57 c #Conflicts: 191000 | #Constraints: 29341
166.05/166.57 c #Conflicts: 192000 | #Constraints: 30341
166.05/166.57 c #Conflicts: 193000 | #Constraints: 31341
166.05/166.57 c #Conflicts: 194000 | #Constraints: 32341
166.05/166.57 c #Conflicts: 195000 | #Constraints: 33341
166.05/166.57 c #Conflicts: 196000 | #Constraints: 34341
166.05/166.57 c #Conflicts: 197000 | #Constraints: 35341
166.05/166.57 c #Conflicts: 198000 | #Constraints: 36342
166.05/166.57 c #Conflicts: 199000 | #Constraints: 37342
166.05/166.57 c #Conflicts: 200000 | #Constraints: 38342
166.05/166.57 c #Conflicts: 201000 | #Constraints: 39342
166.05/166.57 c #Conflicts: 202000 | #Constraints: 40342
166.05/166.57 c #Conflicts: 203000 | #Constraints: 41342
166.05/166.57 c #Conflicts: 204000 | #Constraints: 42342
166.05/166.57 c #Conflicts: 205000 | #Constraints: 43342
166.05/166.57 c #Conflicts: 206000 | #Constraints: 44342
166.05/166.57 c #Conflicts: 207000 | #Constraints: 45342
166.05/166.57 c #Conflicts: 208000 | #Constraints: 46342
166.05/166.57 c #Conflicts: 209000 | #Constraints: 47342
166.05/166.57 c #Conflicts: 210000 | #Constraints: 48342
166.05/166.57 c #Conflicts: 211000 | #Constraints: 49342
166.05/166.57 c INPROCESSING
166.05/166.57 c GARBAGE COLLECT
166.05/166.57 c rational objective 1.13243e-13
223.91/224.52 c #Conflicts: 212000 | #Constraints: 28356
223.91/224.52 c #Conflicts: 213000 | #Constraints: 29356
223.91/224.52 c #Conflicts: 214000 | #Constraints: 30356
223.91/224.52 c #Conflicts: 215000 | #Constraints: 31356
223.91/224.52 c #Conflicts: 216000 | #Constraints: 32356
223.91/224.52 c #Conflicts: 217000 | #Constraints: 33356
223.91/224.52 c #Conflicts: 218000 | #Constraints: 34356
223.91/224.52 c #Conflicts: 219000 | #Constraints: 35356
223.91/224.52 c #Conflicts: 220000 | #Constraints: 36356
223.91/224.52 c #Conflicts: 221000 | #Constraints: 37356
223.91/224.52 c #Conflicts: 222000 | #Constraints: 38356
223.91/224.52 c INPROCESSING
223.91/224.52 c GARBAGE COLLECT
223.91/224.52 c #Conflicts: 223000 | #Constraints: 22664
223.91/224.52 c #Conflicts: 224000 | #Constraints: 23664
223.91/224.52 c #Conflicts: 225000 | #Constraints: 24664
223.91/224.52 c #Conflicts: 226000 | #Constraints: 25664
223.91/224.52 c #Conflicts: 227000 | #Constraints: 26664
223.91/224.52 c #Conflicts: 228000 | #Constraints: 27664
223.91/224.52 c #Conflicts: 229000 | #Constraints: 28664
223.91/224.52 c #Conflicts: 230000 | #Constraints: 29664
223.91/224.52 c #Conflicts: 231000 | #Constraints: 30664
223.91/224.52 c #Conflicts: 232000 | #Constraints: 31664
223.91/224.52 c #Conflicts: 233000 | #Constraints: 32664
223.91/224.52 c #Conflicts: 234000 | #Constraints: 33664
223.91/224.52 c INPROCESSING
223.91/224.52 c GARBAGE COLLECT
223.91/224.52 c #Conflicts: 235000 | #Constraints: 20595
223.91/224.52 c #Conflicts: 236000 | #Constraints: 21595
223.91/224.52 c #Conflicts: 237000 | #Constraints: 22595
223.91/224.52 c #Conflicts: 238000 | #Constraints: 23595
223.91/224.52 c #Conflicts: 239000 | #Constraints: 24595
223.91/224.52 c #Conflicts: 240000 | #Constraints: 25595
223.91/224.52 c #Conflicts: 241000 | #Constraints: 26595
223.91/224.52 c #Conflicts: 242000 | #Constraints: 27595
223.91/224.52 c #Conflicts: 243000 | #Constraints: 28595
223.91/224.52 c #Conflicts: 244000 | #Constraints: 29595
223.91/224.52 c #Conflicts: 245000 | #Constraints: 30595
223.91/224.52 c #Conflicts: 246000 | #Constraints: 31595
223.91/224.52 c #Conflicts: 247000 | #Constraints: 32595
223.91/224.52 c #Conflicts: 248000 | #Constraints: 33595
223.91/224.52 c #Conflicts: 249000 | #Constraints: 34595
223.91/224.52 c #Conflicts: 250000 | #Constraints: 35595
223.91/224.52 c #Conflicts: 251000 | #Constraints: 36595
223.91/224.52 c #Conflicts: 252000 | #Constraints: 37595
223.91/224.52 c #Conflicts: 253000 | #Constraints: 38595
223.91/224.52 c #Conflicts: 254000 | #Constraints: 39595
223.91/224.52 c #Conflicts: 255000 | #Constraints: 40596
223.91/224.52 c #Conflicts: 256000 | #Constraints: 41596
223.91/224.52 c #Conflicts: 257000 | #Constraints: 42596
223.91/224.52 c #Conflicts: 258000 | #Constraints: 43596
223.91/224.52 c #Conflicts: 259000 | #Constraints: 44596
223.91/224.52 c #Conflicts: 260000 | #Constraints: 45596
223.91/224.52 c #Conflicts: 261000 | #Constraints: 46596
223.91/224.52 c #Conflicts: 262000 | #Constraints: 47596
223.91/224.52 c #Conflicts: 263000 | #Constraints: 48596
223.91/224.52 c #Conflicts: 264000 | #Constraints: 49596
223.91/224.52 c #Conflicts: 265000 | #Constraints: 50596
223.91/224.52 c #Conflicts: 266000 | #Constraints: 51596
223.91/224.52 c #Conflicts: 267000 | #Constraints: 52596
223.91/224.52 c #Conflicts: 268000 | #Constraints: 53596
223.91/224.52 c #Conflicts: 269000 | #Constraints: 54596
223.91/224.52 c #Conflicts: 270000 | #Constraints: 55596
223.91/224.52 c INPROCESSING
223.91/224.52 c GARBAGE COLLECT
223.91/224.52 c rational objective 1.13243e-13
298.23/299.10 c #Conflicts: 271000 | #Constraints: 31678
298.23/299.10 c #Conflicts: 272000 | #Constraints: 32678
298.23/299.10 c #Conflicts: 273000 | #Constraints: 33678
298.23/299.10 c #Conflicts: 274000 | #Constraints: 34678
298.23/299.10 c #Conflicts: 275000 | #Constraints: 35678
298.23/299.10 c #Conflicts: 276000 | #Constraints: 36678
298.23/299.10 c #Conflicts: 277000 | #Constraints: 37678
298.23/299.10 c #Conflicts: 278000 | #Constraints: 38678
298.23/299.10 c #Conflicts: 279000 | #Constraints: 39678
298.23/299.10 c #Conflicts: 280000 | #Constraints: 40678
298.23/299.10 c #Conflicts: 281000 | #Constraints: 41678
298.23/299.10 c #Conflicts: 282000 | #Constraints: 42678
298.23/299.10 c INPROCESSING
298.23/299.10 c GARBAGE COLLECT
298.23/299.10 c #Conflicts: 283000 | #Constraints: 24743
298.23/299.10 c #Conflicts: 284000 | #Constraints: 25743
298.23/299.10 c #Conflicts: 285000 | #Constraints: 26743
298.23/299.10 c #Conflicts: 286000 | #Constraints: 27743
298.23/299.10 c #Conflicts: 287000 | #Constraints: 28743
298.23/299.10 c #Conflicts: 288000 | #Constraints: 29743
298.23/299.10 c #Conflicts: 289000 | #Constraints: 30743
298.23/299.10 c #Conflicts: 290000 | #Constraints: 31743
298.23/299.10 c #Conflicts: 291000 | #Constraints: 32743
298.23/299.10 c #Conflicts: 292000 | #Constraints: 33743
298.23/299.10 c #Conflicts: 293000 | #Constraints: 34743
298.23/299.10 c #Conflicts: 294000 | #Constraints: 35743
298.23/299.10 c #Conflicts: 295000 | #Constraints: 36743
298.23/299.10 c INPROCESSING
298.23/299.10 c GARBAGE COLLECT
298.23/299.10 c #Conflicts: 296000 | #Constraints: 21826
298.23/299.10 c #Conflicts: 297000 | #Constraints: 22826
298.23/299.10 c #Conflicts: 298000 | #Constraints: 23826
298.23/299.10 c #Conflicts: 299000 | #Constraints: 24826
298.23/299.10 c #Conflicts: 300000 | #Constraints: 25826
298.23/299.10 c #Conflicts: 301000 | #Constraints: 26826
298.23/299.10 c #Conflicts: 302000 | #Constraints: 27826
298.23/299.10 c #Conflicts: 303000 | #Constraints: 28826
298.23/299.10 c #Conflicts: 304000 | #Constraints: 29826
298.23/299.10 c #Conflicts: 305000 | #Constraints: 30826
298.23/299.10 c #Conflicts: 306000 | #Constraints: 31827
298.23/299.10 c #Conflicts: 307000 | #Constraints: 32827
298.23/299.10 c #Conflicts: 308000 | #Constraints: 33827
298.23/299.10 c #Conflicts: 309000 | #Constraints: 34827
298.23/299.10 c #Conflicts: 310000 | #Constraints: 35827
298.23/299.10 c #Conflicts: 311000 | #Constraints: 36827
298.23/299.10 c #Conflicts: 312000 | #Constraints: 37827
298.23/299.10 c #Conflicts: 313000 | #Constraints: 38827
298.23/299.10 c #Conflicts: 314000 | #Constraints: 39827
298.23/299.10 c #Conflicts: 315000 | #Constraints: 40827
298.23/299.10 c #Conflicts: 316000 | #Constraints: 41827
298.23/299.10 c #Conflicts: 317000 | #Constraints: 42827
298.23/299.10 c #Conflicts: 318000 | #Constraints: 43827
298.23/299.10 c #Conflicts: 319000 | #Constraints: 44827
298.23/299.10 c #Conflicts: 320000 | #Constraints: 45827
298.23/299.10 c #Conflicts: 321000 | #Constraints: 46827
298.23/299.10 c #Conflicts: 322000 | #Constraints: 47827
298.23/299.10 c #Conflicts: 323000 | #Constraints: 48827
298.23/299.10 c #Conflicts: 324000 | #Constraints: 49827
298.23/299.10 c #Conflicts: 325000 | #Constraints: 50827
298.23/299.10 c #Conflicts: 326000 | #Constraints: 51827
298.23/299.10 c #Conflicts: 327000 | #Constraints: 52827
298.23/299.10 c #Conflicts: 328000 | #Constraints: 53827
298.23/299.10 c #Conflicts: 329000 | #Constraints: 54827
298.23/299.10 c #Conflicts: 330000 | #Constraints: 55827
298.23/299.10 c #Conflicts: 331000 | #Constraints: 56827
298.23/299.10 c #Conflicts: 332000 | #Constraints: 57827
298.23/299.10 c #Conflicts: 333000 | #Constraints: 58827
298.23/299.10 c #Conflicts: 334000 | #Constraints: 59827
298.23/299.10 c #Conflicts: 335000 | #Constraints: 60827
298.23/299.10 c #Conflicts: 336000 | #Constraints: 61827
298.23/299.10 c INPROCESSING
298.23/299.10 c GARBAGE COLLECT
298.23/299.10 c rational objective 1.13243e-13
312.69/313.59 c #Conflicts: 337000 | #Constraints: 34722
312.69/313.59 c #Conflicts: 338000 | #Constraints: 35722
312.69/313.59 c #Conflicts: 339000 | #Constraints: 36722
312.69/313.59 c #Conflicts: 340000 | #Constraints: 37722
312.69/313.59 c #Conflicts: 341000 | #Constraints: 38722
312.69/313.59 c #Conflicts: 342000 | #Constraints: 39722
312.69/313.59 c #Conflicts: 343000 | #Constraints: 40722
312.69/313.59 c #Conflicts: 344000 | #Constraints: 41722
312.69/313.59 c #Conflicts: 345000 | #Constraints: 42722
312.69/313.59 c #Conflicts: 346000 | #Constraints: 43722
312.69/313.59 c #Conflicts: 347000 | #Constraints: 44722
312.69/313.59 c #Conflicts: 348000 | #Constraints: 45722
312.69/313.59 c #Conflicts: 349000 | #Constraints: 46722
312.69/313.59 c #Conflicts: 350000 | #Constraints: 47722
312.69/313.59 c INPROCESSING
312.69/313.59 c GARBAGE COLLECT
312.69/313.59 c rational objective 1.13243e-13
328.15/329.06 c #Conflicts: 351000 | #Constraints: 27648
328.15/329.06 c #Conflicts: 352000 | #Constraints: 28648
328.15/329.06 c #Conflicts: 353000 | #Constraints: 29649
328.15/329.06 c #Conflicts: 354000 | #Constraints: 30649
328.15/329.06 c #Conflicts: 355000 | #Constraints: 31649
328.15/329.06 c #Conflicts: 356000 | #Constraints: 32649
328.15/329.06 c #Conflicts: 357000 | #Constraints: 33649
328.15/329.06 c #Conflicts: 358000 | #Constraints: 34649
328.15/329.06 c #Conflicts: 359000 | #Constraints: 35649
328.15/329.06 c #Conflicts: 360000 | #Constraints: 36649
328.15/329.06 c #Conflicts: 361000 | #Constraints: 37650
328.15/329.06 c #Conflicts: 362000 | #Constraints: 38650
328.15/329.06 c #Conflicts: 363000 | #Constraints: 39650
328.15/329.06 c #Conflicts: 364000 | #Constraints: 40650
328.15/329.06 c INPROCESSING
328.15/329.06 c GARBAGE COLLECT
328.15/329.06 c rational objective 1.13243e-13
418.51/419.69 c #Conflicts: 365000 | #Constraints: 23918
418.51/419.69 c #Conflicts: 366000 | #Constraints: 24918
418.51/419.69 c #Conflicts: 367000 | #Constraints: 25918
418.51/419.69 c #Conflicts: 368000 | #Constraints: 26918
418.51/419.69 c #Conflicts: 369000 | #Constraints: 27918
418.51/419.69 c #Conflicts: 370000 | #Constraints: 28918
418.51/419.69 c #Conflicts: 371000 | #Constraints: 29918
418.51/419.69 c #Conflicts: 372000 | #Constraints: 30918
418.51/419.69 c #Conflicts: 373000 | #Constraints: 31918
418.51/419.69 c #Conflicts: 374000 | #Constraints: 32918
418.51/419.69 c #Conflicts: 375000 | #Constraints: 33918
418.51/419.69 c #Conflicts: 376000 | #Constraints: 34918
418.51/419.69 c #Conflicts: 377000 | #Constraints: 35918
418.51/419.69 c #Conflicts: 378000 | #Constraints: 36918
418.51/419.69 c #Conflicts: 379000 | #Constraints: 37918
418.51/419.69 c #Conflicts: 380000 | #Constraints: 38918
418.51/419.69 c #Conflicts: 381000 | #Constraints: 39918
418.51/419.69 c #Conflicts: 382000 | #Constraints: 40918
418.51/419.69 c #Conflicts: 383000 | #Constraints: 41918
418.51/419.69 c #Conflicts: 384000 | #Constraints: 42919
418.51/419.69 c #Conflicts: 385000 | #Constraints: 43919
418.51/419.69 c #Conflicts: 386000 | #Constraints: 44919
418.51/419.69 c #Conflicts: 387000 | #Constraints: 45919
418.51/419.69 c #Conflicts: 388000 | #Constraints: 46919
418.51/419.69 c #Conflicts: 389000 | #Constraints: 47919
418.51/419.69 c #Conflicts: 390000 | #Constraints: 48919
418.51/419.69 c #Conflicts: 391000 | #Constraints: 49919
418.51/419.69 c #Conflicts: 392000 | #Constraints: 50919
418.51/419.69 c #Conflicts: 393000 | #Constraints: 51919
418.51/419.69 c #Conflicts: 394000 | #Constraints: 52919
418.51/419.69 c #Conflicts: 395000 | #Constraints: 53919
418.51/419.69 c #Conflicts: 396000 | #Constraints: 54919
418.51/419.69 c #Conflicts: 397000 | #Constraints: 55919
418.51/419.69 c #Conflicts: 398000 | #Constraints: 56919
418.51/419.69 c #Conflicts: 399000 | #Constraints: 57919
418.51/419.69 c #Conflicts: 400000 | #Constraints: 58919
418.51/419.69 c #Conflicts: 401000 | #Constraints: 59919
418.51/419.69 c #Conflicts: 402000 | #Constraints: 60920
418.51/419.69 c #Conflicts: 403000 | #Constraints: 61920
418.51/419.69 c #Conflicts: 404000 | #Constraints: 62920
418.51/419.69 c #Conflicts: 405000 | #Constraints: 63920
418.51/419.69 c #Conflicts: 406000 | #Constraints: 64920
418.51/419.69 c #Conflicts: 407000 | #Constraints: 65920
418.51/419.69 c #Conflicts: 408000 | #Constraints: 66920
418.51/419.69 c #Conflicts: 409000 | #Constraints: 67920
418.51/419.69 c INPROCESSING
418.51/419.69 c GARBAGE COLLECT
418.51/419.69 c rational objective 1.13243e-13
436.16/437.38 c #Conflicts: 410000 | #Constraints: 37752
436.16/437.38 c #Conflicts: 411000 | #Constraints: 38752
436.16/437.38 c #Conflicts: 412000 | #Constraints: 39752
436.16/437.38 c #Conflicts: 413000 | #Constraints: 40752
436.16/437.38 c #Conflicts: 414000 | #Constraints: 41752
436.16/437.38 c #Conflicts: 415000 | #Constraints: 42752
436.16/437.38 c #Conflicts: 416000 | #Constraints: 43752
436.16/437.38 c #Conflicts: 417000 | #Constraints: 44752
436.16/437.38 c #Conflicts: 418000 | #Constraints: 45752
436.16/437.38 c #Conflicts: 419000 | #Constraints: 46752
436.16/437.38 c #Conflicts: 420000 | #Constraints: 47752
436.16/437.38 c #Conflicts: 421000 | #Constraints: 48752
436.16/437.38 c #Conflicts: 422000 | #Constraints: 49752
436.16/437.38 c #Conflicts: 423000 | #Constraints: 50752
436.16/437.38 c #Conflicts: 424000 | #Constraints: 51752
436.16/437.38 c #Conflicts: 425000 | #Constraints: 52752
436.16/437.38 c INPROCESSING
436.16/437.38 c GARBAGE COLLECT
436.16/437.38 c rational objective 1.13243e-13
621.28/622.98 c #Conflicts: 426000 | #Constraints: 30263
621.28/622.98 c #Conflicts: 427000 | #Constraints: 31263
621.28/622.98 c #Conflicts: 428000 | #Constraints: 32263
621.28/622.98 c #Conflicts: 429000 | #Constraints: 33263
621.28/622.98 c #Conflicts: 430000 | #Constraints: 34263
621.28/622.98 c #Conflicts: 431000 | #Constraints: 35263
621.28/622.98 c #Conflicts: 432000 | #Constraints: 36263
621.28/622.98 c #Conflicts: 433000 | #Constraints: 37263
621.28/622.98 c #Conflicts: 434000 | #Constraints: 38263
621.28/622.98 c #Conflicts: 435000 | #Constraints: 39263
621.28/622.98 c #Conflicts: 436000 | #Constraints: 40263
621.28/622.98 c #Conflicts: 437000 | #Constraints: 41263
621.28/622.98 c #Conflicts: 438000 | #Constraints: 42263
621.28/622.98 c #Conflicts: 439000 | #Constraints: 43263
621.28/622.98 c #Conflicts: 440000 | #Constraints: 44263
621.28/622.98 c #Conflicts: 441000 | #Constraints: 45263
621.28/622.98 c INPROCESSING
621.28/622.98 c GARBAGE COLLECT
621.28/622.98 c #Conflicts: 442000 | #Constraints: 27450
621.28/622.98 c #Conflicts: 443000 | #Constraints: 28450
621.28/622.98 c #Conflicts: 444000 | #Constraints: 29450
621.28/622.98 c #Conflicts: 445000 | #Constraints: 30450
621.28/622.98 c #Conflicts: 446000 | #Constraints: 31450
621.28/622.98 c #Conflicts: 447000 | #Constraints: 32450
621.28/622.98 c #Conflicts: 448000 | #Constraints: 33450
621.28/622.98 c #Conflicts: 449000 | #Constraints: 34450
621.28/622.98 c #Conflicts: 450000 | #Constraints: 35450
621.28/622.98 c #Conflicts: 451000 | #Constraints: 36450
621.28/622.98 c #Conflicts: 452000 | #Constraints: 37450
621.28/622.98 c #Conflicts: 453000 | #Constraints: 38450
621.28/622.98 c #Conflicts: 454000 | #Constraints: 39450
621.28/622.98 c #Conflicts: 455000 | #Constraints: 40450
621.28/622.98 c #Conflicts: 456000 | #Constraints: 41450
621.28/622.98 c #Conflicts: 457000 | #Constraints: 42450
621.28/622.98 c #Conflicts: 458000 | #Constraints: 43450
621.28/622.98 c #Conflicts: 459000 | #Constraints: 44450
621.28/622.98 c #Conflicts: 460000 | #Constraints: 45450
621.28/622.98 c #Conflicts: 461000 | #Constraints: 46450
621.28/622.98 c #Conflicts: 462000 | #Constraints: 47450
621.28/622.98 c #Conflicts: 463000 | #Constraints: 48450
621.28/622.98 c #Conflicts: 464000 | #Constraints: 49450
621.28/622.98 c #Conflicts: 465000 | #Constraints: 50450
621.28/622.98 c #Conflicts: 466000 | #Constraints: 51450
621.28/622.98 c #Conflicts: 467000 | #Constraints: 52450
621.28/622.98 c #Conflicts: 468000 | #Constraints: 53450
621.28/622.98 c #Conflicts: 469000 | #Constraints: 54450
621.28/622.98 c #Conflicts: 470000 | #Constraints: 55450
621.28/622.98 c #Conflicts: 471000 | #Constraints: 56450
621.28/622.98 c #Conflicts: 472000 | #Constraints: 57450
621.28/622.98 c #Conflicts: 473000 | #Constraints: 58450
621.28/622.98 c #Conflicts: 474000 | #Constraints: 59450
621.28/622.98 c #Conflicts: 475000 | #Constraints: 60450
621.28/622.98 c #Conflicts: 476000 | #Constraints: 61450
621.28/622.98 c #Conflicts: 477000 | #Constraints: 62450
621.28/622.98 c #Conflicts: 478000 | #Constraints: 63450
621.28/622.98 c #Conflicts: 479000 | #Constraints: 64450
621.28/622.98 c #Conflicts: 480000 | #Constraints: 65450
621.28/622.98 c #Conflicts: 481000 | #Constraints: 66450
621.28/622.98 c #Conflicts: 482000 | #Constraints: 67450
621.28/622.98 c #Conflicts: 483000 | #Constraints: 68450
621.28/622.98 c #Conflicts: 484000 | #Constraints: 69450
621.28/622.98 c #Conflicts: 485000 | #Constraints: 70450
621.28/622.98 c #Conflicts: 486000 | #Constraints: 71450
621.28/622.98 c #Conflicts: 487000 | #Constraints: 72450
621.28/622.98 c #Conflicts: 488000 | #Constraints: 73450
621.28/622.98 c #Conflicts: 489000 | #Constraints: 74450
621.28/622.98 c INPROCESSING
621.28/622.98 c GARBAGE COLLECT
621.28/622.98 c rational objective 2.26485e-13
757.02/759.02 c #Conflicts: 490000 | #Constraints: 40870
757.02/759.02 c #Conflicts: 491000 | #Constraints: 41870
757.02/759.02 c #Conflicts: 492000 | #Constraints: 42870
757.02/759.02 c #Conflicts: 493000 | #Constraints: 43870
757.02/759.02 c #Conflicts: 494000 | #Constraints: 44870
757.02/759.02 c #Conflicts: 495000 | #Constraints: 45870
757.02/759.02 c #Conflicts: 496000 | #Constraints: 46870
757.02/759.02 c #Conflicts: 497000 | #Constraints: 47870
757.02/759.02 c #Conflicts: 498000 | #Constraints: 48870
757.02/759.02 c #Conflicts: 499000 | #Constraints: 49870
757.02/759.02 c #Conflicts: 500000 | #Constraints: 50870
757.02/759.02 c #Conflicts: 501000 | #Constraints: 51870
757.02/759.02 c #Conflicts: 502000 | #Constraints: 52870
757.02/759.02 c #Conflicts: 503000 | #Constraints: 53870
757.02/759.02 c #Conflicts: 504000 | #Constraints: 54870
757.02/759.02 c #Conflicts: 505000 | #Constraints: 55870
757.02/759.02 c #Conflicts: 506000 | #Constraints: 56870
757.02/759.02 c INPROCESSING
757.02/759.02 c GARBAGE COLLECT
757.02/759.02 c #Conflicts: 507000 | #Constraints: 31859
757.02/759.02 c #Conflicts: 508000 | #Constraints: 32859
757.02/759.02 c #Conflicts: 509000 | #Constraints: 33859
757.02/759.02 c #Conflicts: 510000 | #Constraints: 34859
757.02/759.02 c #Conflicts: 511000 | #Constraints: 35859
757.02/759.02 c #Conflicts: 512000 | #Constraints: 36859
757.02/759.02 c #Conflicts: 513000 | #Constraints: 37859
757.02/759.02 c #Conflicts: 514000 | #Constraints: 38859
757.02/759.02 c #Conflicts: 515000 | #Constraints: 39859
757.02/759.02 c #Conflicts: 516000 | #Constraints: 40859
757.02/759.02 c #Conflicts: 517000 | #Constraints: 41859
757.02/759.02 c #Conflicts: 518000 | #Constraints: 42859
757.02/759.02 c #Conflicts: 519000 | #Constraints: 43859
757.02/759.02 c #Conflicts: 520000 | #Constraints: 44859
757.02/759.02 c #Conflicts: 521000 | #Constraints: 45859
757.02/759.02 c #Conflicts: 522000 | #Constraints: 46859
757.02/759.02 c #Conflicts: 523000 | #Constraints: 47859
757.02/759.02 c #Conflicts: 524000 | #Constraints: 48859
757.02/759.02 c INPROCESSING
757.02/759.02 c GARBAGE COLLECT
757.02/759.02 c #Conflicts: 525000 | #Constraints: 28509
757.02/759.02 c #Conflicts: 526000 | #Constraints: 29509
757.02/759.02 c #Conflicts: 527000 | #Constraints: 30509
757.02/759.02 c #Conflicts: 528000 | #Constraints: 31509
757.02/759.02 c #Conflicts: 529000 | #Constraints: 32509
757.02/759.02 c #Conflicts: 530000 | #Constraints: 33509
757.02/759.02 c #Conflicts: 531000 | #Constraints: 34509
757.02/759.02 c #Conflicts: 532000 | #Constraints: 35509
757.02/759.02 c #Conflicts: 533000 | #Constraints: 36509
757.02/759.02 c #Conflicts: 534000 | #Constraints: 37509
757.02/759.02 c #Conflicts: 535000 | #Constraints: 38509
757.02/759.02 c #Conflicts: 536000 | #Constraints: 39509
757.02/759.02 c #Conflicts: 537000 | #Constraints: 40509
757.02/759.02 c #Conflicts: 538000 | #Constraints: 41509
757.02/759.02 c #Conflicts: 539000 | #Constraints: 42509
757.02/759.02 c #Conflicts: 540000 | #Constraints: 43509
757.02/759.02 c #Conflicts: 541000 | #Constraints: 44509
757.02/759.02 c #Conflicts: 542000 | #Constraints: 45509
757.02/759.02 c #Conflicts: 543000 | #Constraints: 46509
757.02/759.02 c #Conflicts: 544000 | #Constraints: 47509
757.02/759.02 c #Conflicts: 545000 | #Constraints: 48509
757.02/759.02 c #Conflicts: 546000 | #Constraints: 49509
757.02/759.02 c #Conflicts: 547000 | #Constraints: 50509
757.02/759.02 c #Conflicts: 548000 | #Constraints: 51509
757.02/759.02 c #Conflicts: 549000 | #Constraints: 52509
757.02/759.02 c #Conflicts: 550000 | #Constraints: 53509
757.02/759.02 c #Conflicts: 551000 | #Constraints: 54509
757.02/759.02 c #Conflicts: 552000 | #Constraints: 55509
757.02/759.02 c #Conflicts: 553000 | #Constraints: 56509
757.02/759.02 c #Conflicts: 554000 | #Constraints: 57509
757.02/759.02 c #Conflicts: 555000 | #Constraints: 58509
757.02/759.02 c #Conflicts: 556000 | #Constraints: 59509
757.02/759.02 c #Conflicts: 557000 | #Constraints: 60509
757.02/759.02 c #Conflicts: 558000 | #Constraints: 61509
757.02/759.02 c #Conflicts: 559000 | #Constraints: 62509
757.02/759.02 c #Conflicts: 560000 | #Constraints: 63509
757.02/759.02 c #Conflicts: 561000 | #Constraints: 64509
757.02/759.02 c #Conflicts: 562000 | #Constraints: 65509
757.02/759.02 c #Conflicts: 563000 | #Constraints: 66509
757.02/759.02 c #Conflicts: 564000 | #Constraints: 67509
757.02/759.02 c #Conflicts: 565000 | #Constraints: 68509
757.02/759.02 c #Conflicts: 566000 | #Constraints: 69509
757.02/759.02 c #Conflicts: 567000 | #Constraints: 70509
782.45/784.54 c #Conflicts: 568000 | #Constraints: 71509
782.45/784.54 c #Conflicts: 569000 | #Constraints: 72509
782.45/784.54 c #Conflicts: 570000 | #Constraints: 73509
782.45/784.54 c #Conflicts: 571000 | #Constraints: 74509
782.45/784.54 c #Conflicts: 572000 | #Constraints: 75509
782.45/784.54 c #Conflicts: 573000 | #Constraints: 76509
782.45/784.54 c #Conflicts: 574000 | #Constraints: 77509
782.45/784.54 c #Conflicts: 575000 | #Constraints: 78509
782.45/784.54 c #Conflicts: 576000 | #Constraints: 79509
782.45/784.54 c #Conflicts: 577000 | #Constraints: 80509
782.45/784.54 c INPROCESSING
782.45/784.54 c GARBAGE COLLECT
782.45/784.54 c rational objective 1.13243e-13
882.29/884.62 c #Conflicts: 578000 | #Constraints: 44075
882.29/884.62 c #Conflicts: 579000 | #Constraints: 45075
882.29/884.62 c #Conflicts: 580000 | #Constraints: 46075
882.29/884.62 c #Conflicts: 581000 | #Constraints: 47075
882.29/884.62 c #Conflicts: 582000 | #Constraints: 48075
882.29/884.62 c #Conflicts: 583000 | #Constraints: 49075
882.29/884.62 c #Conflicts: 584000 | #Constraints: 50075
882.29/884.62 c #Conflicts: 585000 | #Constraints: 51075
882.29/884.62 c #Conflicts: 586000 | #Constraints: 52075
882.29/884.62 c #Conflicts: 587000 | #Constraints: 53075
882.29/884.62 c #Conflicts: 588000 | #Constraints: 54075
882.29/884.62 c #Conflicts: 589000 | #Constraints: 55075
882.29/884.62 c #Conflicts: 590000 | #Constraints: 56075
882.29/884.62 c #Conflicts: 591000 | #Constraints: 57075
882.29/884.62 c #Conflicts: 592000 | #Constraints: 58075
882.29/884.62 c #Conflicts: 593000 | #Constraints: 59075
882.29/884.62 c #Conflicts: 594000 | #Constraints: 60075
882.29/884.62 c #Conflicts: 595000 | #Constraints: 61075
882.29/884.62 c #Conflicts: 596000 | #Constraints: 62075
882.29/884.62 c INPROCESSING
882.29/884.62 c GARBAGE COLLECT
882.29/884.62 c #Conflicts: 597000 | #Constraints: 34995
882.29/884.62 c #Conflicts: 598000 | #Constraints: 35995
882.29/884.62 c #Conflicts: 599000 | #Constraints: 36995
882.29/884.62 c #Conflicts: 600000 | #Constraints: 37995
882.29/884.62 c #Conflicts: 601000 | #Constraints: 38995
882.29/884.62 c #Conflicts: 602000 | #Constraints: 39995
882.29/884.62 c #Conflicts: 603000 | #Constraints: 40995
882.29/884.62 c #Conflicts: 604000 | #Constraints: 41995
882.29/884.62 c #Conflicts: 605000 | #Constraints: 42995
882.29/884.62 c #Conflicts: 606000 | #Constraints: 43995
882.29/884.62 c #Conflicts: 607000 | #Constraints: 44995
882.29/884.62 c #Conflicts: 608000 | #Constraints: 45995
882.29/884.62 c #Conflicts: 609000 | #Constraints: 46995
882.29/884.62 c #Conflicts: 610000 | #Constraints: 47995
882.29/884.62 c #Conflicts: 611000 | #Constraints: 48995
882.29/884.62 c #Conflicts: 612000 | #Constraints: 49995
882.29/884.62 c #Conflicts: 613000 | #Constraints: 50995
882.29/884.62 c #Conflicts: 614000 | #Constraints: 51995
882.29/884.62 c #Conflicts: 615000 | #Constraints: 52995
882.29/884.62 c INPROCESSING
882.29/884.62 c GARBAGE COLLECT
882.29/884.62 c #Conflicts: 616000 | #Constraints: 31655
882.29/884.62 c #Conflicts: 617000 | #Constraints: 32655
882.29/884.62 c #Conflicts: 618000 | #Constraints: 33655
882.29/884.62 c #Conflicts: 619000 | #Constraints: 34655
882.29/884.62 c #Conflicts: 620000 | #Constraints: 35655
882.29/884.62 c #Conflicts: 621000 | #Constraints: 36655
882.29/884.62 c #Conflicts: 622000 | #Constraints: 37655
882.29/884.62 c #Conflicts: 623000 | #Constraints: 38655
882.29/884.62 c #Conflicts: 624000 | #Constraints: 39655
882.29/884.62 c #Conflicts: 625000 | #Constraints: 40655
882.29/884.62 c #Conflicts: 626000 | #Constraints: 41655
882.29/884.62 c #Conflicts: 627000 | #Constraints: 42655
882.29/884.62 c #Conflicts: 628000 | #Constraints: 43655
882.29/884.62 c #Conflicts: 629000 | #Constraints: 44655
882.29/884.62 c #Conflicts: 630000 | #Constraints: 45655
882.29/884.62 c #Conflicts: 631000 | #Constraints: 46655
882.29/884.62 c #Conflicts: 632000 | #Constraints: 47655
882.29/884.62 c #Conflicts: 633000 | #Constraints: 48655
882.29/884.62 c #Conflicts: 634000 | #Constraints: 49655
882.29/884.62 c #Conflicts: 635000 | #Constraints: 50655
882.29/884.62 c #Conflicts: 636000 | #Constraints: 51655
882.29/884.62 c #Conflicts: 637000 | #Constraints: 52655
882.29/884.62 c #Conflicts: 638000 | #Constraints: 53655
882.29/884.62 c #Conflicts: 639000 | #Constraints: 54655
882.29/884.62 c #Conflicts: 640000 | #Constraints: 55655
882.29/884.62 c #Conflicts: 641000 | #Constraints: 56655
882.29/884.62 c #Conflicts: 642000 | #Constraints: 57655
882.29/884.62 c #Conflicts: 643000 | #Constraints: 58655
882.29/884.62 c #Conflicts: 644000 | #Constraints: 59655
882.29/884.62 c #Conflicts: 645000 | #Constraints: 60655
882.29/884.62 c #Conflicts: 646000 | #Constraints: 61655
882.29/884.62 c #Conflicts: 647000 | #Constraints: 62655
882.29/884.62 c #Conflicts: 648000 | #Constraints: 63655
882.29/884.62 c #Conflicts: 649000 | #Constraints: 64655
882.29/884.62 c #Conflicts: 650000 | #Constraints: 65655
882.29/884.62 c #Conflicts: 651000 | #Constraints: 66655
882.29/884.62 c #Conflicts: 652000 | #Constraints: 67655
882.29/884.62 c #Conflicts: 653000 | #Constraints: 68655
882.29/884.62 c #Conflicts: 654000 | #Constraints: 69655
882.29/884.62 c #Conflicts: 655000 | #Constraints: 70655
936.75/939.24 c #Conflicts: 656000 | #Constraints: 71655
936.75/939.24 c #Conflicts: 657000 | #Constraints: 72655
936.75/939.24 c #Conflicts: 658000 | #Constraints: 73655
936.75/939.24 c #Conflicts: 659000 | #Constraints: 74655
936.75/939.24 c #Conflicts: 660000 | #Constraints: 75655
936.75/939.24 c #Conflicts: 661000 | #Constraints: 76655
936.75/939.24 c #Conflicts: 662000 | #Constraints: 77655
936.75/939.24 c #Conflicts: 663000 | #Constraints: 78655
936.75/939.24 c #Conflicts: 664000 | #Constraints: 79655
936.75/939.24 c #Conflicts: 665000 | #Constraints: 80655
936.75/939.24 c #Conflicts: 666000 | #Constraints: 81655
936.75/939.24 c #Conflicts: 667000 | #Constraints: 82655
936.75/939.24 c #Conflicts: 668000 | #Constraints: 83655
936.75/939.24 c #Conflicts: 669000 | #Constraints: 84655
936.75/939.24 c #Conflicts: 670000 | #Constraints: 85655
936.75/939.24 c #Conflicts: 671000 | #Constraints: 86655
936.75/939.24 c #Conflicts: 672000 | #Constraints: 87655
936.75/939.24 c INPROCESSING
936.75/939.24 c GARBAGE COLLECT
936.75/939.24 c rational objective 1.13243e-13
960.18/962.73 c #Conflicts: 673000 | #Constraints: 47825
960.18/962.73 c #Conflicts: 674000 | #Constraints: 48825
960.18/962.73 c #Conflicts: 675000 | #Constraints: 49825
960.18/962.73 c #Conflicts: 676000 | #Constraints: 50825
960.18/962.73 c #Conflicts: 677000 | #Constraints: 51825
960.18/962.73 c #Conflicts: 678000 | #Constraints: 52825
960.18/962.73 c #Conflicts: 679000 | #Constraints: 53825
960.18/962.73 c #Conflicts: 680000 | #Constraints: 54825
960.18/962.73 c #Conflicts: 681000 | #Constraints: 55825
960.18/962.73 c #Conflicts: 682000 | #Constraints: 56825
960.18/962.73 c #Conflicts: 683000 | #Constraints: 57825
960.18/962.73 c #Conflicts: 684000 | #Constraints: 58825
960.18/962.73 c #Conflicts: 685000 | #Constraints: 59825
960.18/962.73 c #Conflicts: 686000 | #Constraints: 60825
960.18/962.73 c #Conflicts: 687000 | #Constraints: 61825
960.18/962.73 c #Conflicts: 688000 | #Constraints: 62825
960.18/962.73 c #Conflicts: 689000 | #Constraints: 63825
960.18/962.73 c #Conflicts: 690000 | #Constraints: 64825
960.18/962.73 c #Conflicts: 691000 | #Constraints: 65825
960.18/962.73 c #Conflicts: 692000 | #Constraints: 66825
960.18/962.73 c INPROCESSING
960.18/962.73 c GARBAGE COLLECT
960.18/962.73 c rational objective -1.66089e-12
1196.65/1199.97 c #Conflicts: 693000 | #Constraints: 37310
1196.65/1199.97 c #Conflicts: 694000 | #Constraints: 38310
1196.65/1199.97 c #Conflicts: 695000 | #Constraints: 39310
1196.65/1199.97 c #Conflicts: 696000 | #Constraints: 40310
1196.65/1199.97 c #Conflicts: 697000 | #Constraints: 41310
1196.65/1199.97 c #Conflicts: 698000 | #Constraints: 42310
1196.65/1199.97 c #Conflicts: 699000 | #Constraints: 43310
1196.65/1199.97 c #Conflicts: 700000 | #Constraints: 44310
1196.65/1199.97 c #Conflicts: 701000 | #Constraints: 45310
1196.65/1199.97 c #Conflicts: 702000 | #Constraints: 46310
1196.65/1199.97 c #Conflicts: 703000 | #Constraints: 47310
1196.65/1199.97 c #Conflicts: 704000 | #Constraints: 48310
1196.65/1199.97 c #Conflicts: 705000 | #Constraints: 49310
1196.65/1199.97 c #Conflicts: 706000 | #Constraints: 50310
1196.65/1199.97 c #Conflicts: 707000 | #Constraints: 51310
1196.65/1199.97 c #Conflicts: 708000 | #Constraints: 52310
1196.65/1199.97 c #Conflicts: 709000 | #Constraints: 53310
1196.65/1199.97 c #Conflicts: 710000 | #Constraints: 54310
1196.65/1199.97 c #Conflicts: 711000 | #Constraints: 55310
1196.65/1199.97 c #Conflicts: 712000 | #Constraints: 56310
1196.65/1199.97 c INPROCESSING
1196.65/1199.97 c GARBAGE COLLECT
1196.65/1199.97 c #Conflicts: 713000 | #Constraints: 33975
1196.65/1199.97 c #Conflicts: 714000 | #Constraints: 34975
1196.65/1199.97 c #Conflicts: 715000 | #Constraints: 35975
1196.65/1199.97 c #Conflicts: 716000 | #Constraints: 36975
1196.65/1199.97 c #Conflicts: 717000 | #Constraints: 37975
1196.65/1199.97 c #Conflicts: 718000 | #Constraints: 38975
1196.65/1199.97 c #Conflicts: 719000 | #Constraints: 39975
1196.65/1199.97 c #Conflicts: 720000 | #Constraints: 40975
1196.65/1199.97 c #Conflicts: 721000 | #Constraints: 41975
1196.65/1199.97 c #Conflicts: 722000 | #Constraints: 42975
1196.65/1199.97 c #Conflicts: 723000 | #Constraints: 43975
1196.65/1199.97 c #Conflicts: 724000 | #Constraints: 44975
1196.65/1199.97 c #Conflicts: 725000 | #Constraints: 45975
1196.65/1199.97 c #Conflicts: 726000 | #Constraints: 46975
1196.65/1199.97 c #Conflicts: 727000 | #Constraints: 47975
1196.65/1199.97 c #Conflicts: 728000 | #Constraints: 48975
1196.65/1199.97 c #Conflicts: 729000 | #Constraints: 49975
1196.65/1199.97 c #Conflicts: 730000 | #Constraints: 50975
1196.65/1199.97 c #Conflicts: 731000 | #Constraints: 51975
1196.65/1199.97 c #Conflicts: 732000 | #Constraints: 52975
1196.65/1199.97 c #Conflicts: 733000 | #Constraints: 53975
1196.65/1199.97 c #Conflicts: 734000 | #Constraints: 54975
1196.65/1199.97 c #Conflicts: 735000 | #Constraints: 55975
1196.65/1199.97 c #Conflicts: 736000 | #Constraints: 56975
1196.65/1199.97 c #Conflicts: 737000 | #Constraints: 57975
1196.65/1199.97 c #Conflicts: 738000 | #Constraints: 58975
1196.65/1199.97 c #Conflicts: 739000 | #Constraints: 59975
1196.65/1199.97 c #Conflicts: 740000 | #Constraints: 60975
1196.65/1199.97 c #Conflicts: 741000 | #Constraints: 61975
1196.65/1199.97 c #Conflicts: 742000 | #Constraints: 62975
1196.65/1199.97 c #Conflicts: 743000 | #Constraints: 63975
1196.65/1199.97 c #Conflicts: 744000 | #Constraints: 64975
1196.65/1199.97 c #Conflicts: 745000 | #Constraints: 65975
1196.65/1199.97 c #Conflicts: 746000 | #Constraints: 66975
1196.65/1199.97 c #Conflicts: 747000 | #Constraints: 67975
1196.65/1199.97 c #Conflicts: 748000 | #Constraints: 68975
1196.65/1199.97 c #Conflicts: 749000 | #Constraints: 69975
1196.65/1199.97 c #Conflicts: 750000 | #Constraints: 70975
1196.65/1199.97 c #Conflicts: 751000 | #Constraints: 71975
1196.65/1199.97 c #Conflicts: 752000 | #Constraints: 72975
1196.65/1199.97 c #Conflicts: 753000 | #Constraints: 73975
1196.65/1199.97 c #Conflicts: 754000 | #Constraints: 74975
1196.65/1199.97 c #Conflicts: 755000 | #Constraints: 75976
1196.65/1199.97 c #Conflicts: 756000 | #Constraints: 76976
1196.65/1199.97 c #Conflicts: 757000 | #Constraints: 77976
1196.65/1199.97 c #Conflicts: 758000 | #Constraints: 78976
1196.65/1199.97 c #Conflicts: 759000 | #Constraints: 79976
1196.65/1199.97 c #Conflicts: 760000 | #Constraints: 80976
1196.65/1199.97 c #Conflicts: 761000 | #Constraints: 81976
1196.65/1199.97 c #Conflicts: 762000 | #Constraints: 82976
1196.65/1199.97 c #Conflicts: 763000 | #Constraints: 83976
1196.65/1199.97 c #Conflicts: 764000 | #Constraints: 84976
1196.65/1199.97 c #Conflicts: 765000 | #Constraints: 85976
1196.65/1199.97 c #Conflicts: 766000 | #Constraints: 86976
1196.65/1199.97 c #Conflicts: 767000 | #Constraints: 87976
1196.65/1199.97 c #Conflicts: 768000 | #Constraints: 88976
1196.65/1199.97 c #Conflicts: 769000 | #Constraints: 89976
1196.65/1199.97 c #Conflicts: 770000 | #Constraints: 90976
1196.65/1199.97 c #Conflicts: 771000 | #Constraints: 91976
1208.62/1211.97 c #Conflicts: 772000 | #Constraints: 92976
1208.62/1211.97 c #Conflicts: 773000 | #Constraints: 93976
1208.62/1211.97 c #Conflicts: 774000 | #Constraints: 94976
1208.62/1211.97 c INPROCESSING
1208.62/1211.97 c GARBAGE COLLECT
1208.62/1211.97 c rational objective -1.13243e-13
1273.91/1277.47 c #Conflicts: 775000 | #Constraints: 51410
1273.91/1277.47 c #Conflicts: 776000 | #Constraints: 52411
1273.91/1277.47 c #Conflicts: 777000 | #Constraints: 53411
1273.91/1277.47 c #Conflicts: 778000 | #Constraints: 54411
1273.91/1277.47 c #Conflicts: 779000 | #Constraints: 55411
1273.91/1277.47 c #Conflicts: 780000 | #Constraints: 56411
1273.91/1277.47 c #Conflicts: 781000 | #Constraints: 57411
1273.91/1277.47 c #Conflicts: 782000 | #Constraints: 58411
1273.91/1277.47 c #Conflicts: 783000 | #Constraints: 59411
1273.91/1277.47 c #Conflicts: 784000 | #Constraints: 60412
1273.91/1277.47 c #Conflicts: 785000 | #Constraints: 61412
1273.91/1277.47 c #Conflicts: 786000 | #Constraints: 62412
1273.91/1277.47 c #Conflicts: 787000 | #Constraints: 63412
1273.91/1277.47 c #Conflicts: 788000 | #Constraints: 64412
1273.91/1277.47 c #Conflicts: 789000 | #Constraints: 65412
1273.91/1277.47 c #Conflicts: 790000 | #Constraints: 66412
1273.91/1277.47 c #Conflicts: 791000 | #Constraints: 67412
1273.91/1277.47 c #Conflicts: 792000 | #Constraints: 68413
1273.91/1277.47 c #Conflicts: 793000 | #Constraints: 69413
1273.91/1277.47 c #Conflicts: 794000 | #Constraints: 70413
1273.91/1277.47 c #Conflicts: 795000 | #Constraints: 71413
1273.91/1277.47 c INPROCESSING
1273.91/1277.47 c GARBAGE COLLECT
1273.91/1277.47 c #Conflicts: 796000 | #Constraints: 39289
1273.91/1277.47 c #Conflicts: 797000 | #Constraints: 40289
1273.91/1277.47 c #Conflicts: 798000 | #Constraints: 41289
1273.91/1277.47 c #Conflicts: 799000 | #Constraints: 42289
1273.91/1277.47 c #Conflicts: 800000 | #Constraints: 43289
1273.91/1277.47 c #Conflicts: 801000 | #Constraints: 44290
1273.91/1277.47 c #Conflicts: 802000 | #Constraints: 45290
1273.91/1277.47 c #Conflicts: 803000 | #Constraints: 46290
1273.91/1277.47 c #Conflicts: 804000 | #Constraints: 47290
1273.91/1277.47 c #Conflicts: 805000 | #Constraints: 48290
1273.91/1277.47 c #Conflicts: 806000 | #Constraints: 49290
1273.91/1277.47 c #Conflicts: 807000 | #Constraints: 50290
1273.91/1277.47 c #Conflicts: 808000 | #Constraints: 51290
1273.91/1277.47 c #Conflicts: 809000 | #Constraints: 52290
1273.91/1277.47 c #Conflicts: 810000 | #Constraints: 53290
1273.91/1277.47 c #Conflicts: 811000 | #Constraints: 54290
1273.91/1277.47 c #Conflicts: 812000 | #Constraints: 55290
1273.91/1277.47 c #Conflicts: 813000 | #Constraints: 56290
1273.91/1277.47 c #Conflicts: 814000 | #Constraints: 57290
1273.91/1277.47 c #Conflicts: 815000 | #Constraints: 58290
1273.91/1277.47 c #Conflicts: 816000 | #Constraints: 59290
1273.91/1277.47 c #Conflicts: 817000 | #Constraints: 60290
1273.91/1277.47 c INPROCESSING
1273.91/1277.47 c GARBAGE COLLECT
1273.91/1277.47 c rational objective -1.13243e-13
1470.54/1474.60 c #Conflicts: 818000 | #Constraints: 36784
1470.54/1474.60 c #Conflicts: 819000 | #Constraints: 37784
1470.54/1474.60 c #Conflicts: 820000 | #Constraints: 38784
1470.54/1474.60 c #Conflicts: 821000 | #Constraints: 39784
1470.54/1474.60 c #Conflicts: 822000 | #Constraints: 40784
1470.54/1474.60 c #Conflicts: 823000 | #Constraints: 41784
1470.54/1474.60 c #Conflicts: 824000 | #Constraints: 42784
1470.54/1474.60 c #Conflicts: 825000 | #Constraints: 43784
1470.54/1474.60 c #Conflicts: 826000 | #Constraints: 44784
1470.54/1474.60 c #Conflicts: 827000 | #Constraints: 45784
1470.54/1474.60 c #Conflicts: 828000 | #Constraints: 46784
1470.54/1474.60 c #Conflicts: 829000 | #Constraints: 47784
1470.54/1474.60 c #Conflicts: 830000 | #Constraints: 48784
1470.54/1474.60 c #Conflicts: 831000 | #Constraints: 49784
1470.54/1474.60 c #Conflicts: 832000 | #Constraints: 50784
1470.54/1474.60 c #Conflicts: 833000 | #Constraints: 51784
1470.54/1474.60 c #Conflicts: 834000 | #Constraints: 52784
1470.54/1474.60 c #Conflicts: 835000 | #Constraints: 53784
1470.54/1474.60 c #Conflicts: 836000 | #Constraints: 54784
1470.54/1474.60 c #Conflicts: 837000 | #Constraints: 55784
1470.54/1474.60 c #Conflicts: 838000 | #Constraints: 56784
1470.54/1474.60 c #Conflicts: 839000 | #Constraints: 57784
1470.54/1474.60 c #Conflicts: 840000 | #Constraints: 58784
1470.54/1474.60 c #Conflicts: 841000 | #Constraints: 59784
1470.54/1474.60 c #Conflicts: 842000 | #Constraints: 60784
1470.54/1474.60 c #Conflicts: 843000 | #Constraints: 61784
1470.54/1474.60 c #Conflicts: 844000 | #Constraints: 62784
1470.54/1474.60 c #Conflicts: 845000 | #Constraints: 63784
1470.54/1474.60 c #Conflicts: 846000 | #Constraints: 64784
1470.54/1474.60 c #Conflicts: 847000 | #Constraints: 65784
1470.54/1474.60 c #Conflicts: 848000 | #Constraints: 66784
1470.54/1474.60 c #Conflicts: 849000 | #Constraints: 67784
1470.54/1474.60 c #Conflicts: 850000 | #Constraints: 68784
1470.54/1474.60 c #Conflicts: 851000 | #Constraints: 69784
1470.54/1474.60 c #Conflicts: 852000 | #Constraints: 70784
1470.54/1474.60 c #Conflicts: 853000 | #Constraints: 71784
1470.54/1474.60 c #Conflicts: 854000 | #Constraints: 72784
1470.54/1474.60 c #Conflicts: 855000 | #Constraints: 73784
1470.54/1474.60 c #Conflicts: 856000 | #Constraints: 74784
1470.54/1474.60 c #Conflicts: 857000 | #Constraints: 75784
1470.54/1474.60 c #Conflicts: 858000 | #Constraints: 76784
1470.54/1474.60 c #Conflicts: 859000 | #Constraints: 77784
1470.54/1474.60 c #Conflicts: 860000 | #Constraints: 78784
1470.54/1474.60 c #Conflicts: 861000 | #Constraints: 79784
1470.54/1474.60 c #Conflicts: 862000 | #Constraints: 80784
1470.54/1474.60 c #Conflicts: 863000 | #Constraints: 81784
1470.54/1474.60 c #Conflicts: 864000 | #Constraints: 82784
1470.54/1474.60 c #Conflicts: 865000 | #Constraints: 83784
1470.54/1474.60 c #Conflicts: 866000 | #Constraints: 84784
1470.54/1474.60 c #Conflicts: 867000 | #Constraints: 85784
1470.54/1474.60 c #Conflicts: 868000 | #Constraints: 86784
1470.54/1474.60 c #Conflicts: 869000 | #Constraints: 87784
1470.54/1474.60 c #Conflicts: 870000 | #Constraints: 88784
1470.54/1474.60 c #Conflicts: 871000 | #Constraints: 89784
1470.54/1474.60 c #Conflicts: 872000 | #Constraints: 90784
1470.54/1474.60 c #Conflicts: 873000 | #Constraints: 91784
1470.54/1474.60 c #Conflicts: 874000 | #Constraints: 92784
1470.54/1474.60 c #Conflicts: 875000 | #Constraints: 93784
1470.54/1474.60 c #Conflicts: 876000 | #Constraints: 94784
1470.54/1474.60 c #Conflicts: 877000 | #Constraints: 95784
1470.54/1474.60 c #Conflicts: 878000 | #Constraints: 96784
1470.54/1474.60 c #Conflicts: 879000 | #Constraints: 97784
1470.54/1474.60 c #Conflicts: 880000 | #Constraints: 98784
1470.54/1474.60 c #Conflicts: 881000 | #Constraints: 99784
1470.54/1474.60 c #Conflicts: 882000 | #Constraints: 100784
1470.54/1474.60 c #Conflicts: 883000 | #Constraints: 101784
1470.54/1474.60 c INPROCESSING
1470.54/1474.60 c GARBAGE COLLECT
1470.54/1474.60 c rational objective -1.13243e-13
1557.82/1562.17 c #Conflicts: 884000 | #Constraints: 54783
1557.82/1562.17 c #Conflicts: 885000 | #Constraints: 55783
1557.82/1562.17 c #Conflicts: 886000 | #Constraints: 56783
1557.82/1562.17 c #Conflicts: 887000 | #Constraints: 57783
1557.82/1562.17 c #Conflicts: 888000 | #Constraints: 58783
1557.82/1562.17 c #Conflicts: 889000 | #Constraints: 59783
1557.82/1562.17 c #Conflicts: 890000 | #Constraints: 60783
1557.82/1562.17 c #Conflicts: 891000 | #Constraints: 61783
1557.82/1562.17 c #Conflicts: 892000 | #Constraints: 62783
1557.82/1562.17 c #Conflicts: 893000 | #Constraints: 63783
1557.82/1562.17 c #Conflicts: 894000 | #Constraints: 64783
1557.82/1562.17 c #Conflicts: 895000 | #Constraints: 65783
1557.82/1562.17 c #Conflicts: 896000 | #Constraints: 66783
1557.82/1562.17 c #Conflicts: 897000 | #Constraints: 67783
1557.82/1562.17 c #Conflicts: 898000 | #Constraints: 68783
1557.82/1562.17 c #Conflicts: 899000 | #Constraints: 69783
1557.82/1562.17 c #Conflicts: 900000 | #Constraints: 70783
1557.82/1562.17 c #Conflicts: 901000 | #Constraints: 71783
1557.82/1562.17 c #Conflicts: 902000 | #Constraints: 72783
1557.82/1562.17 c #Conflicts: 903000 | #Constraints: 73783
1557.82/1562.17 c #Conflicts: 904000 | #Constraints: 74783
1557.82/1562.17 c #Conflicts: 905000 | #Constraints: 75783
1557.82/1562.17 c #Conflicts: 906000 | #Constraints: 76783
1557.82/1562.17 c INPROCESSING
1557.82/1562.17 c GARBAGE COLLECT
1557.82/1562.17 c #Conflicts: 907000 | #Constraints: 42187
1557.82/1562.17 c #Conflicts: 908000 | #Constraints: 43187
1557.82/1562.17 c #Conflicts: 909000 | #Constraints: 44187
1557.82/1562.17 c #Conflicts: 910000 | #Constraints: 45187
1557.82/1562.17 c #Conflicts: 911000 | #Constraints: 46187
1557.82/1562.17 c #Conflicts: 912000 | #Constraints: 47187
1557.82/1562.17 c #Conflicts: 913000 | #Constraints: 48187
1557.82/1562.17 c #Conflicts: 914000 | #Constraints: 49187
1557.82/1562.17 c #Conflicts: 915000 | #Constraints: 50187
1557.82/1562.17 c #Conflicts: 916000 | #Constraints: 51188
1557.82/1562.17 c #Conflicts: 917000 | #Constraints: 52188
1557.82/1562.17 c #Conflicts: 918000 | #Constraints: 53188
1557.82/1562.17 c #Conflicts: 919000 | #Constraints: 54188
1557.82/1562.17 c #Conflicts: 920000 | #Constraints: 55189
1557.82/1562.17 c #Conflicts: 921000 | #Constraints: 56189
1557.82/1562.17 c #Conflicts: 922000 | #Constraints: 57189
1557.82/1562.17 c #Conflicts: 923000 | #Constraints: 58189
1557.82/1562.17 c #Conflicts: 924000 | #Constraints: 59189
1557.82/1562.17 c #Conflicts: 925000 | #Constraints: 60189
1557.82/1562.17 c #Conflicts: 926000 | #Constraints: 61189
1557.82/1562.17 c #Conflicts: 927000 | #Constraints: 62189
1557.82/1562.17 c #Conflicts: 928000 | #Constraints: 63189
1557.82/1562.17 c #Conflicts: 929000 | #Constraints: 64189
1557.82/1562.17 c #Conflicts: 930000 | #Constraints: 65189
1557.82/1562.17 c INPROCESSING
1557.82/1562.17 c GARBAGE COLLECT
1557.82/1562.17 c rational objective -1.13243e-13
2055.06/2060.63 c #Conflicts: 931000 | #Constraints: 40424
2055.06/2060.63 c #Conflicts: 932000 | #Constraints: 41424
2055.06/2060.63 c #Conflicts: 933000 | #Constraints: 42424
2055.06/2060.63 c #Conflicts: 934000 | #Constraints: 43424
2055.06/2060.63 c #Conflicts: 935000 | #Constraints: 44424
2055.06/2060.63 c #Conflicts: 936000 | #Constraints: 45424
2055.06/2060.63 c #Conflicts: 937000 | #Constraints: 46424
2055.06/2060.63 c #Conflicts: 938000 | #Constraints: 47424
2055.06/2060.63 c #Conflicts: 939000 | #Constraints: 48424
2055.06/2060.63 c #Conflicts: 940000 | #Constraints: 49424
2055.06/2060.63 c #Conflicts: 941000 | #Constraints: 50425
2055.06/2060.63 c #Conflicts: 942000 | #Constraints: 51425
2055.06/2060.63 c #Conflicts: 943000 | #Constraints: 52425
2055.06/2060.63 c #Conflicts: 944000 | #Constraints: 53425
2055.06/2060.63 c #Conflicts: 945000 | #Constraints: 54425
2055.06/2060.63 c #Conflicts: 946000 | #Constraints: 55425
2055.06/2060.63 c #Conflicts: 947000 | #Constraints: 56425
2055.06/2060.63 c #Conflicts: 948000 | #Constraints: 57425
2055.06/2060.63 c #Conflicts: 949000 | #Constraints: 58425
2055.06/2060.63 c #Conflicts: 950000 | #Constraints: 59425
2055.06/2060.63 c #Conflicts: 951000 | #Constraints: 60425
2055.06/2060.63 c #Conflicts: 952000 | #Constraints: 61425
2055.06/2060.63 c #Conflicts: 953000 | #Constraints: 62425
2055.06/2060.63 c #Conflicts: 954000 | #Constraints: 63425
2055.06/2060.63 c #Conflicts: 955000 | #Constraints: 64425
2055.06/2060.63 c #Conflicts: 956000 | #Constraints: 65425
2055.06/2060.63 c #Conflicts: 957000 | #Constraints: 66425
2055.06/2060.63 c #Conflicts: 958000 | #Constraints: 67425
2055.06/2060.63 c #Conflicts: 959000 | #Constraints: 68425
2055.06/2060.63 c #Conflicts: 960000 | #Constraints: 69425
2055.06/2060.63 c #Conflicts: 961000 | #Constraints: 70425
2055.06/2060.63 c #Conflicts: 962000 | #Constraints: 71425
2055.06/2060.63 c #Conflicts: 963000 | #Constraints: 72425
2055.06/2060.63 c #Conflicts: 964000 | #Constraints: 73425
2055.06/2060.63 c #Conflicts: 965000 | #Constraints: 74425
2055.06/2060.63 c #Conflicts: 966000 | #Constraints: 75426
2055.06/2060.63 c #Conflicts: 967000 | #Constraints: 76426
2055.06/2060.63 c #Conflicts: 968000 | #Constraints: 77426
2055.06/2060.63 c #Conflicts: 969000 | #Constraints: 78426
2055.06/2060.63 c #Conflicts: 970000 | #Constraints: 79426
2055.06/2060.63 c #Conflicts: 971000 | #Constraints: 80426
2055.06/2060.63 c #Conflicts: 972000 | #Constraints: 81426
2055.06/2060.63 c #Conflicts: 973000 | #Constraints: 82426
2055.06/2060.63 c #Conflicts: 974000 | #Constraints: 83426
2055.06/2060.63 c #Conflicts: 975000 | #Constraints: 84426
2055.06/2060.63 c #Conflicts: 976000 | #Constraints: 85426
2055.06/2060.63 c #Conflicts: 977000 | #Constraints: 86426
2055.06/2060.63 c #Conflicts: 978000 | #Constraints: 87426
2055.06/2060.63 c #Conflicts: 979000 | #Constraints: 88426
2055.06/2060.63 c #Conflicts: 980000 | #Constraints: 89426
2055.06/2060.63 c #Conflicts: 981000 | #Constraints: 90426
2055.06/2060.63 c #Conflicts: 982000 | #Constraints: 91426
2055.06/2060.63 c #Conflicts: 983000 | #Constraints: 92426
2055.06/2060.63 c #Conflicts: 984000 | #Constraints: 93426
2055.06/2060.63 c #Conflicts: 985000 | #Constraints: 94426
2055.06/2060.63 c #Conflicts: 986000 | #Constraints: 95426
2055.06/2060.63 c #Conflicts: 987000 | #Constraints: 96426
2055.06/2060.63 c #Conflicts: 988000 | #Constraints: 97426
2055.06/2060.63 c #Conflicts: 989000 | #Constraints: 98426
2055.06/2060.63 c #Conflicts: 990000 | #Constraints: 99426
2055.06/2060.63 c #Conflicts: 991000 | #Constraints: 100426
2055.06/2060.63 c #Conflicts: 992000 | #Constraints: 101426
2055.06/2060.63 c #Conflicts: 993000 | #Constraints: 102426
2055.06/2060.63 c #Conflicts: 994000 | #Constraints: 103426
2055.06/2060.63 c #Conflicts: 995000 | #Constraints: 104426
2055.06/2060.63 c #Conflicts: 996000 | #Constraints: 105426
2055.06/2060.63 c #Conflicts: 997000 | #Constraints: 106426
2055.06/2060.63 c #Conflicts: 998000 | #Constraints: 107426
2055.06/2060.63 c #Conflicts: 999000 | #Constraints: 108426
2055.06/2060.63 c INPROCESSING
2055.06/2060.63 c GARBAGE COLLECT
2055.06/2060.63 c rational objective 1.13243e-13
2116.70/2122.44 c #Conflicts: 1000000 | #Constraints: 57957
2116.70/2122.44 c #Conflicts: 1001000 | #Constraints: 58957
2116.70/2122.44 c #Conflicts: 1002000 | #Constraints: 59957
2116.70/2122.44 c #Conflicts: 1003000 | #Constraints: 60957
2116.70/2122.44 c #Conflicts: 1004000 | #Constraints: 61957
2116.70/2122.44 c #Conflicts: 1005000 | #Constraints: 62957
2116.70/2122.44 c #Conflicts: 1006000 | #Constraints: 63957
2116.70/2122.44 c #Conflicts: 1007000 | #Constraints: 64957
2116.70/2122.44 c #Conflicts: 1008000 | #Constraints: 65957
2116.70/2122.44 c #Conflicts: 1009000 | #Constraints: 66957
2116.70/2122.44 c #Conflicts: 1010000 | #Constraints: 67957
2116.70/2122.44 c #Conflicts: 1011000 | #Constraints: 68957
2116.70/2122.44 c #Conflicts: 1012000 | #Constraints: 69957
2116.70/2122.44 c #Conflicts: 1013000 | #Constraints: 70957
2116.70/2122.44 c #Conflicts: 1014000 | #Constraints: 71957
2116.70/2122.44 c #Conflicts: 1015000 | #Constraints: 72957
2116.70/2122.44 c #Conflicts: 1016000 | #Constraints: 73957
2116.70/2122.44 c #Conflicts: 1017000 | #Constraints: 74957
2116.70/2122.44 c #Conflicts: 1018000 | #Constraints: 75957
2116.70/2122.44 c #Conflicts: 1019000 | #Constraints: 76957
2116.70/2122.44 c #Conflicts: 1020000 | #Constraints: 77957
2116.70/2122.44 c #Conflicts: 1021000 | #Constraints: 78957
2116.70/2122.44 c #Conflicts: 1022000 | #Constraints: 79957
2116.70/2122.44 c #Conflicts: 1023000 | #Constraints: 80957
2116.70/2122.44 c #Conflicts: 1024000 | #Constraints: 81957
2116.70/2122.44 c INPROCESSING
2116.70/2122.44 c GARBAGE COLLECT
2116.70/2122.44 c rational objective -1.13243e-13
2203.88/2209.83 c #Conflicts: 1025000 | #Constraints: 44646
2203.88/2209.83 c #Conflicts: 1026000 | #Constraints: 45646
2203.88/2209.83 c #Conflicts: 1027000 | #Constraints: 46646
2203.88/2209.83 c #Conflicts: 1028000 | #Constraints: 47646
2203.88/2209.83 c #Conflicts: 1029000 | #Constraints: 48646
2203.88/2209.83 c #Conflicts: 1030000 | #Constraints: 49646
2203.88/2209.83 c #Conflicts: 1031000 | #Constraints: 50646
2203.88/2209.83 c #Conflicts: 1032000 | #Constraints: 51646
2203.88/2209.83 c #Conflicts: 1033000 | #Constraints: 52646
2203.88/2209.83 c #Conflicts: 1034000 | #Constraints: 53646
2203.88/2209.83 c #Conflicts: 1035000 | #Constraints: 54646
2203.88/2209.83 c #Conflicts: 1036000 | #Constraints: 55646
2203.88/2209.83 c #Conflicts: 1037000 | #Constraints: 56646
2203.88/2209.83 c #Conflicts: 1038000 | #Constraints: 57646
2203.88/2209.83 c #Conflicts: 1039000 | #Constraints: 58646
2203.88/2209.83 c #Conflicts: 1040000 | #Constraints: 59646
2203.88/2209.83 c #Conflicts: 1041000 | #Constraints: 60646
2203.88/2209.83 c #Conflicts: 1042000 | #Constraints: 61646
2203.88/2209.83 c #Conflicts: 1043000 | #Constraints: 62646
2203.88/2209.83 c #Conflicts: 1044000 | #Constraints: 63646
2203.88/2209.83 c #Conflicts: 1045000 | #Constraints: 64646
2203.88/2209.83 c #Conflicts: 1046000 | #Constraints: 65646
2203.88/2209.83 c #Conflicts: 1047000 | #Constraints: 66646
2203.88/2209.83 c #Conflicts: 1048000 | #Constraints: 67646
2203.88/2209.83 c #Conflicts: 1049000 | #Constraints: 68646
2203.88/2209.83 c INPROCESSING
2203.88/2209.83 c GARBAGE COLLECT
2203.88/2209.83 c rational objective 1
3568.97/3578.62 c #Conflicts: 1050000 | #Constraints: 41329
3568.97/3578.62 c #Conflicts: 1051000 | #Constraints: 42329
3568.97/3578.62 c #Conflicts: 1052000 | #Constraints: 43329
3568.97/3578.62 c #Conflicts: 1053000 | #Constraints: 44329
3568.97/3578.62 c #Conflicts: 1054000 | #Constraints: 45329
3568.97/3578.62 c #Conflicts: 1055000 | #Constraints: 46329
3568.97/3578.62 c #Conflicts: 1056000 | #Constraints: 47329
3568.97/3578.62 c #Conflicts: 1057000 | #Constraints: 48329
3568.97/3578.62 c #Conflicts: 1058000 | #Constraints: 49329
3568.97/3578.62 c #Conflicts: 1059000 | #Constraints: 50329
3568.97/3578.62 c #Conflicts: 1060000 | #Constraints: 51329
3568.97/3578.62 c #Conflicts: 1061000 | #Constraints: 52329
3568.97/3578.62 c #Conflicts: 1062000 | #Constraints: 53329
3568.97/3578.62 c #Conflicts: 1063000 | #Constraints: 54329
3568.97/3578.62 c #Conflicts: 1064000 | #Constraints: 55329
3568.97/3578.62 c #Conflicts: 1065000 | #Constraints: 56329
3568.97/3578.62 c #Conflicts: 1066000 | #Constraints: 57329
3568.97/3578.62 c #Conflicts: 1067000 | #Constraints: 58329
3568.97/3578.62 c #Conflicts: 1068000 | #Constraints: 59329
3568.97/3578.62 c #Conflicts: 1069000 | #Constraints: 60329
3568.97/3578.62 c #Conflicts: 1070000 | #Constraints: 61329
3568.97/3578.62 c #Conflicts: 1071000 | #Constraints: 62329
3568.97/3578.62 c #Conflicts: 1072000 | #Constraints: 63329
3568.97/3578.62 c #Conflicts: 1073000 | #Constraints: 64329
3568.97/3578.62 c #Conflicts: 1074000 | #Constraints: 65329
3568.97/3578.62 c #Conflicts: 1075000 | #Constraints: 66329
3568.97/3578.62 c #Conflicts: 1076000 | #Constraints: 67329
3568.97/3578.62 c #Conflicts: 1077000 | #Constraints: 68330
3568.97/3578.62 c #Conflicts: 1078000 | #Constraints: 69330
3568.97/3578.62 c #Conflicts: 1079000 | #Constraints: 70330
3568.97/3578.62 c #Conflicts: 1080000 | #Constraints: 71330
3568.97/3578.62 c #Conflicts: 1081000 | #Constraints: 72330
3568.97/3578.62 c #Conflicts: 1082000 | #Constraints: 73330
3568.97/3578.62 c #Conflicts: 1083000 | #Constraints: 74330
3568.97/3578.62 c #Conflicts: 1084000 | #Constraints: 75330
3568.97/3578.62 c #Conflicts: 1085000 | #Constraints: 76330
3568.97/3578.62 c #Conflicts: 1086000 | #Constraints: 77330
3568.97/3578.62 c #Conflicts: 1087000 | #Constraints: 78330
3568.97/3578.62 c #Conflicts: 1088000 | #Constraints: 79330
3568.97/3578.62 c #Conflicts: 1089000 | #Constraints: 80330
3568.97/3578.62 c #Conflicts: 1090000 | #Constraints: 81330
3568.97/3578.62 c #Conflicts: 1091000 | #Constraints: 82330
3568.97/3578.62 c #Conflicts: 1092000 | #Constraints: 83330
3568.97/3578.62 c #Conflicts: 1093000 | #Constraints: 84330
3568.97/3578.62 c #Conflicts: 1094000 | #Constraints: 85330
3568.97/3578.62 c #Conflicts: 1095000 | #Constraints: 86330
3568.97/3578.62 c #Conflicts: 1096000 | #Constraints: 87330
3568.97/3578.62 c #Conflicts: 1097000 | #Constraints: 88330
3568.97/3578.62 c #Conflicts: 1098000 | #Constraints: 89330
3568.97/3578.62 c #Conflicts: 1099000 | #Constraints: 90330
3568.97/3578.62 c #Conflicts: 1100000 | #Constraints: 91330
3568.97/3578.62 c #Conflicts: 1101000 | #Constraints: 92330
3568.97/3578.62 c #Conflicts: 1102000 | #Constraints: 93330
3568.97/3578.62 c #Conflicts: 1103000 | #Constraints: 94330
3568.97/3578.62 c #Conflicts: 1104000 | #Constraints: 95330
3568.97/3578.62 c #Conflicts: 1105000 | #Constraints: 96330
3568.97/3578.62 c #Conflicts: 1106000 | #Constraints: 97330
3568.97/3578.62 c #Conflicts: 1107000 | #Constraints: 98330
3568.97/3578.62 c #Conflicts: 1108000 | #Constraints: 99330
3568.97/3578.62 c #Conflicts: 1109000 | #Constraints: 100330
3568.97/3578.62 c #Conflicts: 1110000 | #Constraints: 101330
3568.97/3578.62 c #Conflicts: 1111000 | #Constraints: 102330
3568.97/3578.62 c #Conflicts: 1112000 | #Constraints: 103330
3568.97/3578.62 c #Conflicts: 1113000 | #Constraints: 104330
3568.97/3578.62 c #Conflicts: 1114000 | #Constraints: 105330
3568.97/3578.62 c #Conflicts: 1115000 | #Constraints: 106330
3568.97/3578.62 c #Conflicts: 1116000 | #Constraints: 107330
3568.97/3578.62 c #Conflicts: 1117000 | #Constraints: 108330
3568.97/3578.62 c #Conflicts: 1118000 | #Constraints: 109330
3568.97/3578.62 c #Conflicts: 1119000 | #Constraints: 110330
3568.97/3578.62 c #Conflicts: 1120000 | #Constraints: 111330
3568.97/3578.62 c #Conflicts: 1121000 | #Constraints: 112330
3568.97/3578.62 c #Conflicts: 1122000 | #Constraints: 113330
3568.97/3578.62 c #Conflicts: 1123000 | #Constraints: 114330
3568.97/3578.62 c INPROCESSING
3568.97/3578.62 c GARBAGE COLLECT
3568.97/3578.62 c rational objective 1
3600.09/3609.80 c #Conflicts: 1124000 | #Constraints: 61063
3600.09/3609.80 c #Conflicts: 1125000 | #Constraints: 62063
3600.09/3609.80 c #Conflicts: 1126000 | #Constraints: 63063
3600.09/3609.80 c #Conflicts: 1127000 | #Constraints: 64063
3600.09/3609.80 c #Conflicts: 1128000 | #Constraints: 65063
3600.09/3609.80 c #Conflicts: 1129000 | #Constraints: 66063
3600.09/3609.80 c #Conflicts: 1130000 | #Constraints: 67063
3600.09/3609.80 c #Conflicts: 1131000 | #Constraints: 68063
3600.09/3609.80 c #Conflicts: 1132000 | #Constraints: 69063
3600.09/3609.80 c #Conflicts: 1133000 | #Constraints: 70063
3600.09/3609.80 c #Conflicts: 1134000 | #Constraints: 71063
3600.09/3609.80 c #Conflicts: 1135000 | #Constraints: 72063
3600.09/3609.80 c #Conflicts: 1136000 | #Constraints: 73063
3600.09/3609.80 c #Conflicts: 1137000 | #Constraints: 74063
3600.09/3609.80 c #Conflicts: 1138000 | #Constraints: 75063
3600.09/3609.80 c cpu time 3593.87 s
3600.09/3609.80 c deterministic time 209509054673 2.10e+11
3600.09/3609.80 c optimization time 30.9057 s
3600.09/3609.80 c total solve time 3562.95 s
3600.09/3609.80 c core-guided solve time 0 s
3600.09/3609.80 c propagation time 2529.91 s
3600.09/3609.80 c conflict analysis time 1028.73 s
3600.09/3609.80 c propagations 376450876
3600.09/3609.80 c resolve steps 129830809
3600.09/3609.80 c decisions 1791048
3600.09/3609.80 c conflicts 1138965
3600.09/3609.80 c restarts 2093
3600.09/3609.80 c inprocessing phases 54
3600.09/3609.80 c garbage collections 54 ,( 100.00 )
3600.09/3609.80 c input clauses 2340 ,( 47.36 )
3600.09/3609.80 c input cardinalities 0 ,( 0.00 )
3600.09/3609.80 c input general constraints 2601 ,( 52.64 )
3600.09/3609.80 c input average constraint length 3.72
3600.09/3609.80 c input average constraint degree 911475334422.30
3600.09/3609.80 c learned clauses 763932 ,( 67.07 )
3600.09/3609.80 c learned cardinalities 139 ,( 0.01 )
3600.09/3609.80 c learned general constraints 374913 ,( 32.92 )
3600.09/3609.80 c learned average constraint length 273.60
3600.09/3609.80 c learned average constraint degree 132646813.10
3600.09/3609.80 c watched CF 32, 64, 128, Arb: 55931 , 0 , 0 , 0
3600.09/3609.80 c counting CF 32, 64, 128, Arb: 321582 , 1 , 0 , 0
3600.09/3609.80 c watched constraints 55931 ,( 14.82 )
3600.09/3609.80 c counting constraints 321583 ,( 85.18 )
3600.09/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 516919801 , 2809521 , 59421120260 ,( 825460259 , 58595660001 )
3600.09/3609.80 c gcd simplifications 27965
3600.09/3609.80 c detected cardinalities 49
3600.09/3609.80 c weakened non-implied lits 45629024
3600.09/3609.80 c weakened non-implying lits 283659
3600.09/3609.80 c original variables 3484
3600.09/3609.80 c clausal propagations 98030999
3600.09/3609.80 c cardinality propagations 125118
3600.09/3609.80 c watched propagations 865465
3600.09/3609.80 c counting propagations 276274686
3600.09/3609.80 c watch lookups 92638560586
3600.09/3609.80 c watch backjump lookups 0
3600.09/3609.80 c watch checks 20118346502
3600.09/3609.80 c propagation checks 94734710285
3600.09/3609.80 c constraint additions 1259596857
3600.09/3609.80 c trail pops 379379035
3600.09/3609.80 c formula constraints 4941
3600.09/3609.80 c learned constraints 1138944
3600.09/3609.80 c bound constraints 0
3600.09/3609.80 c core-guided constraints 0
3600.09/3609.80 c encountered formula constraints 96078573
3600.09/3609.80 c encountered learned constraints 34676546
3600.09/3609.80 c encountered bound constraints 0
3600.09/3609.80 c encountered core-guided constraints 0
3600.09/3609.80 c LP total time 14.7758 s
3600.09/3609.80 c LP solve time 13.21 s
3600.09/3609.80 c LP constraints added 4942
3600.09/3609.80 c LP constraints removed 0
3600.09/3609.80 c LP pivots internal 114367
3600.09/3609.80 c LP pivots root 105116
3600.09/3609.80 c LP calls 368
3600.09/3609.80 c LP optimalities 344
3600.09/3609.80 c LP no pivot count 27
3600.09/3609.80 c LP infeasibilities 20
3600.09/3609.80 c LP valid Farkas constraints 20
3600.09/3609.80 c LP learned Farkas constraints 20
3600.09/3609.80 c LP basis resets 0
3600.09/3609.80 c LP cycling count 0
3600.09/3609.80 c LP singular count 0
3600.09/3609.80 c LP no primal count 0
3600.09/3609.80 c LP no farkas count 0
3600.09/3609.80 c LP other issue count 0
3600.09/3609.80 c LP Gomory cuts 0
3600.09/3609.80 c LP learned cuts 1
3600.09/3609.80 c LP deleted cuts 0
3600.09/3609.80 c LP encountered Gomory constraints 0
3600.09/3609.80 c LP encountered Farkas constraints 206467
3600.09/3609.80 c LP encountered learned Farkas constraints 8168
3600.09/3609.80 c CG auxiliary variables introduced 0
3600.09/3609.80 c CG solutions found 0
3600.09/3609.80 c CG cores constructed 0
3600.09/3609.80 c CG core cardinality constraints returned 0
3600.09/3609.80 c CG unit cores 0
3600.09/3609.80 c CG single cores 0
3600.09/3609.80 c CG blocks removed during cardinality reduction 0
3600.09/3609.80 c CG first core best 0
3600.09/3609.80 c CG decision core best 0
3600.09/3609.80 c CG core reduction tie 0
3600.09/3609.80 c CG core degree average 0.00
3600.09/3609.80 c CG core slack average 0.00
3600.09/3609.80 c CG core upper bound improvements 0
3600.09/3609.80 c STR number of successful calls 0
3600.09/3609.80 c STR number of unsuccessful calls 0
3600.09/3609.80 c STR number of inconclusive calls 0
3600.09/3609.80 c STR number of successful attempts 0
3600.09/3609.80 c STR number of unsuccessful attempts 0
3600.09/3609.80 c STR number of inconclusive attempts 0
3600.09/3609.80 c STR average degree increase per successful call inf
3600.09/3609.80 c STR average degree increase per successful attempt inf
3600.09/3609.80 c STR total number of conflicts for successful attempts 0
3600.09/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.80 c STR average number of conflicts per successful attempt inf
3600.09/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.80 c AVG.sumWPerc 77.40
3600.09/3609.80 c bigint constraints 1
3600.09/3609.80 s UNKNOWN
3600.09/3609.80 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: 63665 MiB (62486 MiB free)
memory of node 1: 64507 MiB (63675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541683-1753202596/watcher-4541683-1753202596 -o /tmp/evaluation-result-4541683-1753202596/solver-4541683-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167335 --watchdog 3760 run-dec.sh HOME/instance-4541683-1753202596.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=167747, runsolver pid=167742
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.14 4.12 4.03 4/265 167769
/proc/meminfo: memFree=129160704/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=65672 memory=21168 CPUtime=0.07 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 3304 0 0 0 6 1 0 0 20 0 1 0 235937533 67248128 5292 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 16418 5292 2304 1147 0 3845 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 69864 KiB
Current children cumulated memory: 24112 KiB
[startup+0.205558 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129137500/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=65672 memory=21296 CPUtime=0.17 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 3333 0 0 0 16 1 0 0 20 0 1 0 235937533 67248128 5324 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 16418 5324 2304 1147 0 3845 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 69864 KiB
Current children cumulated memory: 24240 KiB
[startup+0.304994 s]*
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129137252/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=65804 memory=21552 CPUtime=0.27 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 3396 0 0 0 26 1 0 0 20 0 1 0 235937533 67383296 5388 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 16451 5388 2304 1147 0 3878 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 69996 KiB
Current children cumulated memory: 24496 KiB
[startup+0.700139 s]
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129135084/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=66948 memory=22448 CPUtime=0.67 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 3622 0 0 0 65 2 0 0 20 0 1 0 235937533 68554752 5612 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 16737 5612 2304 1147 0 4164 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71140 KiB
Current children cumulated memory: 25392 KiB
[startup+1.50013 s]
/proc/loadavg: 4.14 4.12 4.03 5/270 167774
/proc/meminfo: memFree=129133068/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=67112 memory=22704 CPUtime=1.46 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 3666 0 0 0 144 2 0 0 20 0 1 0 235937533 68722688 5676 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 16778 5676 2304 1147 0 4205 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 71304 KiB
Current children cumulated memory: 25648 KiB
[startup+3.10529 s]
/proc/loadavg: 4.13 4.11 4.03 5/270 167774
/proc/meminfo: memFree=129129628/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=68016 memory=23600 CPUtime=3.07 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 3899 0 0 0 303 4 0 0 20 0 1 0 235937533 69648384 5900 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 17004 5900 2304 1147 0 4431 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 72208 KiB
Current children cumulated memory: 26544 KiB
[startup+6.30013 s]
/proc/loadavg: 4.13 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129121812/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=71236 memory=28756 CPUtime=6.25 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 4684 0 0 0 618 7 0 0 20 0 1 0 235937533 72945664 7189 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 17809 7189 2304 1147 0 5236 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 75428 KiB
Current children cumulated memory: 31700 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129113512/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=71580 memory=29140 CPUtime=12.64 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 4772 0 0 0 1253 11 0 0 20 0 1 0 235937533 73297920 7285 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 17895 7285 2304 1147 0 5322 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 75772 KiB
Current children cumulated memory: 32084 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.11 4.03 5/270 167775
/proc/meminfo: memFree=129078356/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=100008 memory=51892 CPUtime=25.4 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 8955 0 0 0 2521 19 0 0 20 0 1 0 235937533 102408192 12973 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 25002 12973 2304 1147 0 12429 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 104200 KiB
Current children cumulated memory: 54836 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.10 4.03 5/270 167775
/proc/meminfo: memFree=129042592/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=103436 memory=57516 CPUtime=50.95 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 9820 0 0 0 5058 37 0 0 20 0 1 0 235937533 105918464 14379 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 25859 14379 2304 1147 0 13286 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 107628 KiB
Current children cumulated memory: 60460 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/270 167779
/proc/meminfo: memFree=128935024/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=120324 memory=71024 CPUtime=102.01 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 11572 0 0 0 10138 63 0 0 20 0 1 0 235937533 123211776 17756 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 30081 17756 2304 1147 0 17508 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 124516 KiB
Current children cumulated memory: 73968 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/270 167781
/proc/meminfo: memFree=128804980/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=128976 memory=83860 CPUtime=161.87 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 13508 0 0 0 16095 92 0 0 20 0 1 0 235937533 132071424 20965 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 32244 20965 2304 1147 0 19671 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 133168 KiB
Current children cumulated memory: 86804 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/270 167783
/proc/meminfo: memFree=128755596/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=137616 memory=91924 CPUtime=221.72 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 15506 0 0 0 22055 117 0 0 20 0 1 0 235937533 140918784 22981 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 34404 22981 2304 1147 0 21831 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
/proc/167750/statm: 327316 305132 2304 1147 0 314743 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 1313456 KiB
Current children cumulated memory: 1223472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/269 167938
/proc/meminfo: memFree=126348236/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1336912 memory=1245196 CPUtime=3093.98 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 186331 0 0 0 308803 595 0 0 20 0 1 0 235937533 1368997888 311299 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 334228 311299 2304 1147 0 321655 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 1341104 KiB
Current children cumulated memory: 1248140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.19 4.16 5/269 167940
/proc/meminfo: memFree=126303896/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1355860 memory=1265612 CPUtime=3153.8 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 188923 0 0 0 314782 598 0 0 20 0 1 0 235937533 1388400640 316403 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 338965 316403 2304 1147 0 326392 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 1360052 KiB
Current children cumulated memory: 1268556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.18 4.16 5/268 167942
/proc/meminfo: memFree=126222756/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1391700 memory=1299644 CPUtime=3213.63 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 193839 0 0 0 320763 600 0 0 20 0 1 0 235937533 1425100800 324911 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 347925 324911 2304 1147 0 335352 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 1395892 KiB
Current children cumulated memory: 1302588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/269 167945
/proc/meminfo: memFree=126168124/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1649120 memory=1335424 CPUtime=3273.46 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 200244 0 0 0 326744 602 0 0 20 0 1 0 235937533 1688698880 333856 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 412280 333856 2304 1147 0 399707 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 1653312 KiB
Current children cumulated memory: 1338368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.13 4.15 5/268 167947
/proc/meminfo: memFree=126139828/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1673184 memory=1359912 CPUtime=3333.31 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 203989 0 0 0 332727 604 0 0 20 0 1 0 235937533 1713340416 339978 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 418296 339978 2304 1147 0 405723 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 1677376 KiB
Current children cumulated memory: 1362856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/268 167949
/proc/meminfo: memFree=126091192/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1698788 memory=1383280 CPUtime=3393.15 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 207771 0 0 0 338709 606 0 0 20 0 1 0 235937533 1739558912 345820 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 424697 345820 2304 1147 0 412124 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 1702980 KiB
Current children cumulated memory: 1386224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/268 167951
/proc/meminfo: memFree=126058560/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1723364 memory=1406468 CPUtime=3452.99 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 211541 0 0 0 344690 609 0 0 20 0 1 0 235937533 1764724736 351617 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 430841 351617 2304 1147 0 418268 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 1727556 KiB
Current children cumulated memory: 1409412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/268 167953
/proc/meminfo: memFree=126018824/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1751012 memory=1436556 CPUtime=3512.82 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 215977 0 0 0 350671 611 0 0 20 0 1 0 235937533 1793036288 359139 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 437753 359139 2304 1147 0 425180 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 1755204 KiB
Current children cumulated memory: 1439500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/268 167956
/proc/meminfo: memFree=125945624/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1781244 memory=1466080 CPUtime=3572.66 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 220820 0 0 0 356651 615 0 0 20 0 1 0 235937533 1823993856 366520 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 445311 366520 2304 1147 0 432738 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 1785436 KiB
Current children cumulated memory: 1469024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.12 4.11 4.13 5/269 167964
/proc/meminfo: memFree=125918392/131249996 swapFree=33010672/33010684
[pid=167747] ppid=167742 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/167747/stat : 167747 (run-dec.sh) S 167742 167747 167318 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235937532 4292608 736 18446744073709551615 94321816547328 94321817441861 140733449639744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94321817680912 94321817728656 94321832701952 140733449644395 140733449644518 140733449644518 140733449650122 0
/proc/167747/statm: 1048 736 672 219 0 110 0
[pid=167750] ppid=167747 vsize=1781244 memory=1466080 CPUtime=3600.09 cores=0,2
/proc/167750/stat : 167750 (roundingsat) R 167747 167747 167318 0 -1 4194304 220948 0 0 0 359387 622 0 0 20 0 1 0 235937533 1823993856 366520 18446744073709551615 4227072 8923433 140725919831616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19582976 140725919836597 140725919836710 140725919836710 140725919842282 0
/proc/167750/statm: 445311 366520 2304 1147 0 432738 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1785436 KiB
Current children cumulated memory: 1469024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 167747 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.0007 s, system=0.001393 s
[startup+3609.81 s]
# the end of solver process 167750 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.88 s, system=6.23945 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
Child status: 2
Real time (s): 3609.81
CPU time (s): 3600.11
CPU user time (s): 3593.88
CPU system time (s): 6.23945
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 1785436
Max. memory (cumulated for all children) (KiB): 1469024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.88
system time used= 6.23945
maximum resident set size= 1466592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221176
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= 355
involuntary context switches= 8365
# summary of solver processes directly reported to runsolver:
# pid: 167747,167750
# total CPU time (s): 3600.11
# total CPU user time (s): 3593.88
# total CPU system time (s): 6.23945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08062 second user time and 16.2235 second system time
The end
Begin job on nodeC024 at 2025-07-22 18:43:16
IDJOB=4541683
IDBENCH=163331
IDSOLVER=3349
FILE ID=nodeC024/4541683-1753202596
RUNJOBID= nodeC024-1753198973-167335
SLURM_JOB_ID= 9687757
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-26array_diag_greater.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541683-1753202596/watcher-4541683-1753202596 -o /tmp/evaluation-result-4541683-1753202596/solver-4541683-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167335 --watchdog 3760 run-dec.sh HOME/instance-4541683-1753202596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=1063239506
nodeC024 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.662
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.36
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 : 1200.073
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.36
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 : 3460.719
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.36
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 : 1199.159
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.36
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 : 3597.709
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.36
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 : 1199.774
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.36
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 : 3454.581
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.36
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 : 1192.329
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129201192 kB
MemAvailable: 129716112 kB
Buffers: 2128 kB
Cached: 1277592 kB
SwapCached: 8 kB
Active: 1196136 kB
Inactive: 150364 kB
Active(anon): 91440 kB
Inactive(anon): 1588 kB
Active(file): 1104696 kB
Inactive(file): 148776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7308 kB
Writeback: 0 kB
AnonPages: 69648 kB
Mapped: 108740 kB
Shmem: 26248 kB
KReclaimable: 200976 kB
Slab: 296372 kB
SReclaimable: 200976 kB
SUnreclaim: 95396 kB
KernelStack: 4176 kB
PageTables: 2900 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 349320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC024 at 2025-07-22 19:43:26