0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.06 c #variables 3484 #constraints 4941
0.00/0.07 c rational objective 0
49.52/49.70 c #Conflicts: 1000 | #Constraints: 5941
49.52/49.70 c #Conflicts: 2000 | #Constraints: 6941
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 3000 | #Constraints: 6966
49.52/49.70 c #Conflicts: 4000 | #Constraints: 7966
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 5000 | #Constraints: 7388
49.52/49.70 c #Conflicts: 6000 | #Constraints: 8388
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 7000 | #Constraints: 7436
49.52/49.70 c #Conflicts: 8000 | #Constraints: 8436
49.52/49.70 c #Conflicts: 9000 | #Constraints: 9436
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 10000 | #Constraints: 8139
49.52/49.70 c #Conflicts: 11000 | #Constraints: 9139
49.52/49.70 c #Conflicts: 12000 | #Constraints: 10139
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 13000 | #Constraints: 8627
49.52/49.70 c #Conflicts: 14000 | #Constraints: 9627
49.52/49.70 c #Conflicts: 15000 | #Constraints: 10627
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 16000 | #Constraints: 8889
49.52/49.70 c #Conflicts: 17000 | #Constraints: 9889
49.52/49.70 c #Conflicts: 18000 | #Constraints: 10889
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 19000 | #Constraints: 8922
49.52/49.70 c #Conflicts: 20000 | #Constraints: 9922
49.52/49.70 c #Conflicts: 21000 | #Constraints: 10922
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 22000 | #Constraints: 8729
49.52/49.70 c #Conflicts: 23000 | #Constraints: 9729
49.52/49.70 c #Conflicts: 24000 | #Constraints: 10729
49.52/49.70 c #Conflicts: 25000 | #Constraints: 11729
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 26000 | #Constraints: 9347
49.52/49.70 c #Conflicts: 27000 | #Constraints: 10347
49.52/49.70 c #Conflicts: 28000 | #Constraints: 11347
49.52/49.70 c #Conflicts: 29000 | #Constraints: 12347
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 30000 | #Constraints: 9766
49.52/49.70 c #Conflicts: 31000 | #Constraints: 10766
49.52/49.70 c #Conflicts: 32000 | #Constraints: 11766
49.52/49.70 c #Conflicts: 33000 | #Constraints: 12766
49.52/49.70 c #Conflicts: 34000 | #Constraints: 13766
49.52/49.70 c #Conflicts: 35000 | #Constraints: 14766
49.52/49.70 c #Conflicts: 36000 | #Constraints: 15766
49.52/49.70 c #Conflicts: 37000 | #Constraints: 16766
49.52/49.70 c #Conflicts: 38000 | #Constraints: 17766
49.52/49.70 c #Conflicts: 39000 | #Constraints: 18766
49.52/49.70 c #Conflicts: 40000 | #Constraints: 19766
49.52/49.70 c #Conflicts: 41000 | #Constraints: 20766
49.52/49.70 c #Conflicts: 42000 | #Constraints: 21766
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 43000 | #Constraints: 14068
49.52/49.70 c #Conflicts: 44000 | #Constraints: 15068
49.52/49.70 c #Conflicts: 45000 | #Constraints: 16068
49.52/49.70 c #Conflicts: 46000 | #Constraints: 17068
49.52/49.70 c #Conflicts: 47000 | #Constraints: 18068
49.52/49.70 c #Conflicts: 48000 | #Constraints: 19068
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 49000 | #Constraints: 13176
49.52/49.70 c #Conflicts: 50000 | #Constraints: 14176
49.52/49.70 c #Conflicts: 51000 | #Constraints: 15176
49.52/49.70 c #Conflicts: 52000 | #Constraints: 16176
49.52/49.70 c #Conflicts: 53000 | #Constraints: 17176
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 54000 | #Constraints: 12080
49.52/49.70 c #Conflicts: 55000 | #Constraints: 13080
49.52/49.70 c #Conflicts: 56000 | #Constraints: 14080
49.52/49.70 c #Conflicts: 57000 | #Constraints: 15080
49.52/49.70 c #Conflicts: 58000 | #Constraints: 16080
49.52/49.70 c INPROCESSING
49.52/49.70 c GARBAGE COLLECT
49.52/49.70 c #Conflicts: 59000 | #Constraints: 11286
49.52/49.70 c #Conflicts: 60000 | #Constraints: 12286
49.52/49.70 c #Conflicts: 61000 | #Constraints: 13286
49.52/49.70 c #Conflicts: 62000 | #Constraints: 14286
49.52/49.70 c #Conflicts: 63000 | #Constraints: 15286
49.52/49.70 c #Conflicts: 64000 | #Constraints: 16286
49.52/49.70 c #Conflicts: 65000 | #Constraints: 17286
49.52/49.70 c #Conflicts: 66000 | #Constraints: 18286
49.52/49.70 c #Conflicts: 67000 | #Constraints: 19286
49.52/49.70 c #Conflicts: 68000 | #Constraints: 20286
49.52/49.70 c #Conflicts: 69000 | #Constraints: 21286
49.52/49.70 c #Conflicts: 70000 | #Constraints: 22286
56.11/56.32 c #Conflicts: 71000 | #Constraints: 23286
56.11/56.32 c #Conflicts: 72000 | #Constraints: 24286
56.11/56.32 c #Conflicts: 73000 | #Constraints: 25286
56.11/56.32 c #Conflicts: 74000 | #Constraints: 26286
56.11/56.32 c #Conflicts: 75000 | #Constraints: 27286
56.11/56.32 c #Conflicts: 76000 | #Constraints: 28286
56.11/56.32 c #Conflicts: 77000 | #Constraints: 29286
56.11/56.32 c #Conflicts: 78000 | #Constraints: 30286
56.11/56.32 c INPROCESSING
56.11/56.32 c GARBAGE COLLECT
56.11/56.32 c rational objective 0
140.31/140.77 c #Conflicts: 79000 | #Constraints: 18793
140.31/140.77 c #Conflicts: 80000 | #Constraints: 19793
140.31/140.77 c #Conflicts: 81000 | #Constraints: 20793
140.31/140.77 c #Conflicts: 82000 | #Constraints: 21793
140.31/140.77 c #Conflicts: 83000 | #Constraints: 22793
140.31/140.77 c #Conflicts: 84000 | #Constraints: 23793
140.31/140.77 c INPROCESSING
140.31/140.77 c GARBAGE COLLECT
140.31/140.77 c #Conflicts: 85000 | #Constraints: 15181
140.31/140.77 c #Conflicts: 86000 | #Constraints: 16181
140.31/140.77 c #Conflicts: 87000 | #Constraints: 17181
140.31/140.77 c #Conflicts: 88000 | #Constraints: 18181
140.31/140.77 c #Conflicts: 89000 | #Constraints: 19181
140.31/140.77 c #Conflicts: 90000 | #Constraints: 20181
140.31/140.77 c #Conflicts: 91000 | #Constraints: 21181
140.31/140.77 c INPROCESSING
140.31/140.77 c GARBAGE COLLECT
140.31/140.77 c #Conflicts: 92000 | #Constraints: 13882
140.31/140.77 c #Conflicts: 93000 | #Constraints: 14882
140.31/140.77 c #Conflicts: 94000 | #Constraints: 15882
140.31/140.77 c #Conflicts: 95000 | #Constraints: 16882
140.31/140.77 c #Conflicts: 96000 | #Constraints: 17882
140.31/140.77 c #Conflicts: 97000 | #Constraints: 18882
140.31/140.77 c #Conflicts: 98000 | #Constraints: 19882
140.31/140.77 c #Conflicts: 99000 | #Constraints: 20882
140.31/140.77 c #Conflicts: 100000 | #Constraints: 21882
140.31/140.77 c #Conflicts: 101000 | #Constraints: 22882
140.31/140.77 c #Conflicts: 102000 | #Constraints: 23882
140.31/140.77 c #Conflicts: 103000 | #Constraints: 24882
140.31/140.77 c #Conflicts: 104000 | #Constraints: 25882
140.31/140.77 c #Conflicts: 105000 | #Constraints: 26882
140.31/140.77 c #Conflicts: 106000 | #Constraints: 27882
140.31/140.77 c #Conflicts: 107000 | #Constraints: 28882
140.31/140.77 c #Conflicts: 108000 | #Constraints: 29882
140.31/140.77 c #Conflicts: 109000 | #Constraints: 30882
140.31/140.77 c #Conflicts: 110000 | #Constraints: 31882
140.31/140.77 c #Conflicts: 111000 | #Constraints: 32882
140.31/140.77 c #Conflicts: 112000 | #Constraints: 33882
140.31/140.77 c #Conflicts: 113000 | #Constraints: 34882
140.31/140.77 c #Conflicts: 114000 | #Constraints: 35882
140.31/140.77 c #Conflicts: 115000 | #Constraints: 36882
140.31/140.77 c INPROCESSING
140.31/140.77 c GARBAGE COLLECT
140.31/140.77 c #Conflicts: 116000 | #Constraints: 22108
140.31/140.77 c #Conflicts: 117000 | #Constraints: 23108
140.31/140.77 c #Conflicts: 118000 | #Constraints: 24108
140.31/140.77 c #Conflicts: 119000 | #Constraints: 25108
140.31/140.77 c #Conflicts: 120000 | #Constraints: 26108
140.31/140.77 c #Conflicts: 121000 | #Constraints: 27108
140.31/140.77 c #Conflicts: 122000 | #Constraints: 28108
140.31/140.77 c #Conflicts: 123000 | #Constraints: 29108
140.31/140.77 c INPROCESSING
140.31/140.77 c GARBAGE COLLECT
140.31/140.77 c #Conflicts: 124000 | #Constraints: 18029
140.31/140.77 c #Conflicts: 125000 | #Constraints: 19029
140.31/140.77 c #Conflicts: 126000 | #Constraints: 20029
140.31/140.77 c #Conflicts: 127000 | #Constraints: 21029
140.31/140.77 c #Conflicts: 128000 | #Constraints: 22029
140.31/140.77 c #Conflicts: 129000 | #Constraints: 23029
140.31/140.77 c #Conflicts: 130000 | #Constraints: 24029
140.31/140.77 c #Conflicts: 131000 | #Constraints: 25029
140.31/140.77 c #Conflicts: 132000 | #Constraints: 26029
140.31/140.77 c INPROCESSING
140.31/140.77 c GARBAGE COLLECT
140.31/140.77 c #Conflicts: 133000 | #Constraints: 16791
140.31/140.77 c #Conflicts: 134000 | #Constraints: 17791
140.31/140.77 c #Conflicts: 135000 | #Constraints: 18791
140.31/140.77 c #Conflicts: 136000 | #Constraints: 19791
140.31/140.77 c #Conflicts: 137000 | #Constraints: 20791
140.31/140.77 c #Conflicts: 138000 | #Constraints: 21791
140.31/140.77 c #Conflicts: 139000 | #Constraints: 22791
140.31/140.77 c #Conflicts: 140000 | #Constraints: 23791
140.31/140.77 c #Conflicts: 141000 | #Constraints: 24791
140.31/140.77 c #Conflicts: 142000 | #Constraints: 25791
140.31/140.77 c #Conflicts: 143000 | #Constraints: 26791
140.31/140.77 c #Conflicts: 144000 | #Constraints: 27791
140.31/140.77 c #Conflicts: 145000 | #Constraints: 28791
140.31/140.77 c #Conflicts: 146000 | #Constraints: 29791
140.31/140.77 c #Conflicts: 147000 | #Constraints: 30791
140.31/140.77 c #Conflicts: 148000 | #Constraints: 31791
140.31/140.77 c #Conflicts: 149000 | #Constraints: 32791
140.31/140.77 c #Conflicts: 150000 | #Constraints: 33791
140.31/140.77 c #Conflicts: 151000 | #Constraints: 34791
140.31/140.77 c #Conflicts: 152000 | #Constraints: 35791
140.31/140.77 c #Conflicts: 153000 | #Constraints: 36791
140.31/140.77 c #Conflicts: 154000 | #Constraints: 37791
194.27/194.85 c #Conflicts: 155000 | #Constraints: 38791
194.27/194.85 c #Conflicts: 156000 | #Constraints: 39791
194.27/194.85 c #Conflicts: 157000 | #Constraints: 40791
194.27/194.85 c #Conflicts: 158000 | #Constraints: 41791
194.27/194.85 c #Conflicts: 159000 | #Constraints: 42791
194.27/194.85 c INPROCESSING
194.27/194.85 c GARBAGE COLLECT
194.27/194.85 c #Conflicts: 160000 | #Constraints: 24830
194.27/194.85 c #Conflicts: 161000 | #Constraints: 25830
194.27/194.85 c #Conflicts: 162000 | #Constraints: 26830
194.27/194.85 c #Conflicts: 163000 | #Constraints: 27830
194.27/194.85 c #Conflicts: 164000 | #Constraints: 28830
194.27/194.85 c #Conflicts: 165000 | #Constraints: 29830
194.27/194.85 c #Conflicts: 166000 | #Constraints: 30830
194.27/194.85 c #Conflicts: 167000 | #Constraints: 31830
194.27/194.85 c #Conflicts: 168000 | #Constraints: 32830
194.27/194.85 c #Conflicts: 169000 | #Constraints: 33830
194.27/194.85 c INPROCESSING
194.27/194.85 c GARBAGE COLLECT
194.27/194.85 c #Conflicts: 170000 | #Constraints: 20506
194.27/194.85 c #Conflicts: 171000 | #Constraints: 21506
194.27/194.85 c #Conflicts: 172000 | #Constraints: 22506
194.27/194.85 c #Conflicts: 173000 | #Constraints: 23506
194.27/194.85 c #Conflicts: 174000 | #Constraints: 24506
194.27/194.85 c #Conflicts: 175000 | #Constraints: 25506
194.27/194.85 c #Conflicts: 176000 | #Constraints: 26506
194.27/194.85 c #Conflicts: 177000 | #Constraints: 27506
194.27/194.85 c #Conflicts: 178000 | #Constraints: 28506
194.27/194.85 c #Conflicts: 179000 | #Constraints: 29506
194.27/194.85 c INPROCESSING
194.27/194.85 c GARBAGE COLLECT
194.27/194.85 c #Conflicts: 180000 | #Constraints: 18341
194.27/194.85 c #Conflicts: 181000 | #Constraints: 19341
194.27/194.85 c #Conflicts: 182000 | #Constraints: 20341
194.27/194.85 c #Conflicts: 183000 | #Constraints: 21341
194.27/194.85 c #Conflicts: 184000 | #Constraints: 22341
194.27/194.85 c #Conflicts: 185000 | #Constraints: 23341
194.27/194.85 c #Conflicts: 186000 | #Constraints: 24341
194.27/194.85 c #Conflicts: 187000 | #Constraints: 25341
194.27/194.85 c #Conflicts: 188000 | #Constraints: 26341
194.27/194.85 c #Conflicts: 189000 | #Constraints: 27341
194.27/194.85 c #Conflicts: 190000 | #Constraints: 28341
194.27/194.85 c #Conflicts: 191000 | #Constraints: 29341
194.27/194.85 c #Conflicts: 192000 | #Constraints: 30341
194.27/194.85 c #Conflicts: 193000 | #Constraints: 31341
194.27/194.85 c #Conflicts: 194000 | #Constraints: 32341
194.27/194.85 c #Conflicts: 195000 | #Constraints: 33341
194.27/194.85 c #Conflicts: 196000 | #Constraints: 34341
194.27/194.85 c #Conflicts: 197000 | #Constraints: 35341
194.27/194.85 c #Conflicts: 198000 | #Constraints: 36342
194.27/194.85 c #Conflicts: 199000 | #Constraints: 37342
194.27/194.85 c #Conflicts: 200000 | #Constraints: 38342
194.27/194.85 c #Conflicts: 201000 | #Constraints: 39342
194.27/194.85 c #Conflicts: 202000 | #Constraints: 40342
194.27/194.85 c #Conflicts: 203000 | #Constraints: 41342
194.27/194.85 c #Conflicts: 204000 | #Constraints: 42342
194.27/194.85 c #Conflicts: 205000 | #Constraints: 43342
194.27/194.85 c #Conflicts: 206000 | #Constraints: 44342
194.27/194.85 c #Conflicts: 207000 | #Constraints: 45342
194.27/194.85 c #Conflicts: 208000 | #Constraints: 46342
194.27/194.85 c #Conflicts: 209000 | #Constraints: 47342
194.27/194.85 c #Conflicts: 210000 | #Constraints: 48342
194.27/194.85 c #Conflicts: 211000 | #Constraints: 49342
194.27/194.85 c INPROCESSING
194.27/194.85 c GARBAGE COLLECT
194.27/194.85 c rational objective 1.13243e-13
260.11/260.82 c #Conflicts: 212000 | #Constraints: 28356
260.11/260.82 c #Conflicts: 213000 | #Constraints: 29356
260.11/260.82 c #Conflicts: 214000 | #Constraints: 30356
260.11/260.82 c #Conflicts: 215000 | #Constraints: 31356
260.11/260.82 c #Conflicts: 216000 | #Constraints: 32356
260.11/260.82 c #Conflicts: 217000 | #Constraints: 33356
260.11/260.82 c #Conflicts: 218000 | #Constraints: 34356
260.11/260.82 c #Conflicts: 219000 | #Constraints: 35356
260.11/260.82 c #Conflicts: 220000 | #Constraints: 36356
260.11/260.82 c #Conflicts: 221000 | #Constraints: 37356
260.11/260.82 c #Conflicts: 222000 | #Constraints: 38356
260.11/260.82 c INPROCESSING
260.11/260.82 c GARBAGE COLLECT
260.11/260.82 c #Conflicts: 223000 | #Constraints: 22664
260.11/260.82 c #Conflicts: 224000 | #Constraints: 23664
260.11/260.82 c #Conflicts: 225000 | #Constraints: 24664
260.11/260.82 c #Conflicts: 226000 | #Constraints: 25664
260.11/260.82 c #Conflicts: 227000 | #Constraints: 26664
260.11/260.82 c #Conflicts: 228000 | #Constraints: 27664
260.11/260.82 c #Conflicts: 229000 | #Constraints: 28664
260.11/260.82 c #Conflicts: 230000 | #Constraints: 29664
260.11/260.82 c #Conflicts: 231000 | #Constraints: 30664
260.11/260.82 c #Conflicts: 232000 | #Constraints: 31664
260.11/260.82 c #Conflicts: 233000 | #Constraints: 32664
260.11/260.82 c #Conflicts: 234000 | #Constraints: 33664
260.11/260.82 c INPROCESSING
260.11/260.82 c GARBAGE COLLECT
260.11/260.82 c #Conflicts: 235000 | #Constraints: 20595
260.11/260.82 c #Conflicts: 236000 | #Constraints: 21595
260.11/260.82 c #Conflicts: 237000 | #Constraints: 22595
260.11/260.82 c #Conflicts: 238000 | #Constraints: 23595
260.11/260.82 c #Conflicts: 239000 | #Constraints: 24595
260.11/260.82 c #Conflicts: 240000 | #Constraints: 25595
260.11/260.82 c #Conflicts: 241000 | #Constraints: 26595
260.11/260.82 c #Conflicts: 242000 | #Constraints: 27595
260.11/260.82 c #Conflicts: 243000 | #Constraints: 28595
260.11/260.82 c #Conflicts: 244000 | #Constraints: 29595
260.11/260.82 c #Conflicts: 245000 | #Constraints: 30595
260.11/260.82 c #Conflicts: 246000 | #Constraints: 31595
260.11/260.82 c #Conflicts: 247000 | #Constraints: 32595
260.11/260.82 c #Conflicts: 248000 | #Constraints: 33595
260.11/260.82 c #Conflicts: 249000 | #Constraints: 34595
260.11/260.82 c #Conflicts: 250000 | #Constraints: 35595
260.11/260.82 c #Conflicts: 251000 | #Constraints: 36595
260.11/260.82 c #Conflicts: 252000 | #Constraints: 37595
260.11/260.82 c #Conflicts: 253000 | #Constraints: 38595
260.11/260.82 c #Conflicts: 254000 | #Constraints: 39595
260.11/260.82 c #Conflicts: 255000 | #Constraints: 40596
260.11/260.82 c #Conflicts: 256000 | #Constraints: 41596
260.11/260.82 c #Conflicts: 257000 | #Constraints: 42596
260.11/260.82 c #Conflicts: 258000 | #Constraints: 43596
260.11/260.82 c #Conflicts: 259000 | #Constraints: 44596
260.11/260.82 c #Conflicts: 260000 | #Constraints: 45596
260.11/260.82 c #Conflicts: 261000 | #Constraints: 46596
260.11/260.82 c #Conflicts: 262000 | #Constraints: 47596
260.11/260.82 c #Conflicts: 263000 | #Constraints: 48596
260.11/260.82 c #Conflicts: 264000 | #Constraints: 49596
260.11/260.82 c #Conflicts: 265000 | #Constraints: 50596
260.11/260.82 c #Conflicts: 266000 | #Constraints: 51596
260.11/260.82 c #Conflicts: 267000 | #Constraints: 52596
260.11/260.82 c #Conflicts: 268000 | #Constraints: 53596
260.11/260.82 c #Conflicts: 269000 | #Constraints: 54596
260.11/260.82 c #Conflicts: 270000 | #Constraints: 55596
260.11/260.82 c INPROCESSING
260.11/260.82 c GARBAGE COLLECT
260.11/260.82 c rational objective 1.13243e-13
343.41/344.30 c #Conflicts: 271000 | #Constraints: 31678
343.41/344.30 c #Conflicts: 272000 | #Constraints: 32678
343.41/344.30 c #Conflicts: 273000 | #Constraints: 33678
343.41/344.30 c #Conflicts: 274000 | #Constraints: 34678
343.41/344.30 c #Conflicts: 275000 | #Constraints: 35678
343.41/344.30 c #Conflicts: 276000 | #Constraints: 36678
343.41/344.30 c #Conflicts: 277000 | #Constraints: 37678
343.41/344.30 c #Conflicts: 278000 | #Constraints: 38678
343.41/344.30 c #Conflicts: 279000 | #Constraints: 39678
343.41/344.30 c #Conflicts: 280000 | #Constraints: 40678
343.41/344.30 c #Conflicts: 281000 | #Constraints: 41678
343.41/344.30 c #Conflicts: 282000 | #Constraints: 42678
343.41/344.30 c INPROCESSING
343.41/344.30 c GARBAGE COLLECT
343.41/344.30 c #Conflicts: 283000 | #Constraints: 24743
343.41/344.30 c #Conflicts: 284000 | #Constraints: 25743
343.41/344.30 c #Conflicts: 285000 | #Constraints: 26743
343.41/344.30 c #Conflicts: 286000 | #Constraints: 27743
343.41/344.30 c #Conflicts: 287000 | #Constraints: 28743
343.41/344.30 c #Conflicts: 288000 | #Constraints: 29743
343.41/344.30 c #Conflicts: 289000 | #Constraints: 30743
343.41/344.30 c #Conflicts: 290000 | #Constraints: 31743
343.41/344.30 c #Conflicts: 291000 | #Constraints: 32743
343.41/344.30 c #Conflicts: 292000 | #Constraints: 33743
343.41/344.30 c #Conflicts: 293000 | #Constraints: 34743
343.41/344.30 c #Conflicts: 294000 | #Constraints: 35743
343.41/344.30 c #Conflicts: 295000 | #Constraints: 36743
343.41/344.30 c INPROCESSING
343.41/344.30 c GARBAGE COLLECT
343.41/344.30 c #Conflicts: 296000 | #Constraints: 21826
343.41/344.30 c #Conflicts: 297000 | #Constraints: 22826
343.41/344.30 c #Conflicts: 298000 | #Constraints: 23826
343.41/344.30 c #Conflicts: 299000 | #Constraints: 24826
343.41/344.30 c #Conflicts: 300000 | #Constraints: 25826
343.41/344.30 c #Conflicts: 301000 | #Constraints: 26826
343.41/344.30 c #Conflicts: 302000 | #Constraints: 27826
343.41/344.30 c #Conflicts: 303000 | #Constraints: 28826
343.41/344.30 c #Conflicts: 304000 | #Constraints: 29826
343.41/344.30 c #Conflicts: 305000 | #Constraints: 30826
343.41/344.30 c #Conflicts: 306000 | #Constraints: 31827
343.41/344.30 c #Conflicts: 307000 | #Constraints: 32827
343.41/344.30 c #Conflicts: 308000 | #Constraints: 33827
343.41/344.30 c #Conflicts: 309000 | #Constraints: 34827
343.41/344.30 c #Conflicts: 310000 | #Constraints: 35827
343.41/344.30 c #Conflicts: 311000 | #Constraints: 36827
343.41/344.30 c #Conflicts: 312000 | #Constraints: 37827
343.41/344.30 c #Conflicts: 313000 | #Constraints: 38827
343.41/344.30 c #Conflicts: 314000 | #Constraints: 39827
343.41/344.30 c #Conflicts: 315000 | #Constraints: 40827
343.41/344.30 c #Conflicts: 316000 | #Constraints: 41827
343.41/344.30 c #Conflicts: 317000 | #Constraints: 42827
343.41/344.30 c #Conflicts: 318000 | #Constraints: 43827
343.41/344.30 c #Conflicts: 319000 | #Constraints: 44827
343.41/344.30 c #Conflicts: 320000 | #Constraints: 45827
343.41/344.30 c #Conflicts: 321000 | #Constraints: 46827
343.41/344.30 c #Conflicts: 322000 | #Constraints: 47827
343.41/344.30 c #Conflicts: 323000 | #Constraints: 48827
343.41/344.30 c #Conflicts: 324000 | #Constraints: 49827
343.41/344.30 c #Conflicts: 325000 | #Constraints: 50827
343.41/344.30 c #Conflicts: 326000 | #Constraints: 51827
343.41/344.30 c #Conflicts: 327000 | #Constraints: 52827
343.41/344.30 c #Conflicts: 328000 | #Constraints: 53827
343.41/344.30 c #Conflicts: 329000 | #Constraints: 54827
343.41/344.30 c #Conflicts: 330000 | #Constraints: 55827
343.41/344.30 c #Conflicts: 331000 | #Constraints: 56827
343.41/344.30 c #Conflicts: 332000 | #Constraints: 57827
343.41/344.30 c #Conflicts: 333000 | #Constraints: 58827
343.41/344.30 c #Conflicts: 334000 | #Constraints: 59827
343.41/344.30 c #Conflicts: 335000 | #Constraints: 60827
343.41/344.30 c #Conflicts: 336000 | #Constraints: 61827
343.41/344.30 c INPROCESSING
343.41/344.30 c GARBAGE COLLECT
343.41/344.30 c rational objective 1.13243e-13
360.07/361.08 c #Conflicts: 337000 | #Constraints: 34722
360.07/361.08 c #Conflicts: 338000 | #Constraints: 35722
360.07/361.08 c #Conflicts: 339000 | #Constraints: 36722
360.07/361.08 c #Conflicts: 340000 | #Constraints: 37722
360.07/361.08 c #Conflicts: 341000 | #Constraints: 38722
360.07/361.08 c #Conflicts: 342000 | #Constraints: 39722
360.07/361.08 c #Conflicts: 343000 | #Constraints: 40722
360.07/361.08 c #Conflicts: 344000 | #Constraints: 41722
360.07/361.08 c #Conflicts: 345000 | #Constraints: 42722
360.07/361.08 c #Conflicts: 346000 | #Constraints: 43722
360.07/361.08 c #Conflicts: 347000 | #Constraints: 44722
360.07/361.08 c #Conflicts: 348000 | #Constraints: 45722
360.07/361.08 c #Conflicts: 349000 | #Constraints: 46722
360.07/361.08 c #Conflicts: 350000 | #Constraints: 47722
360.07/361.08 c INPROCESSING
360.07/361.08 c GARBAGE COLLECT
360.07/361.08 c rational objective 1.13243e-13
377.33/378.36 c #Conflicts: 351000 | #Constraints: 27648
377.33/378.36 c #Conflicts: 352000 | #Constraints: 28648
377.33/378.36 c #Conflicts: 353000 | #Constraints: 29649
377.33/378.36 c #Conflicts: 354000 | #Constraints: 30649
377.33/378.36 c #Conflicts: 355000 | #Constraints: 31649
377.33/378.36 c #Conflicts: 356000 | #Constraints: 32649
377.33/378.36 c #Conflicts: 357000 | #Constraints: 33649
377.33/378.36 c #Conflicts: 358000 | #Constraints: 34649
377.33/378.36 c #Conflicts: 359000 | #Constraints: 35649
377.33/378.36 c #Conflicts: 360000 | #Constraints: 36649
377.33/378.36 c #Conflicts: 361000 | #Constraints: 37650
377.33/378.36 c #Conflicts: 362000 | #Constraints: 38650
377.33/378.36 c #Conflicts: 363000 | #Constraints: 39650
377.33/378.36 c #Conflicts: 364000 | #Constraints: 40650
377.33/378.36 c INPROCESSING
377.33/378.36 c GARBAGE COLLECT
377.33/378.36 c rational objective 1.13243e-13
475.08/476.39 c #Conflicts: 365000 | #Constraints: 23918
475.08/476.39 c #Conflicts: 366000 | #Constraints: 24918
475.08/476.39 c #Conflicts: 367000 | #Constraints: 25918
475.08/476.39 c #Conflicts: 368000 | #Constraints: 26918
475.08/476.39 c #Conflicts: 369000 | #Constraints: 27918
475.08/476.39 c #Conflicts: 370000 | #Constraints: 28918
475.08/476.39 c #Conflicts: 371000 | #Constraints: 29918
475.08/476.39 c #Conflicts: 372000 | #Constraints: 30918
475.08/476.39 c #Conflicts: 373000 | #Constraints: 31918
475.08/476.39 c #Conflicts: 374000 | #Constraints: 32918
475.08/476.39 c #Conflicts: 375000 | #Constraints: 33918
475.08/476.39 c #Conflicts: 376000 | #Constraints: 34918
475.08/476.39 c #Conflicts: 377000 | #Constraints: 35918
475.08/476.39 c #Conflicts: 378000 | #Constraints: 36918
475.08/476.39 c #Conflicts: 379000 | #Constraints: 37918
475.08/476.39 c #Conflicts: 380000 | #Constraints: 38918
475.08/476.39 c #Conflicts: 381000 | #Constraints: 39918
475.08/476.39 c #Conflicts: 382000 | #Constraints: 40918
475.08/476.39 c #Conflicts: 383000 | #Constraints: 41918
475.08/476.39 c #Conflicts: 384000 | #Constraints: 42919
475.08/476.39 c #Conflicts: 385000 | #Constraints: 43919
475.08/476.39 c #Conflicts: 386000 | #Constraints: 44919
475.08/476.39 c #Conflicts: 387000 | #Constraints: 45919
475.08/476.39 c #Conflicts: 388000 | #Constraints: 46919
475.08/476.39 c #Conflicts: 389000 | #Constraints: 47919
475.08/476.39 c #Conflicts: 390000 | #Constraints: 48919
475.08/476.39 c #Conflicts: 391000 | #Constraints: 49919
475.08/476.39 c #Conflicts: 392000 | #Constraints: 50919
475.08/476.39 c #Conflicts: 393000 | #Constraints: 51919
475.08/476.39 c #Conflicts: 394000 | #Constraints: 52919
475.08/476.39 c #Conflicts: 395000 | #Constraints: 53919
475.08/476.39 c #Conflicts: 396000 | #Constraints: 54919
475.08/476.39 c #Conflicts: 397000 | #Constraints: 55919
475.08/476.39 c #Conflicts: 398000 | #Constraints: 56919
475.08/476.39 c #Conflicts: 399000 | #Constraints: 57919
475.08/476.39 c #Conflicts: 400000 | #Constraints: 58919
475.08/476.39 c #Conflicts: 401000 | #Constraints: 59919
475.08/476.39 c #Conflicts: 402000 | #Constraints: 60920
475.08/476.39 c #Conflicts: 403000 | #Constraints: 61920
475.08/476.39 c #Conflicts: 404000 | #Constraints: 62920
475.08/476.39 c #Conflicts: 405000 | #Constraints: 63920
475.08/476.39 c #Conflicts: 406000 | #Constraints: 64920
475.08/476.39 c #Conflicts: 407000 | #Constraints: 65920
475.08/476.39 c #Conflicts: 408000 | #Constraints: 66920
475.08/476.39 c #Conflicts: 409000 | #Constraints: 67920
475.08/476.39 c INPROCESSING
475.08/476.39 c GARBAGE COLLECT
475.08/476.39 c rational objective 1.13243e-13
495.24/496.59 c #Conflicts: 410000 | #Constraints: 37752
495.24/496.59 c #Conflicts: 411000 | #Constraints: 38752
495.24/496.59 c #Conflicts: 412000 | #Constraints: 39752
495.24/496.59 c #Conflicts: 413000 | #Constraints: 40752
495.24/496.59 c #Conflicts: 414000 | #Constraints: 41752
495.24/496.59 c #Conflicts: 415000 | #Constraints: 42752
495.24/496.59 c #Conflicts: 416000 | #Constraints: 43752
495.24/496.59 c #Conflicts: 417000 | #Constraints: 44752
495.24/496.59 c #Conflicts: 418000 | #Constraints: 45752
495.24/496.59 c #Conflicts: 419000 | #Constraints: 46752
495.24/496.59 c #Conflicts: 420000 | #Constraints: 47752
495.24/496.59 c #Conflicts: 421000 | #Constraints: 48752
495.24/496.59 c #Conflicts: 422000 | #Constraints: 49752
495.24/496.59 c #Conflicts: 423000 | #Constraints: 50752
495.24/496.59 c #Conflicts: 424000 | #Constraints: 51752
495.24/496.59 c #Conflicts: 425000 | #Constraints: 52752
495.24/496.59 c INPROCESSING
495.24/496.59 c GARBAGE COLLECT
495.24/496.59 c rational objective 1.13243e-13
700.33/702.12 c #Conflicts: 426000 | #Constraints: 30263
700.33/702.12 c #Conflicts: 427000 | #Constraints: 31263
700.33/702.12 c #Conflicts: 428000 | #Constraints: 32263
700.33/702.12 c #Conflicts: 429000 | #Constraints: 33263
700.33/702.12 c #Conflicts: 430000 | #Constraints: 34263
700.33/702.12 c #Conflicts: 431000 | #Constraints: 35263
700.33/702.12 c #Conflicts: 432000 | #Constraints: 36263
700.33/702.12 c #Conflicts: 433000 | #Constraints: 37263
700.33/702.12 c #Conflicts: 434000 | #Constraints: 38263
700.33/702.12 c #Conflicts: 435000 | #Constraints: 39263
700.33/702.12 c #Conflicts: 436000 | #Constraints: 40263
700.33/702.12 c #Conflicts: 437000 | #Constraints: 41263
700.33/702.12 c #Conflicts: 438000 | #Constraints: 42263
700.33/702.12 c #Conflicts: 439000 | #Constraints: 43263
700.33/702.12 c #Conflicts: 440000 | #Constraints: 44263
700.33/702.12 c #Conflicts: 441000 | #Constraints: 45263
700.33/702.12 c INPROCESSING
700.33/702.12 c GARBAGE COLLECT
700.33/702.12 c #Conflicts: 442000 | #Constraints: 27450
700.33/702.12 c #Conflicts: 443000 | #Constraints: 28450
700.33/702.12 c #Conflicts: 444000 | #Constraints: 29450
700.33/702.12 c #Conflicts: 445000 | #Constraints: 30450
700.33/702.12 c #Conflicts: 446000 | #Constraints: 31450
700.33/702.12 c #Conflicts: 447000 | #Constraints: 32450
700.33/702.12 c #Conflicts: 448000 | #Constraints: 33450
700.33/702.12 c #Conflicts: 449000 | #Constraints: 34450
700.33/702.12 c #Conflicts: 450000 | #Constraints: 35450
700.33/702.12 c #Conflicts: 451000 | #Constraints: 36450
700.33/702.12 c #Conflicts: 452000 | #Constraints: 37450
700.33/702.12 c #Conflicts: 453000 | #Constraints: 38450
700.33/702.12 c #Conflicts: 454000 | #Constraints: 39450
700.33/702.12 c #Conflicts: 455000 | #Constraints: 40450
700.33/702.12 c #Conflicts: 456000 | #Constraints: 41450
700.33/702.12 c #Conflicts: 457000 | #Constraints: 42450
700.33/702.12 c #Conflicts: 458000 | #Constraints: 43450
700.33/702.12 c #Conflicts: 459000 | #Constraints: 44450
700.33/702.12 c #Conflicts: 460000 | #Constraints: 45450
700.33/702.12 c #Conflicts: 461000 | #Constraints: 46450
700.33/702.12 c #Conflicts: 462000 | #Constraints: 47450
700.33/702.12 c #Conflicts: 463000 | #Constraints: 48450
700.33/702.12 c #Conflicts: 464000 | #Constraints: 49450
700.33/702.12 c #Conflicts: 465000 | #Constraints: 50450
700.33/702.12 c #Conflicts: 466000 | #Constraints: 51450
700.33/702.12 c #Conflicts: 467000 | #Constraints: 52450
700.33/702.12 c #Conflicts: 468000 | #Constraints: 53450
700.33/702.12 c #Conflicts: 469000 | #Constraints: 54450
700.33/702.12 c #Conflicts: 470000 | #Constraints: 55450
700.33/702.12 c #Conflicts: 471000 | #Constraints: 56450
700.33/702.12 c #Conflicts: 472000 | #Constraints: 57450
700.33/702.12 c #Conflicts: 473000 | #Constraints: 58450
700.33/702.12 c #Conflicts: 474000 | #Constraints: 59450
700.33/702.12 c #Conflicts: 475000 | #Constraints: 60450
700.33/702.12 c #Conflicts: 476000 | #Constraints: 61450
700.33/702.12 c #Conflicts: 477000 | #Constraints: 62450
700.33/702.12 c #Conflicts: 478000 | #Constraints: 63450
700.33/702.12 c #Conflicts: 479000 | #Constraints: 64450
700.33/702.12 c #Conflicts: 480000 | #Constraints: 65450
700.33/702.12 c #Conflicts: 481000 | #Constraints: 66450
700.33/702.12 c #Conflicts: 482000 | #Constraints: 67450
700.33/702.12 c #Conflicts: 483000 | #Constraints: 68450
700.33/702.12 c #Conflicts: 484000 | #Constraints: 69450
700.33/702.12 c #Conflicts: 485000 | #Constraints: 70450
700.33/702.12 c #Conflicts: 486000 | #Constraints: 71450
700.33/702.12 c #Conflicts: 487000 | #Constraints: 72450
700.33/702.12 c #Conflicts: 488000 | #Constraints: 73450
700.33/702.12 c #Conflicts: 489000 | #Constraints: 74450
700.33/702.12 c INPROCESSING
700.33/702.12 c GARBAGE COLLECT
700.33/702.12 c rational objective 2.26485e-13
845.46/847.69 c #Conflicts: 490000 | #Constraints: 40870
845.46/847.69 c #Conflicts: 491000 | #Constraints: 41870
845.46/847.69 c #Conflicts: 492000 | #Constraints: 42870
845.46/847.69 c #Conflicts: 493000 | #Constraints: 43870
845.46/847.69 c #Conflicts: 494000 | #Constraints: 44870
845.46/847.69 c #Conflicts: 495000 | #Constraints: 45870
845.46/847.69 c #Conflicts: 496000 | #Constraints: 46870
845.46/847.69 c #Conflicts: 497000 | #Constraints: 47870
845.46/847.69 c #Conflicts: 498000 | #Constraints: 48870
845.46/847.69 c #Conflicts: 499000 | #Constraints: 49870
845.46/847.69 c #Conflicts: 500000 | #Constraints: 50870
845.46/847.69 c #Conflicts: 501000 | #Constraints: 51870
845.46/847.69 c #Conflicts: 502000 | #Constraints: 52870
845.46/847.69 c #Conflicts: 503000 | #Constraints: 53870
845.46/847.69 c #Conflicts: 504000 | #Constraints: 54870
845.46/847.69 c #Conflicts: 505000 | #Constraints: 55870
845.46/847.69 c #Conflicts: 506000 | #Constraints: 56870
845.46/847.69 c INPROCESSING
845.46/847.69 c GARBAGE COLLECT
845.46/847.69 c #Conflicts: 507000 | #Constraints: 31859
845.46/847.69 c #Conflicts: 508000 | #Constraints: 32859
845.46/847.69 c #Conflicts: 509000 | #Constraints: 33859
845.46/847.69 c #Conflicts: 510000 | #Constraints: 34859
845.46/847.69 c #Conflicts: 511000 | #Constraints: 35859
845.46/847.69 c #Conflicts: 512000 | #Constraints: 36859
845.46/847.69 c #Conflicts: 513000 | #Constraints: 37859
845.46/847.69 c #Conflicts: 514000 | #Constraints: 38859
845.46/847.69 c #Conflicts: 515000 | #Constraints: 39859
845.46/847.69 c #Conflicts: 516000 | #Constraints: 40859
845.46/847.69 c #Conflicts: 517000 | #Constraints: 41859
845.46/847.69 c #Conflicts: 518000 | #Constraints: 42859
845.46/847.69 c #Conflicts: 519000 | #Constraints: 43859
845.46/847.69 c #Conflicts: 520000 | #Constraints: 44859
845.46/847.69 c #Conflicts: 521000 | #Constraints: 45859
845.46/847.69 c #Conflicts: 522000 | #Constraints: 46859
845.46/847.69 c #Conflicts: 523000 | #Constraints: 47859
845.46/847.69 c #Conflicts: 524000 | #Constraints: 48859
845.46/847.69 c INPROCESSING
845.46/847.69 c GARBAGE COLLECT
845.46/847.69 c #Conflicts: 525000 | #Constraints: 28509
845.46/847.69 c #Conflicts: 526000 | #Constraints: 29509
845.46/847.69 c #Conflicts: 527000 | #Constraints: 30509
845.46/847.69 c #Conflicts: 528000 | #Constraints: 31509
845.46/847.69 c #Conflicts: 529000 | #Constraints: 32509
845.46/847.69 c #Conflicts: 530000 | #Constraints: 33509
845.46/847.69 c #Conflicts: 531000 | #Constraints: 34509
845.46/847.69 c #Conflicts: 532000 | #Constraints: 35509
845.46/847.69 c #Conflicts: 533000 | #Constraints: 36509
845.46/847.69 c #Conflicts: 534000 | #Constraints: 37509
845.46/847.69 c #Conflicts: 535000 | #Constraints: 38509
845.46/847.69 c #Conflicts: 536000 | #Constraints: 39509
845.46/847.69 c #Conflicts: 537000 | #Constraints: 40509
845.46/847.69 c #Conflicts: 538000 | #Constraints: 41509
845.46/847.69 c #Conflicts: 539000 | #Constraints: 42509
845.46/847.69 c #Conflicts: 540000 | #Constraints: 43509
845.46/847.69 c #Conflicts: 541000 | #Constraints: 44509
845.46/847.69 c #Conflicts: 542000 | #Constraints: 45509
845.46/847.69 c #Conflicts: 543000 | #Constraints: 46509
845.46/847.69 c #Conflicts: 544000 | #Constraints: 47509
845.46/847.69 c #Conflicts: 545000 | #Constraints: 48509
845.46/847.69 c #Conflicts: 546000 | #Constraints: 49509
845.46/847.69 c #Conflicts: 547000 | #Constraints: 50509
845.46/847.69 c #Conflicts: 548000 | #Constraints: 51509
845.46/847.69 c #Conflicts: 549000 | #Constraints: 52509
845.46/847.69 c #Conflicts: 550000 | #Constraints: 53509
845.46/847.69 c #Conflicts: 551000 | #Constraints: 54509
845.46/847.69 c #Conflicts: 552000 | #Constraints: 55509
845.46/847.69 c #Conflicts: 553000 | #Constraints: 56509
845.46/847.69 c #Conflicts: 554000 | #Constraints: 57509
845.46/847.69 c #Conflicts: 555000 | #Constraints: 58509
845.46/847.69 c #Conflicts: 556000 | #Constraints: 59509
845.46/847.69 c #Conflicts: 557000 | #Constraints: 60509
845.46/847.69 c #Conflicts: 558000 | #Constraints: 61509
845.46/847.69 c #Conflicts: 559000 | #Constraints: 62509
845.46/847.69 c #Conflicts: 560000 | #Constraints: 63509
845.46/847.69 c #Conflicts: 561000 | #Constraints: 64509
845.46/847.69 c #Conflicts: 562000 | #Constraints: 65509
845.46/847.69 c #Conflicts: 563000 | #Constraints: 66509
845.46/847.69 c #Conflicts: 564000 | #Constraints: 67509
845.46/847.69 c #Conflicts: 565000 | #Constraints: 68509
845.46/847.69 c #Conflicts: 566000 | #Constraints: 69509
845.46/847.69 c #Conflicts: 567000 | #Constraints: 70509
872.59/874.85 c #Conflicts: 568000 | #Constraints: 71509
872.59/874.85 c #Conflicts: 569000 | #Constraints: 72509
872.59/874.85 c #Conflicts: 570000 | #Constraints: 73509
872.59/874.85 c #Conflicts: 571000 | #Constraints: 74509
872.59/874.85 c #Conflicts: 572000 | #Constraints: 75509
872.59/874.85 c #Conflicts: 573000 | #Constraints: 76509
872.59/874.85 c #Conflicts: 574000 | #Constraints: 77509
872.59/874.85 c #Conflicts: 575000 | #Constraints: 78509
872.59/874.85 c #Conflicts: 576000 | #Constraints: 79509
872.59/874.85 c #Conflicts: 577000 | #Constraints: 80509
872.59/874.85 c INPROCESSING
872.59/874.85 c GARBAGE COLLECT
872.59/874.85 c rational objective 1.13243e-13
981.72/984.20 c #Conflicts: 578000 | #Constraints: 44075
981.72/984.20 c #Conflicts: 579000 | #Constraints: 45075
981.72/984.20 c #Conflicts: 580000 | #Constraints: 46075
981.72/984.20 c #Conflicts: 581000 | #Constraints: 47075
981.72/984.20 c #Conflicts: 582000 | #Constraints: 48075
981.72/984.20 c #Conflicts: 583000 | #Constraints: 49075
981.72/984.20 c #Conflicts: 584000 | #Constraints: 50075
981.72/984.20 c #Conflicts: 585000 | #Constraints: 51075
981.72/984.20 c #Conflicts: 586000 | #Constraints: 52075
981.72/984.20 c #Conflicts: 587000 | #Constraints: 53075
981.72/984.20 c #Conflicts: 588000 | #Constraints: 54075
981.72/984.20 c #Conflicts: 589000 | #Constraints: 55075
981.72/984.20 c #Conflicts: 590000 | #Constraints: 56075
981.72/984.20 c #Conflicts: 591000 | #Constraints: 57075
981.72/984.20 c #Conflicts: 592000 | #Constraints: 58075
981.72/984.20 c #Conflicts: 593000 | #Constraints: 59075
981.72/984.20 c #Conflicts: 594000 | #Constraints: 60075
981.72/984.20 c #Conflicts: 595000 | #Constraints: 61075
981.72/984.20 c #Conflicts: 596000 | #Constraints: 62075
981.72/984.20 c INPROCESSING
981.72/984.20 c GARBAGE COLLECT
981.72/984.20 c #Conflicts: 597000 | #Constraints: 34995
981.72/984.20 c #Conflicts: 598000 | #Constraints: 35995
981.72/984.20 c #Conflicts: 599000 | #Constraints: 36995
981.72/984.20 c #Conflicts: 600000 | #Constraints: 37995
981.72/984.20 c #Conflicts: 601000 | #Constraints: 38995
981.72/984.20 c #Conflicts: 602000 | #Constraints: 39995
981.72/984.20 c #Conflicts: 603000 | #Constraints: 40995
981.72/984.20 c #Conflicts: 604000 | #Constraints: 41995
981.72/984.20 c #Conflicts: 605000 | #Constraints: 42995
981.72/984.20 c #Conflicts: 606000 | #Constraints: 43995
981.72/984.20 c #Conflicts: 607000 | #Constraints: 44995
981.72/984.20 c #Conflicts: 608000 | #Constraints: 45995
981.72/984.20 c #Conflicts: 609000 | #Constraints: 46995
981.72/984.20 c #Conflicts: 610000 | #Constraints: 47995
981.72/984.20 c #Conflicts: 611000 | #Constraints: 48995
981.72/984.20 c #Conflicts: 612000 | #Constraints: 49995
981.72/984.20 c #Conflicts: 613000 | #Constraints: 50995
981.72/984.20 c #Conflicts: 614000 | #Constraints: 51995
981.72/984.20 c #Conflicts: 615000 | #Constraints: 52995
981.72/984.20 c INPROCESSING
981.72/984.20 c GARBAGE COLLECT
981.72/984.20 c #Conflicts: 616000 | #Constraints: 31655
981.72/984.20 c #Conflicts: 617000 | #Constraints: 32655
981.72/984.20 c #Conflicts: 618000 | #Constraints: 33655
981.72/984.20 c #Conflicts: 619000 | #Constraints: 34655
981.72/984.20 c #Conflicts: 620000 | #Constraints: 35655
981.72/984.20 c #Conflicts: 621000 | #Constraints: 36655
981.72/984.20 c #Conflicts: 622000 | #Constraints: 37655
981.72/984.20 c #Conflicts: 623000 | #Constraints: 38655
981.72/984.20 c #Conflicts: 624000 | #Constraints: 39655
981.72/984.20 c #Conflicts: 625000 | #Constraints: 40655
981.72/984.20 c #Conflicts: 626000 | #Constraints: 41655
981.72/984.20 c #Conflicts: 627000 | #Constraints: 42655
981.72/984.20 c #Conflicts: 628000 | #Constraints: 43655
981.72/984.20 c #Conflicts: 629000 | #Constraints: 44655
981.72/984.20 c #Conflicts: 630000 | #Constraints: 45655
981.72/984.20 c #Conflicts: 631000 | #Constraints: 46655
981.72/984.20 c #Conflicts: 632000 | #Constraints: 47655
981.72/984.20 c #Conflicts: 633000 | #Constraints: 48655
981.72/984.20 c #Conflicts: 634000 | #Constraints: 49655
981.72/984.20 c #Conflicts: 635000 | #Constraints: 50655
981.72/984.20 c #Conflicts: 636000 | #Constraints: 51655
981.72/984.20 c #Conflicts: 637000 | #Constraints: 52655
981.72/984.20 c #Conflicts: 638000 | #Constraints: 53655
981.72/984.20 c #Conflicts: 639000 | #Constraints: 54655
981.72/984.20 c #Conflicts: 640000 | #Constraints: 55655
981.72/984.20 c #Conflicts: 641000 | #Constraints: 56655
981.72/984.20 c #Conflicts: 642000 | #Constraints: 57655
981.72/984.20 c #Conflicts: 643000 | #Constraints: 58655
981.72/984.20 c #Conflicts: 644000 | #Constraints: 59655
981.72/984.20 c #Conflicts: 645000 | #Constraints: 60655
981.72/984.20 c #Conflicts: 646000 | #Constraints: 61655
981.72/984.20 c #Conflicts: 647000 | #Constraints: 62655
981.72/984.20 c #Conflicts: 648000 | #Constraints: 63655
981.72/984.20 c #Conflicts: 649000 | #Constraints: 64655
981.72/984.20 c #Conflicts: 650000 | #Constraints: 65655
981.72/984.20 c #Conflicts: 651000 | #Constraints: 66655
981.72/984.20 c #Conflicts: 652000 | #Constraints: 67655
981.72/984.20 c #Conflicts: 653000 | #Constraints: 68655
981.72/984.20 c #Conflicts: 654000 | #Constraints: 69655
981.72/984.20 c #Conflicts: 655000 | #Constraints: 70655
1038.48/1041.14 c #Conflicts: 656000 | #Constraints: 71655
1038.48/1041.14 c #Conflicts: 657000 | #Constraints: 72655
1038.48/1041.14 c #Conflicts: 658000 | #Constraints: 73655
1038.48/1041.14 c #Conflicts: 659000 | #Constraints: 74655
1038.48/1041.14 c #Conflicts: 660000 | #Constraints: 75655
1038.48/1041.14 c #Conflicts: 661000 | #Constraints: 76655
1038.48/1041.14 c #Conflicts: 662000 | #Constraints: 77655
1038.48/1041.14 c #Conflicts: 663000 | #Constraints: 78655
1038.48/1041.14 c #Conflicts: 664000 | #Constraints: 79655
1038.48/1041.14 c #Conflicts: 665000 | #Constraints: 80655
1038.48/1041.14 c #Conflicts: 666000 | #Constraints: 81655
1038.48/1041.14 c #Conflicts: 667000 | #Constraints: 82655
1038.48/1041.14 c #Conflicts: 668000 | #Constraints: 83655
1038.48/1041.14 c #Conflicts: 669000 | #Constraints: 84655
1038.48/1041.14 c #Conflicts: 670000 | #Constraints: 85655
1038.48/1041.14 c #Conflicts: 671000 | #Constraints: 86655
1038.48/1041.14 c #Conflicts: 672000 | #Constraints: 87655
1038.48/1041.14 c INPROCESSING
1038.48/1041.14 c GARBAGE COLLECT
1038.48/1041.14 c rational objective 1.13243e-13
1064.21/1066.97 c #Conflicts: 673000 | #Constraints: 47825
1064.21/1066.97 c #Conflicts: 674000 | #Constraints: 48825
1064.21/1066.97 c #Conflicts: 675000 | #Constraints: 49825
1064.21/1066.97 c #Conflicts: 676000 | #Constraints: 50825
1064.21/1066.97 c #Conflicts: 677000 | #Constraints: 51825
1064.21/1066.97 c #Conflicts: 678000 | #Constraints: 52825
1064.21/1066.97 c #Conflicts: 679000 | #Constraints: 53825
1064.21/1066.97 c #Conflicts: 680000 | #Constraints: 54825
1064.21/1066.97 c #Conflicts: 681000 | #Constraints: 55825
1064.21/1066.97 c #Conflicts: 682000 | #Constraints: 56825
1064.21/1066.97 c #Conflicts: 683000 | #Constraints: 57825
1064.21/1066.97 c #Conflicts: 684000 | #Constraints: 58825
1064.21/1066.97 c #Conflicts: 685000 | #Constraints: 59825
1064.21/1066.97 c #Conflicts: 686000 | #Constraints: 60825
1064.21/1066.97 c #Conflicts: 687000 | #Constraints: 61825
1064.21/1066.97 c #Conflicts: 688000 | #Constraints: 62825
1064.21/1066.97 c #Conflicts: 689000 | #Constraints: 63825
1064.21/1066.97 c #Conflicts: 690000 | #Constraints: 64825
1064.21/1066.97 c #Conflicts: 691000 | #Constraints: 65825
1064.21/1066.97 c #Conflicts: 692000 | #Constraints: 66825
1064.21/1066.97 c INPROCESSING
1064.21/1066.97 c GARBAGE COLLECT
1064.21/1066.97 c rational objective -1.66089e-12
1316.97/1320.36 c #Conflicts: 693000 | #Constraints: 37310
1316.97/1320.36 c #Conflicts: 694000 | #Constraints: 38310
1316.97/1320.36 c #Conflicts: 695000 | #Constraints: 39310
1316.97/1320.36 c #Conflicts: 696000 | #Constraints: 40310
1316.97/1320.36 c #Conflicts: 697000 | #Constraints: 41310
1316.97/1320.36 c #Conflicts: 698000 | #Constraints: 42310
1316.97/1320.36 c #Conflicts: 699000 | #Constraints: 43310
1316.97/1320.36 c #Conflicts: 700000 | #Constraints: 44310
1316.97/1320.36 c #Conflicts: 701000 | #Constraints: 45310
1316.97/1320.36 c #Conflicts: 702000 | #Constraints: 46310
1316.97/1320.36 c #Conflicts: 703000 | #Constraints: 47310
1316.97/1320.36 c #Conflicts: 704000 | #Constraints: 48310
1316.97/1320.36 c #Conflicts: 705000 | #Constraints: 49310
1316.97/1320.36 c #Conflicts: 706000 | #Constraints: 50310
1316.97/1320.36 c #Conflicts: 707000 | #Constraints: 51310
1316.97/1320.36 c #Conflicts: 708000 | #Constraints: 52310
1316.97/1320.36 c #Conflicts: 709000 | #Constraints: 53310
1316.97/1320.36 c #Conflicts: 710000 | #Constraints: 54310
1316.97/1320.36 c #Conflicts: 711000 | #Constraints: 55310
1316.97/1320.36 c #Conflicts: 712000 | #Constraints: 56310
1316.97/1320.36 c INPROCESSING
1316.97/1320.36 c GARBAGE COLLECT
1316.97/1320.36 c #Conflicts: 713000 | #Constraints: 33975
1316.97/1320.36 c #Conflicts: 714000 | #Constraints: 34975
1316.97/1320.36 c #Conflicts: 715000 | #Constraints: 35975
1316.97/1320.36 c #Conflicts: 716000 | #Constraints: 36975
1316.97/1320.36 c #Conflicts: 717000 | #Constraints: 37975
1316.97/1320.36 c #Conflicts: 718000 | #Constraints: 38975
1316.97/1320.36 c #Conflicts: 719000 | #Constraints: 39975
1316.97/1320.36 c #Conflicts: 720000 | #Constraints: 40975
1316.97/1320.36 c #Conflicts: 721000 | #Constraints: 41975
1316.97/1320.36 c #Conflicts: 722000 | #Constraints: 42975
1316.97/1320.36 c #Conflicts: 723000 | #Constraints: 43975
1316.97/1320.36 c #Conflicts: 724000 | #Constraints: 44975
1316.97/1320.36 c #Conflicts: 725000 | #Constraints: 45975
1316.97/1320.36 c #Conflicts: 726000 | #Constraints: 46975
1316.97/1320.36 c #Conflicts: 727000 | #Constraints: 47975
1316.97/1320.36 c #Conflicts: 728000 | #Constraints: 48975
1316.97/1320.36 c #Conflicts: 729000 | #Constraints: 49975
1316.97/1320.36 c #Conflicts: 730000 | #Constraints: 50975
1316.97/1320.36 c #Conflicts: 731000 | #Constraints: 51975
1316.97/1320.36 c #Conflicts: 732000 | #Constraints: 52975
1316.97/1320.36 c #Conflicts: 733000 | #Constraints: 53975
1316.97/1320.36 c #Conflicts: 734000 | #Constraints: 54975
1316.97/1320.36 c #Conflicts: 735000 | #Constraints: 55975
1316.97/1320.36 c #Conflicts: 736000 | #Constraints: 56975
1316.97/1320.36 c #Conflicts: 737000 | #Constraints: 57975
1316.97/1320.36 c #Conflicts: 738000 | #Constraints: 58975
1316.97/1320.36 c #Conflicts: 739000 | #Constraints: 59975
1316.97/1320.36 c #Conflicts: 740000 | #Constraints: 60975
1316.97/1320.36 c #Conflicts: 741000 | #Constraints: 61975
1316.97/1320.36 c #Conflicts: 742000 | #Constraints: 62975
1316.97/1320.36 c #Conflicts: 743000 | #Constraints: 63975
1316.97/1320.36 c #Conflicts: 744000 | #Constraints: 64975
1316.97/1320.36 c #Conflicts: 745000 | #Constraints: 65975
1316.97/1320.36 c #Conflicts: 746000 | #Constraints: 66975
1316.97/1320.36 c #Conflicts: 747000 | #Constraints: 67975
1316.97/1320.36 c #Conflicts: 748000 | #Constraints: 68975
1316.97/1320.36 c #Conflicts: 749000 | #Constraints: 69975
1316.97/1320.36 c #Conflicts: 750000 | #Constraints: 70975
1316.97/1320.36 c #Conflicts: 751000 | #Constraints: 71975
1316.97/1320.36 c #Conflicts: 752000 | #Constraints: 72975
1316.97/1320.36 c #Conflicts: 753000 | #Constraints: 73975
1316.97/1320.36 c #Conflicts: 754000 | #Constraints: 74975
1316.97/1320.36 c #Conflicts: 755000 | #Constraints: 75976
1316.97/1320.36 c #Conflicts: 756000 | #Constraints: 76976
1316.97/1320.36 c #Conflicts: 757000 | #Constraints: 77976
1316.97/1320.36 c #Conflicts: 758000 | #Constraints: 78976
1316.97/1320.36 c #Conflicts: 759000 | #Constraints: 79976
1316.97/1320.36 c #Conflicts: 760000 | #Constraints: 80976
1316.97/1320.36 c #Conflicts: 761000 | #Constraints: 81976
1316.97/1320.36 c #Conflicts: 762000 | #Constraints: 82976
1316.97/1320.36 c #Conflicts: 763000 | #Constraints: 83976
1316.97/1320.36 c #Conflicts: 764000 | #Constraints: 84976
1316.97/1320.36 c #Conflicts: 765000 | #Constraints: 85976
1316.97/1320.36 c #Conflicts: 766000 | #Constraints: 86976
1316.97/1320.36 c #Conflicts: 767000 | #Constraints: 87976
1316.97/1320.36 c #Conflicts: 768000 | #Constraints: 88976
1316.97/1320.36 c #Conflicts: 769000 | #Constraints: 89976
1316.97/1320.36 c #Conflicts: 770000 | #Constraints: 90976
1316.97/1320.36 c #Conflicts: 771000 | #Constraints: 91976
1329.54/1332.93 c #Conflicts: 772000 | #Constraints: 92976
1329.54/1332.93 c #Conflicts: 773000 | #Constraints: 93976
1329.54/1332.93 c #Conflicts: 774000 | #Constraints: 94976
1329.54/1332.93 c INPROCESSING
1329.54/1332.93 c GARBAGE COLLECT
1329.54/1332.93 c rational objective -1.13243e-13
1402.46/1406.04 c #Conflicts: 775000 | #Constraints: 51410
1402.46/1406.04 c #Conflicts: 776000 | #Constraints: 52411
1402.46/1406.04 c #Conflicts: 777000 | #Constraints: 53411
1402.46/1406.04 c #Conflicts: 778000 | #Constraints: 54411
1402.46/1406.04 c #Conflicts: 779000 | #Constraints: 55411
1402.46/1406.04 c #Conflicts: 780000 | #Constraints: 56411
1402.46/1406.04 c #Conflicts: 781000 | #Constraints: 57411
1402.46/1406.04 c #Conflicts: 782000 | #Constraints: 58411
1402.46/1406.04 c #Conflicts: 783000 | #Constraints: 59411
1402.46/1406.04 c #Conflicts: 784000 | #Constraints: 60412
1402.46/1406.04 c #Conflicts: 785000 | #Constraints: 61412
1402.46/1406.04 c #Conflicts: 786000 | #Constraints: 62412
1402.46/1406.04 c #Conflicts: 787000 | #Constraints: 63412
1402.46/1406.04 c #Conflicts: 788000 | #Constraints: 64412
1402.46/1406.04 c #Conflicts: 789000 | #Constraints: 65412
1402.46/1406.04 c #Conflicts: 790000 | #Constraints: 66412
1402.46/1406.04 c #Conflicts: 791000 | #Constraints: 67412
1402.46/1406.04 c #Conflicts: 792000 | #Constraints: 68413
1402.46/1406.04 c #Conflicts: 793000 | #Constraints: 69413
1402.46/1406.04 c #Conflicts: 794000 | #Constraints: 70413
1402.46/1406.04 c #Conflicts: 795000 | #Constraints: 71413
1402.46/1406.04 c INPROCESSING
1402.46/1406.04 c GARBAGE COLLECT
1402.46/1406.04 c #Conflicts: 796000 | #Constraints: 39289
1402.46/1406.04 c #Conflicts: 797000 | #Constraints: 40289
1402.46/1406.04 c #Conflicts: 798000 | #Constraints: 41289
1402.46/1406.04 c #Conflicts: 799000 | #Constraints: 42289
1402.46/1406.04 c #Conflicts: 800000 | #Constraints: 43289
1402.46/1406.04 c #Conflicts: 801000 | #Constraints: 44290
1402.46/1406.04 c #Conflicts: 802000 | #Constraints: 45290
1402.46/1406.04 c #Conflicts: 803000 | #Constraints: 46290
1402.46/1406.04 c #Conflicts: 804000 | #Constraints: 47290
1402.46/1406.04 c #Conflicts: 805000 | #Constraints: 48290
1402.46/1406.04 c #Conflicts: 806000 | #Constraints: 49290
1402.46/1406.04 c #Conflicts: 807000 | #Constraints: 50290
1402.46/1406.04 c #Conflicts: 808000 | #Constraints: 51290
1402.46/1406.04 c #Conflicts: 809000 | #Constraints: 52290
1402.46/1406.04 c #Conflicts: 810000 | #Constraints: 53290
1402.46/1406.04 c #Conflicts: 811000 | #Constraints: 54290
1402.46/1406.04 c #Conflicts: 812000 | #Constraints: 55290
1402.46/1406.04 c #Conflicts: 813000 | #Constraints: 56290
1402.46/1406.04 c #Conflicts: 814000 | #Constraints: 57290
1402.46/1406.04 c #Conflicts: 815000 | #Constraints: 58290
1402.46/1406.04 c #Conflicts: 816000 | #Constraints: 59290
1402.46/1406.04 c #Conflicts: 817000 | #Constraints: 60290
1402.46/1406.04 c INPROCESSING
1402.46/1406.04 c GARBAGE COLLECT
1402.46/1406.04 c rational objective -1.13243e-13
1603.98/1608.04 c #Conflicts: 818000 | #Constraints: 36784
1603.98/1608.04 c #Conflicts: 819000 | #Constraints: 37784
1603.98/1608.04 c #Conflicts: 820000 | #Constraints: 38784
1603.98/1608.04 c #Conflicts: 821000 | #Constraints: 39784
1603.98/1608.04 c #Conflicts: 822000 | #Constraints: 40784
1603.98/1608.04 c #Conflicts: 823000 | #Constraints: 41784
1603.98/1608.04 c #Conflicts: 824000 | #Constraints: 42784
1603.98/1608.04 c #Conflicts: 825000 | #Constraints: 43784
1603.98/1608.04 c #Conflicts: 826000 | #Constraints: 44784
1603.98/1608.04 c #Conflicts: 827000 | #Constraints: 45784
1603.98/1608.04 c #Conflicts: 828000 | #Constraints: 46784
1603.98/1608.04 c #Conflicts: 829000 | #Constraints: 47784
1603.98/1608.04 c #Conflicts: 830000 | #Constraints: 48784
1603.98/1608.04 c #Conflicts: 831000 | #Constraints: 49784
1603.98/1608.04 c #Conflicts: 832000 | #Constraints: 50784
1603.98/1608.04 c #Conflicts: 833000 | #Constraints: 51784
1603.98/1608.04 c #Conflicts: 834000 | #Constraints: 52784
1603.98/1608.04 c #Conflicts: 835000 | #Constraints: 53784
1603.98/1608.04 c #Conflicts: 836000 | #Constraints: 54784
1603.98/1608.04 c #Conflicts: 837000 | #Constraints: 55784
1603.98/1608.04 c #Conflicts: 838000 | #Constraints: 56784
1603.98/1608.04 c #Conflicts: 839000 | #Constraints: 57784
1603.98/1608.04 c #Conflicts: 840000 | #Constraints: 58784
1603.98/1608.04 c #Conflicts: 841000 | #Constraints: 59784
1603.98/1608.04 c #Conflicts: 842000 | #Constraints: 60784
1603.98/1608.04 c #Conflicts: 843000 | #Constraints: 61784
1603.98/1608.04 c #Conflicts: 844000 | #Constraints: 62784
1603.98/1608.04 c #Conflicts: 845000 | #Constraints: 63784
1603.98/1608.04 c #Conflicts: 846000 | #Constraints: 64784
1603.98/1608.04 c #Conflicts: 847000 | #Constraints: 65784
1603.98/1608.04 c #Conflicts: 848000 | #Constraints: 66784
1603.98/1608.04 c #Conflicts: 849000 | #Constraints: 67784
1603.98/1608.04 c #Conflicts: 850000 | #Constraints: 68784
1603.98/1608.04 c #Conflicts: 851000 | #Constraints: 69784
1603.98/1608.04 c #Conflicts: 852000 | #Constraints: 70784
1603.98/1608.04 c #Conflicts: 853000 | #Constraints: 71784
1603.98/1608.04 c #Conflicts: 854000 | #Constraints: 72784
1603.98/1608.04 c #Conflicts: 855000 | #Constraints: 73784
1603.98/1608.04 c #Conflicts: 856000 | #Constraints: 74784
1603.98/1608.04 c #Conflicts: 857000 | #Constraints: 75784
1603.98/1608.04 c #Conflicts: 858000 | #Constraints: 76784
1603.98/1608.04 c #Conflicts: 859000 | #Constraints: 77784
1603.98/1608.04 c #Conflicts: 860000 | #Constraints: 78784
1603.98/1608.04 c #Conflicts: 861000 | #Constraints: 79784
1603.98/1608.04 c #Conflicts: 862000 | #Constraints: 80784
1603.98/1608.04 c #Conflicts: 863000 | #Constraints: 81784
1603.98/1608.04 c #Conflicts: 864000 | #Constraints: 82784
1603.98/1608.04 c #Conflicts: 865000 | #Constraints: 83784
1603.98/1608.04 c #Conflicts: 866000 | #Constraints: 84784
1603.98/1608.04 c #Conflicts: 867000 | #Constraints: 85784
1603.98/1608.04 c #Conflicts: 868000 | #Constraints: 86784
1603.98/1608.04 c #Conflicts: 869000 | #Constraints: 87784
1603.98/1608.04 c #Conflicts: 870000 | #Constraints: 88784
1603.98/1608.04 c #Conflicts: 871000 | #Constraints: 89784
1603.98/1608.04 c #Conflicts: 872000 | #Constraints: 90784
1603.98/1608.04 c #Conflicts: 873000 | #Constraints: 91784
1603.98/1608.04 c #Conflicts: 874000 | #Constraints: 92784
1603.98/1608.04 c #Conflicts: 875000 | #Constraints: 93784
1603.98/1608.04 c #Conflicts: 876000 | #Constraints: 94784
1603.98/1608.04 c #Conflicts: 877000 | #Constraints: 95784
1603.98/1608.04 c #Conflicts: 878000 | #Constraints: 96784
1603.98/1608.04 c #Conflicts: 879000 | #Constraints: 97784
1603.98/1608.04 c #Conflicts: 880000 | #Constraints: 98784
1603.98/1608.04 c #Conflicts: 881000 | #Constraints: 99784
1603.98/1608.04 c #Conflicts: 882000 | #Constraints: 100784
1603.98/1608.04 c #Conflicts: 883000 | #Constraints: 101784
1603.98/1608.04 c INPROCESSING
1603.98/1608.04 c GARBAGE COLLECT
1603.98/1608.04 c rational objective -1.13243e-13
1699.53/1703.89 c #Conflicts: 884000 | #Constraints: 54783
1699.53/1703.89 c #Conflicts: 885000 | #Constraints: 55783
1699.53/1703.89 c #Conflicts: 886000 | #Constraints: 56783
1699.53/1703.89 c #Conflicts: 887000 | #Constraints: 57783
1699.53/1703.89 c #Conflicts: 888000 | #Constraints: 58783
1699.53/1703.89 c #Conflicts: 889000 | #Constraints: 59783
1699.53/1703.89 c #Conflicts: 890000 | #Constraints: 60783
1699.53/1703.89 c #Conflicts: 891000 | #Constraints: 61783
1699.53/1703.89 c #Conflicts: 892000 | #Constraints: 62783
1699.53/1703.89 c #Conflicts: 893000 | #Constraints: 63783
1699.53/1703.89 c #Conflicts: 894000 | #Constraints: 64783
1699.53/1703.89 c #Conflicts: 895000 | #Constraints: 65783
1699.53/1703.89 c #Conflicts: 896000 | #Constraints: 66783
1699.53/1703.89 c #Conflicts: 897000 | #Constraints: 67783
1699.53/1703.89 c #Conflicts: 898000 | #Constraints: 68783
1699.53/1703.89 c #Conflicts: 899000 | #Constraints: 69783
1699.53/1703.89 c #Conflicts: 900000 | #Constraints: 70783
1699.53/1703.89 c #Conflicts: 901000 | #Constraints: 71783
1699.53/1703.89 c #Conflicts: 902000 | #Constraints: 72783
1699.53/1703.89 c #Conflicts: 903000 | #Constraints: 73783
1699.53/1703.89 c #Conflicts: 904000 | #Constraints: 74783
1699.53/1703.89 c #Conflicts: 905000 | #Constraints: 75783
1699.53/1703.89 c #Conflicts: 906000 | #Constraints: 76783
1699.53/1703.89 c INPROCESSING
1699.53/1703.89 c GARBAGE COLLECT
1699.53/1703.89 c #Conflicts: 907000 | #Constraints: 42187
1699.53/1703.89 c #Conflicts: 908000 | #Constraints: 43187
1699.53/1703.89 c #Conflicts: 909000 | #Constraints: 44187
1699.53/1703.89 c #Conflicts: 910000 | #Constraints: 45187
1699.53/1703.89 c #Conflicts: 911000 | #Constraints: 46187
1699.53/1703.89 c #Conflicts: 912000 | #Constraints: 47187
1699.53/1703.89 c #Conflicts: 913000 | #Constraints: 48187
1699.53/1703.89 c #Conflicts: 914000 | #Constraints: 49187
1699.53/1703.89 c #Conflicts: 915000 | #Constraints: 50187
1699.53/1703.89 c #Conflicts: 916000 | #Constraints: 51188
1699.53/1703.89 c #Conflicts: 917000 | #Constraints: 52188
1699.53/1703.89 c #Conflicts: 918000 | #Constraints: 53188
1699.53/1703.89 c #Conflicts: 919000 | #Constraints: 54188
1699.53/1703.89 c #Conflicts: 920000 | #Constraints: 55189
1699.53/1703.89 c #Conflicts: 921000 | #Constraints: 56189
1699.53/1703.89 c #Conflicts: 922000 | #Constraints: 57189
1699.53/1703.89 c #Conflicts: 923000 | #Constraints: 58189
1699.53/1703.89 c #Conflicts: 924000 | #Constraints: 59189
1699.53/1703.89 c #Conflicts: 925000 | #Constraints: 60189
1699.53/1703.89 c #Conflicts: 926000 | #Constraints: 61189
1699.53/1703.89 c #Conflicts: 927000 | #Constraints: 62189
1699.53/1703.89 c #Conflicts: 928000 | #Constraints: 63189
1699.53/1703.89 c #Conflicts: 929000 | #Constraints: 64189
1699.53/1703.89 c #Conflicts: 930000 | #Constraints: 65189
1699.53/1703.89 c INPROCESSING
1699.53/1703.89 c GARBAGE COLLECT
1699.53/1703.89 c rational objective -1.13243e-13
2222.36/2227.98 c #Conflicts: 931000 | #Constraints: 40424
2222.36/2227.98 c #Conflicts: 932000 | #Constraints: 41424
2222.36/2227.98 c #Conflicts: 933000 | #Constraints: 42424
2222.36/2227.98 c #Conflicts: 934000 | #Constraints: 43424
2222.36/2227.98 c #Conflicts: 935000 | #Constraints: 44424
2222.36/2227.98 c #Conflicts: 936000 | #Constraints: 45424
2222.36/2227.98 c #Conflicts: 937000 | #Constraints: 46424
2222.36/2227.98 c #Conflicts: 938000 | #Constraints: 47424
2222.36/2227.98 c #Conflicts: 939000 | #Constraints: 48424
2222.36/2227.98 c #Conflicts: 940000 | #Constraints: 49424
2222.36/2227.98 c #Conflicts: 941000 | #Constraints: 50425
2222.36/2227.98 c #Conflicts: 942000 | #Constraints: 51425
2222.36/2227.98 c #Conflicts: 943000 | #Constraints: 52425
2222.36/2227.98 c #Conflicts: 944000 | #Constraints: 53425
2222.36/2227.98 c #Conflicts: 945000 | #Constraints: 54425
2222.36/2227.98 c #Conflicts: 946000 | #Constraints: 55425
2222.36/2227.98 c #Conflicts: 947000 | #Constraints: 56425
2222.36/2227.98 c #Conflicts: 948000 | #Constraints: 57425
2222.36/2227.98 c #Conflicts: 949000 | #Constraints: 58425
2222.36/2227.98 c #Conflicts: 950000 | #Constraints: 59425
2222.36/2227.98 c #Conflicts: 951000 | #Constraints: 60425
2222.36/2227.98 c #Conflicts: 952000 | #Constraints: 61425
2222.36/2227.98 c #Conflicts: 953000 | #Constraints: 62425
2222.36/2227.98 c #Conflicts: 954000 | #Constraints: 63425
2222.36/2227.98 c #Conflicts: 955000 | #Constraints: 64425
2222.36/2227.98 c #Conflicts: 956000 | #Constraints: 65425
2222.36/2227.98 c #Conflicts: 957000 | #Constraints: 66425
2222.36/2227.98 c #Conflicts: 958000 | #Constraints: 67425
2222.36/2227.98 c #Conflicts: 959000 | #Constraints: 68425
2222.36/2227.98 c #Conflicts: 960000 | #Constraints: 69425
2222.36/2227.98 c #Conflicts: 961000 | #Constraints: 70425
2222.36/2227.98 c #Conflicts: 962000 | #Constraints: 71425
2222.36/2227.98 c #Conflicts: 963000 | #Constraints: 72425
2222.36/2227.98 c #Conflicts: 964000 | #Constraints: 73425
2222.36/2227.98 c #Conflicts: 965000 | #Constraints: 74425
2222.36/2227.98 c #Conflicts: 966000 | #Constraints: 75426
2222.36/2227.98 c #Conflicts: 967000 | #Constraints: 76426
2222.36/2227.98 c #Conflicts: 968000 | #Constraints: 77426
2222.36/2227.98 c #Conflicts: 969000 | #Constraints: 78426
2222.36/2227.98 c #Conflicts: 970000 | #Constraints: 79426
2222.36/2227.98 c #Conflicts: 971000 | #Constraints: 80426
2222.36/2227.98 c #Conflicts: 972000 | #Constraints: 81426
2222.36/2227.98 c #Conflicts: 973000 | #Constraints: 82426
2222.36/2227.98 c #Conflicts: 974000 | #Constraints: 83426
2222.36/2227.98 c #Conflicts: 975000 | #Constraints: 84426
2222.36/2227.98 c #Conflicts: 976000 | #Constraints: 85426
2222.36/2227.98 c #Conflicts: 977000 | #Constraints: 86426
2222.36/2227.98 c #Conflicts: 978000 | #Constraints: 87426
2222.36/2227.98 c #Conflicts: 979000 | #Constraints: 88426
2222.36/2227.98 c #Conflicts: 980000 | #Constraints: 89426
2222.36/2227.98 c #Conflicts: 981000 | #Constraints: 90426
2222.36/2227.98 c #Conflicts: 982000 | #Constraints: 91426
2222.36/2227.98 c #Conflicts: 983000 | #Constraints: 92426
2222.36/2227.98 c #Conflicts: 984000 | #Constraints: 93426
2222.36/2227.98 c #Conflicts: 985000 | #Constraints: 94426
2222.36/2227.98 c #Conflicts: 986000 | #Constraints: 95426
2222.36/2227.98 c #Conflicts: 987000 | #Constraints: 96426
2222.36/2227.98 c #Conflicts: 988000 | #Constraints: 97426
2222.36/2227.98 c #Conflicts: 989000 | #Constraints: 98426
2222.36/2227.98 c #Conflicts: 990000 | #Constraints: 99426
2222.36/2227.98 c #Conflicts: 991000 | #Constraints: 100426
2222.36/2227.98 c #Conflicts: 992000 | #Constraints: 101426
2222.36/2227.98 c #Conflicts: 993000 | #Constraints: 102426
2222.36/2227.98 c #Conflicts: 994000 | #Constraints: 103426
2222.36/2227.98 c #Conflicts: 995000 | #Constraints: 104426
2222.36/2227.98 c #Conflicts: 996000 | #Constraints: 105426
2222.36/2227.98 c #Conflicts: 997000 | #Constraints: 106426
2222.36/2227.98 c #Conflicts: 998000 | #Constraints: 107426
2222.36/2227.98 c #Conflicts: 999000 | #Constraints: 108426
2222.36/2227.98 c INPROCESSING
2222.36/2227.98 c GARBAGE COLLECT
2222.36/2227.98 c rational objective 1.13243e-13
2283.91/2289.64 c #Conflicts: 1000000 | #Constraints: 57957
2283.91/2289.64 c #Conflicts: 1001000 | #Constraints: 58957
2283.91/2289.64 c #Conflicts: 1002000 | #Constraints: 59957
2283.91/2289.64 c #Conflicts: 1003000 | #Constraints: 60957
2283.91/2289.64 c #Conflicts: 1004000 | #Constraints: 61957
2283.91/2289.64 c #Conflicts: 1005000 | #Constraints: 62957
2283.91/2289.64 c #Conflicts: 1006000 | #Constraints: 63957
2283.91/2289.64 c #Conflicts: 1007000 | #Constraints: 64957
2283.91/2289.64 c #Conflicts: 1008000 | #Constraints: 65957
2283.91/2289.64 c #Conflicts: 1009000 | #Constraints: 66957
2283.91/2289.64 c #Conflicts: 1010000 | #Constraints: 67957
2283.91/2289.64 c #Conflicts: 1011000 | #Constraints: 68957
2283.91/2289.64 c #Conflicts: 1012000 | #Constraints: 69957
2283.91/2289.64 c #Conflicts: 1013000 | #Constraints: 70957
2283.91/2289.64 c #Conflicts: 1014000 | #Constraints: 71957
2283.91/2289.64 c #Conflicts: 1015000 | #Constraints: 72957
2283.91/2289.64 c #Conflicts: 1016000 | #Constraints: 73957
2283.91/2289.64 c #Conflicts: 1017000 | #Constraints: 74957
2283.91/2289.64 c #Conflicts: 1018000 | #Constraints: 75957
2283.91/2289.64 c #Conflicts: 1019000 | #Constraints: 76957
2283.91/2289.64 c #Conflicts: 1020000 | #Constraints: 77957
2283.91/2289.64 c #Conflicts: 1021000 | #Constraints: 78957
2283.91/2289.64 c #Conflicts: 1022000 | #Constraints: 79957
2283.91/2289.64 c #Conflicts: 1023000 | #Constraints: 80957
2283.91/2289.64 c #Conflicts: 1024000 | #Constraints: 81957
2283.91/2289.64 c INPROCESSING
2283.91/2289.64 c GARBAGE COLLECT
2283.91/2289.64 c rational objective -1.13243e-13
2378.19/2384.18 c #Conflicts: 1025000 | #Constraints: 44646
2378.19/2384.18 c #Conflicts: 1026000 | #Constraints: 45646
2378.19/2384.18 c #Conflicts: 1027000 | #Constraints: 46646
2378.19/2384.18 c #Conflicts: 1028000 | #Constraints: 47646
2378.19/2384.18 c #Conflicts: 1029000 | #Constraints: 48646
2378.19/2384.18 c #Conflicts: 1030000 | #Constraints: 49646
2378.19/2384.18 c #Conflicts: 1031000 | #Constraints: 50646
2378.19/2384.18 c #Conflicts: 1032000 | #Constraints: 51646
2378.19/2384.18 c #Conflicts: 1033000 | #Constraints: 52646
2378.19/2384.18 c #Conflicts: 1034000 | #Constraints: 53646
2378.19/2384.18 c #Conflicts: 1035000 | #Constraints: 54646
2378.19/2384.18 c #Conflicts: 1036000 | #Constraints: 55646
2378.19/2384.18 c #Conflicts: 1037000 | #Constraints: 56646
2378.19/2384.18 c #Conflicts: 1038000 | #Constraints: 57646
2378.19/2384.18 c #Conflicts: 1039000 | #Constraints: 58646
2378.19/2384.18 c #Conflicts: 1040000 | #Constraints: 59646
2378.19/2384.18 c #Conflicts: 1041000 | #Constraints: 60646
2378.19/2384.18 c #Conflicts: 1042000 | #Constraints: 61646
2378.19/2384.18 c #Conflicts: 1043000 | #Constraints: 62646
2378.19/2384.18 c #Conflicts: 1044000 | #Constraints: 63646
2378.19/2384.18 c #Conflicts: 1045000 | #Constraints: 64646
2378.19/2384.18 c #Conflicts: 1046000 | #Constraints: 65646
2378.19/2384.18 c #Conflicts: 1047000 | #Constraints: 66646
2378.19/2384.18 c #Conflicts: 1048000 | #Constraints: 67646
2378.19/2384.18 c #Conflicts: 1049000 | #Constraints: 68646
2378.19/2384.18 c INPROCESSING
2378.19/2384.18 c GARBAGE COLLECT
2378.19/2384.18 c rational objective 1
3600.08/3609.11 c #Conflicts: 1050000 | #Constraints: 41329
3600.08/3609.11 c #Conflicts: 1051000 | #Constraints: 42329
3600.08/3609.11 c #Conflicts: 1052000 | #Constraints: 43329
3600.08/3609.11 c #Conflicts: 1053000 | #Constraints: 44329
3600.08/3609.11 c #Conflicts: 1054000 | #Constraints: 45329
3600.08/3609.11 c #Conflicts: 1055000 | #Constraints: 46329
3600.08/3609.11 c #Conflicts: 1056000 | #Constraints: 47329
3600.08/3609.11 c #Conflicts: 1057000 | #Constraints: 48329
3600.08/3609.11 c #Conflicts: 1058000 | #Constraints: 49329
3600.08/3609.11 c #Conflicts: 1059000 | #Constraints: 50329
3600.08/3609.11 c #Conflicts: 1060000 | #Constraints: 51329
3600.08/3609.11 c #Conflicts: 1061000 | #Constraints: 52329
3600.08/3609.11 c #Conflicts: 1062000 | #Constraints: 53329
3600.08/3609.11 c #Conflicts: 1063000 | #Constraints: 54329
3600.08/3609.11 c #Conflicts: 1064000 | #Constraints: 55329
3600.08/3609.11 c #Conflicts: 1065000 | #Constraints: 56329
3600.08/3609.11 c #Conflicts: 1066000 | #Constraints: 57329
3600.08/3609.11 c #Conflicts: 1067000 | #Constraints: 58329
3600.08/3609.11 c #Conflicts: 1068000 | #Constraints: 59329
3600.08/3609.11 c #Conflicts: 1069000 | #Constraints: 60329
3600.08/3609.11 c #Conflicts: 1070000 | #Constraints: 61329
3600.08/3609.11 c #Conflicts: 1071000 | #Constraints: 62329
3600.08/3609.11 c #Conflicts: 1072000 | #Constraints: 63329
3600.08/3609.11 c #Conflicts: 1073000 | #Constraints: 64329
3600.08/3609.11 c #Conflicts: 1074000 | #Constraints: 65329
3600.08/3609.11 c #Conflicts: 1075000 | #Constraints: 66329
3600.08/3609.11 c #Conflicts: 1076000 | #Constraints: 67329
3600.08/3609.11 c #Conflicts: 1077000 | #Constraints: 68330
3600.08/3609.11 c #Conflicts: 1078000 | #Constraints: 69330
3600.08/3609.11 c #Conflicts: 1079000 | #Constraints: 70330
3600.08/3609.11 c #Conflicts: 1080000 | #Constraints: 71330
3600.08/3609.11 c #Conflicts: 1081000 | #Constraints: 72330
3600.08/3609.11 c #Conflicts: 1082000 | #Constraints: 73330
3600.08/3609.11 c #Conflicts: 1083000 | #Constraints: 74330
3600.08/3609.11 c #Conflicts: 1084000 | #Constraints: 75330
3600.08/3609.11 c #Conflicts: 1085000 | #Constraints: 76330
3600.08/3609.11 c #Conflicts: 1086000 | #Constraints: 77330
3600.08/3609.11 c #Conflicts: 1087000 | #Constraints: 78330
3600.08/3609.11 c #Conflicts: 1088000 | #Constraints: 79330
3600.08/3609.11 c #Conflicts: 1089000 | #Constraints: 80330
3600.08/3609.11 c #Conflicts: 1090000 | #Constraints: 81330
3600.08/3609.11 c #Conflicts: 1091000 | #Constraints: 82330
3600.08/3609.11 c #Conflicts: 1092000 | #Constraints: 83330
3600.08/3609.11 c #Conflicts: 1093000 | #Constraints: 84330
3600.08/3609.11 c #Conflicts: 1094000 | #Constraints: 85330
3600.08/3609.11 c #Conflicts: 1095000 | #Constraints: 86330
3600.08/3609.11 c #Conflicts: 1096000 | #Constraints: 87330
3600.08/3609.11 c #Conflicts: 1097000 | #Constraints: 88330
3600.08/3609.11 c #Conflicts: 1098000 | #Constraints: 89330
3600.08/3609.11 c #Conflicts: 1099000 | #Constraints: 90330
3600.08/3609.11 c #Conflicts: 1100000 | #Constraints: 91330
3600.08/3609.11 c #Conflicts: 1101000 | #Constraints: 92330
3600.08/3609.11 c #Conflicts: 1102000 | #Constraints: 93330
3600.08/3609.11 c #Conflicts: 1103000 | #Constraints: 94330
3600.08/3609.11 c #Conflicts: 1104000 | #Constraints: 95330
3600.08/3609.11 c #Conflicts: 1105000 | #Constraints: 96330
3600.08/3609.11 c #Conflicts: 1106000 | #Constraints: 97330
3600.08/3609.11 c #Conflicts: 1107000 | #Constraints: 98330
3600.08/3609.11 c #Conflicts: 1108000 | #Constraints: 99330
3600.08/3609.11 c #Conflicts: 1109000 | #Constraints: 100330
3600.08/3609.11 c #Conflicts: 1110000 | #Constraints: 101330
3600.08/3609.11 c #Conflicts: 1111000 | #Constraints: 102330
3600.08/3609.11 c #Conflicts: 1112000 | #Constraints: 103330
3600.08/3609.11 c #Conflicts: 1113000 | #Constraints: 104330
3600.08/3609.11 c #Conflicts: 1114000 | #Constraints: 105330
3600.08/3609.11 c #Conflicts: 1115000 | #Constraints: 106330
3600.08/3609.11 c #Conflicts: 1116000 | #Constraints: 107330
3600.08/3609.11 c #Conflicts: 1117000 | #Constraints: 108330
3600.08/3609.11 c #Conflicts: 1118000 | #Constraints: 109330
3600.08/3609.11 c #Conflicts: 1119000 | #Constraints: 110330
3600.08/3609.11 c #Conflicts: 1120000 | #Constraints: 111330
3600.08/3609.11 c cpu time 3586.57 s
3600.08/3609.11 c deterministic time 201115642901 2.01e+11
3600.08/3609.11 c optimization time 1220.25 s
3600.08/3609.11 c total solve time 2366.3 s
3600.08/3609.11 c core-guided solve time 0 s
3600.08/3609.11 c propagation time 2384.06 s
3600.08/3609.11 c conflict analysis time 1149.93 s
3600.08/3609.11 c propagations 371974077
3600.08/3609.11 c resolve steps 128555550
3600.08/3609.11 c decisions 1762187
3600.08/3609.11 c conflicts 1120897
3600.08/3609.11 c restarts 2046
3600.08/3609.11 c inprocessing phases 53
3600.08/3609.11 c garbage collections 53 ,( 100.00 )
3600.08/3609.11 c input clauses 2340 ,( 47.36 )
3600.08/3609.11 c input cardinalities 0 ,( 0.00 )
3600.08/3609.11 c input general constraints 2601 ,( 52.64 )
3600.08/3609.11 c input average constraint length 3.72
3600.08/3609.11 c input average constraint degree 911475334422.30
3600.08/3609.11 c learned clauses 753308 ,( 67.20 )
3600.08/3609.11 c learned cardinalities 136 ,( 0.01 )
3600.08/3609.11 c learned general constraints 367473 ,( 32.78 )
3600.08/3609.11 c learned average constraint length 273.46
3600.08/3609.11 c learned average constraint degree 131550770.85
3600.08/3609.11 c watched CF 32, 64, 128, Arb: 55032 , 0 , 0 , 0
3600.08/3609.11 c counting CF 32, 64, 128, Arb: 315041 , 1 , 0 , 0
3600.08/3609.11 c watched constraints 55032 ,( 14.87 )
3600.08/3609.11 c counting constraints 315042 ,( 85.13 )
3600.08/3609.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 507336643 , 2725341 , 57522965266 ,( 784611767 , 56738353499 )
3600.08/3609.11 c gcd simplifications 27415
3600.08/3609.11 c detected cardinalities 47
3600.08/3609.11 c weakened non-implied lits 45114038
3600.08/3609.11 c weakened non-implying lits 279340
3600.08/3609.11 c original variables 3484
3600.08/3609.11 c clausal propagations 96591069
3600.08/3609.11 c cardinality propagations 121248
3600.08/3609.11 c watched propagations 850841
3600.08/3609.11 c counting propagations 273274653
3600.08/3609.11 c watch lookups 90333805548
3600.08/3609.11 c watch backjump lookups 0
3600.08/3609.11 c watch checks 19185220426
3600.08/3609.11 c propagation checks 89603823012
3600.08/3609.11 c constraint additions 1243988569
3600.08/3609.11 c trail pops 374853767
3600.08/3609.11 c formula constraints 4941
3600.08/3609.11 c learned constraints 1120877
3600.08/3609.11 c bound constraints 0
3600.08/3609.11 c core-guided constraints 0
3600.08/3609.11 c encountered formula constraints 95212149
3600.08/3609.11 c encountered learned constraints 34253547
3600.08/3609.11 c encountered bound constraints 0
3600.08/3609.11 c encountered core-guided constraints 0
3600.08/3609.11 c LP total time 15.0016 s
3600.08/3609.11 c LP solve time 12.93 s
3600.08/3609.11 c LP constraints added 4942
3600.08/3609.11 c LP constraints removed 0
3600.08/3609.11 c LP pivots internal 112250
3600.08/3609.11 c LP pivots root 103064
3600.08/3609.11 c LP calls 361
3600.08/3609.11 c LP optimalities 337
3600.08/3609.11 c LP no pivot count 27
3600.08/3609.11 c LP infeasibilities 20
3600.08/3609.11 c LP valid Farkas constraints 20
3600.08/3609.11 c LP learned Farkas constraints 20
3600.08/3609.11 c LP basis resets 0
3600.08/3609.11 c LP cycling count 0
3600.08/3609.11 c LP singular count 0
3600.08/3609.11 c LP no primal count 0
3600.08/3609.11 c LP no farkas count 0
3600.08/3609.11 c LP other issue count 0
3600.08/3609.11 c LP Gomory cuts 0
3600.08/3609.11 c LP learned cuts 1
3600.08/3609.11 c LP deleted cuts 0
3600.08/3609.11 c LP encountered Gomory constraints 0
3600.08/3609.11 c LP encountered Farkas constraints 202667
3600.08/3609.11 c LP encountered learned Farkas constraints 8064
3600.08/3609.11 c CG auxiliary variables introduced 0
3600.08/3609.11 c CG solutions found 0
3600.08/3609.11 c CG cores constructed 0
3600.08/3609.11 c CG core cardinality constraints returned 0
3600.08/3609.11 c CG unit cores 0
3600.08/3609.11 c CG single cores 0
3600.08/3609.11 c CG blocks removed during cardinality reduction 0
3600.08/3609.11 c CG first core best 0
3600.08/3609.11 c CG decision core best 0
3600.08/3609.11 c CG core reduction tie 0
3600.08/3609.11 c CG core degree average 0.00
3600.08/3609.11 c CG core slack average 0.00
3600.08/3609.11 c CG core upper bound improvements 0
3600.08/3609.11 c STR number of successful calls 0
3600.08/3609.11 c STR number of unsuccessful calls 0
3600.08/3609.11 c STR number of inconclusive calls 0
3600.08/3609.11 c STR number of successful attempts 0
3600.08/3609.11 c STR number of unsuccessful attempts 0
3600.08/3609.11 c STR number of inconclusive attempts 0
3600.08/3609.11 c STR average degree increase per successful call inf
3600.08/3609.11 c STR average degree increase per successful attempt inf
3600.08/3609.11 c STR total number of conflicts for successful attempts 0
3600.08/3609.11 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.11 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.11 c STR average number of conflicts per successful attempt inf
3600.08/3609.11 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.11 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.11 c AVG.sumWPerc 77.31
3600.08/3609.11 c bigint constraints 1
3600.08/3609.11 s UNKNOWN
3600.08/3609.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61952 MiB free)
memory of node 1: 64465 MiB (56760 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541686-1753198973/watcher-4541686-1753198973 -o /tmp/evaluation-result-4541686-1753198973/solver-4541686-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753198973-167711 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541686-1753198973.opb /tmp/proof-4541686-1753198973
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=167761, runsolver pid=167755
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121508608/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=65884 memory=21732 CPUtime=0.05 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 3409 0 0 0 5 0 0 0 20 0 1 0 235576042 67465216 5433 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 16471 5433 2304 1147 0 3898 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 70076 KiB
Current children cumulated memory: 24804 KiB
[startup+0.205627 s]*
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121497268/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=67520 memory=23268 CPUtime=0.15 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 3745 0 0 0 15 0 0 0 20 0 1 0 235576042 69140480 5817 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 16880 5817 2368 1147 0 4307 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 71712 KiB
Current children cumulated memory: 26340 KiB
[startup+0.305098 s]*
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121491476/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=67520 memory=23524 CPUtime=0.26 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 3815 0 0 0 25 1 0 0 20 0 1 0 235576042 69140480 5881 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 16880 5881 2368 1147 0 4307 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 71712 KiB
Current children cumulated memory: 26596 KiB
[startup+0.700135 s]
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121480060/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=68364 memory=24292 CPUtime=0.64 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 4026 0 0 0 63 1 0 0 20 0 1 0 235576042 70004736 6073 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 17091 6073 2368 1147 0 4518 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 72556 KiB
Current children cumulated memory: 27364 KiB
[startup+1.50015 s]
/proc/loadavg: 0.42 0.16 0.11 5/269 167773
/proc/meminfo: memFree=121455868/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=69348 memory=25060 CPUtime=1.44 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 4214 0 0 0 142 2 0 0 20 0 1 0 235576042 71012352 6265 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 17337 6265 2368 1147 0 4764 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 73540 KiB
Current children cumulated memory: 28132 KiB
[startup+3.10469 s]
/proc/loadavg: 0.42 0.16 0.11 5/269 167773
/proc/meminfo: memFree=121387896/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=69884 memory=25700 CPUtime=3.04 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 4383 0 0 0 301 3 0 0 20 0 1 0 235576042 71561216 6425 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 17471 6425 2368 1147 0 4898 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 74076 KiB
Current children cumulated memory: 28772 KiB
[startup+6.30015 s]
/proc/loadavg: 0.70 0.22 0.13 5/269 167773
/proc/meminfo: memFree=121299344/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=73948 memory=31652 CPUtime=6.23 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 5342 0 0 0 616 7 0 0 20 0 1 0 235576042 75722752 7913 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 18487 7913 2368 1147 0 5914 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 78140 KiB
Current children cumulated memory: 34724 KiB
[startup+12.7002 s]
/proc/loadavg: 1.05 0.30 0.16 5/269 167773
/proc/meminfo: memFree=121154444/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=74244 memory=31908 CPUtime=12.61 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 5426 0 0 0 1244 17 0 0 20 0 1 0 235576042 76025856 7977 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 18561 7977 2368 1147 0 5988 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 78436 KiB
Current children cumulated memory: 34980 KiB
[startup+25.5002 s]
/proc/loadavg: 1.50 0.42 0.20 5/269 167773
/proc/meminfo: memFree=120840576/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=89532 memory=46692 CPUtime=25.39 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 8096 0 0 0 2508 31 0 0 20 0 1 0 235576042 91680768 11673 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 22383 11673 2368 1147 0 9810 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 93724 KiB
Current children cumulated memory: 49764 KiB
[startup+51.1054 s]
/proc/loadavg: 2.64 0.80 0.33 5/271 167776
/proc/meminfo: memFree=120220564/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=104592 memory=57220 CPUtime=50.93 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 10219 0 0 0 5037 56 0 0 20 0 1 0 235576042 107102208 14305 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 26148 14305 2368 1147 0 13575 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 108784 KiB
Current children cumulated memory: 60292 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.34 0.54 5/272 167779
/proc/meminfo: memFree=119195084/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=123648 memory=74428 CPUtime=102 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 12503 0 0 0 10102 98 0 0 20 0 1 0 235576042 126615552 18607 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 30912 18607 2368 1147 0 18339 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 127840 KiB
Current children cumulated memory: 77500 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 1.86 0.77 5/272 167781
/proc/meminfo: memFree=118185688/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=131512 memory=86980 CPUtime=161.84 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 14412 0 0 0 16034 150 0 0 20 0 1 0 235576042 134668288 21745 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 32878 21745 2368 1147 0 20305 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 135704 KiB
Current children cumulated memory: 90052 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.28 0.99 5/272 167783
/proc/meminfo: memFree=117206676/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=141772 memory=97604 CPUtime=221.7 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 16918 0 0 0 21973 197 0 0 20 0 1 0 235576042 145174528 24401 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 35443 24401 2368 1147 0 22870 0
################
# More data... #
################
/proc/167767/statm: 320865 281388 2368 1147 0 308292 0
Current children cumulated CPU time: 3094.54 s
Current children cumulated vsize: 1287652 KiB
Current children cumulated memory: 1128624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.05 5/271 167944
/proc/meminfo: memFree=92254712/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1321348 memory=1162292 CPUtime=3154.39 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 175491 0 0 0 314121 1318 0 0 20 0 1 0 235576042 1353060352 290573 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 330337 290573 2368 1147 0 317764 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 1325540 KiB
Current children cumulated memory: 1165364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.05 5/271 167948
/proc/meminfo: memFree=92077636/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1342852 memory=1186320 CPUtime=3214.24 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 178933 0 0 0 320100 1324 0 0 20 0 1 0 235576042 1375080448 296580 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 335713 296580 2368 1147 0 323140 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 1347044 KiB
Current children cumulated memory: 1189392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/270 167950
/proc/meminfo: memFree=91933456/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1366920 memory=1214352 CPUtime=3274.08 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 182863 0 0 0 326081 1327 0 0 20 0 1 0 235576042 1399726080 303588 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 341730 303588 2368 1147 0 329157 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 1371112 KiB
Current children cumulated memory: 1217424 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/268 167952
/proc/meminfo: memFree=91705304/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1402248 memory=1251744 CPUtime=3333.92 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 188633 0 0 0 332061 1331 0 0 20 0 1 0 235576042 1435901952 312936 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 350562 312936 2368 1147 0 337989 0
Current children cumulated CPU time: 3333.92 s
Current children cumulated vsize: 1406440 KiB
Current children cumulated memory: 1254816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/268 167954
/proc/meminfo: memFree=91146756/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1664276 memory=1295720 CPUtime=3393.78 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 196563 0 0 0 338041 1337 0 0 20 0 1 0 235576042 1704218624 323930 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 416069 323930 2368 1147 0 403496 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 1668468 KiB
Current children cumulated memory: 1298792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.17 4.08 5/268 167956
/proc/meminfo: memFree=90666076/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1688852 memory=1321172 CPUtime=3453.63 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 201054 0 0 0 344021 1342 0 0 20 0 1 0 235576042 1729384448 330293 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 422213 330293 2368 1147 0 409640 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 1693044 KiB
Current children cumulated memory: 1324244 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/267 167958
/proc/meminfo: memFree=90307072/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1717016 memory=1348336 CPUtime=3513.48 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 205821 0 0 0 350003 1345 0 0 20 0 1 0 235576042 1758224384 337084 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 429254 337084 2368 1147 0 416681 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 1721208 KiB
Current children cumulated memory: 1351408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/267 167961
/proc/meminfo: memFree=89975032/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1747736 memory=1382512 CPUtime=3573.34 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 211281 0 0 0 355985 1349 0 0 20 0 1 0 235576042 1789681664 345628 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 436934 345628 2368 1147 0 424361 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 1751928 KiB
Current children cumulated memory: 1385584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.19 4.16 4.09 5/268 167969
/proc/meminfo: memFree=89817092/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1760024 memory=1395716 CPUtime=3600.08 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 213582 0 0 0 358657 1351 0 0 20 0 1 0 235576042 1802264576 348929 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 440006 348929 2368 1147 0 427433 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1764216 KiB
Current children cumulated memory: 1398788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 167761 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002354 s
[startup+3609.13 s]
# the end of solver process 167767 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.58 s, system=13.5308 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.19 4.16 4.09 5/268 167969
/proc/meminfo: memFree=89817092/131249996 swapFree=33010160/33010684
[pid=167761] ppid=167755 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/167761/stat : 167761 (run-dec-ls-log.) S 167755 167761 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576040 4292608 768 18446744073709551615 94914173157376 94914174051909 140725498683424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94914174290960 94914174338704 94914179567616 140725498685759 140725498685919 140725498685919 140725498691523 0
/proc/167761/statm: 1048 768 704 219 0 110 0
[pid=167767] ppid=167761 vsize=1760024 memory=1395716 CPUtime=3600.08 cores=4,6
/proc/167767/stat : 167767 (roundingsat) R 167761 167761 167693 0 -1 4194304 213582 0 0 0 358657 1351 0 0 20 0 1 0 235576042 1802264576 348929 18446744073709551615 4227072 8923433 140725547997920 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18669568 140725548005748 140725548005926 140725548005926 140725548011498 0
/proc/167767/statm: 440006 348929 2368 1147 0 427433 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1764216 KiB
Current children cumulated memory: 1398788 KiB
Child status: 2
Real time (s): 3609.13
CPU time (s): 3600.11
CPU user time (s): 3586.58
CPU system time (s): 13.5308
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 1764216
Max. memory (cumulated for all children) (KiB): 1398788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.58
system time used= 13.5308
maximum resident set size= 1395972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12040208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 366
involuntary context switches= 5284
# summary of solver processes directly reported to runsolver:
# pid: 167761,167767
# total CPU time (s): 3600.11
# total CPU user time (s): 3586.58
# total CPU system time (s): 13.5308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22162 second user time and 16.2932 second system time
The end
Begin job on nodeC032 at 2025-07-22 17:42:54
IDJOB=4541686
IDBENCH=163331
IDSOLVER=3354
FILE ID=nodeC032/4541686-1753198973
RUNJOBID= nodeC032-1753198973-167711
SLURM_JOB_ID= 9687765
Free space on /tmp= 432576 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-26array_diag_greater.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541686-1753198973/watcher-4541686-1753198973 -o /tmp/evaluation-result-4541686-1753198973/solver-4541686-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753198973-167711 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541686-1753198973.opb /tmp/proof-4541686-1753198973
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=1581860338
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.740
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.013
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.062
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.367
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.115
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.840
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3938.822
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121562440 kB
MemAvailable: 129639852 kB
Buffers: 2728 kB
Cached: 8757492 kB
SwapCached: 20 kB
Active: 1199952 kB
Inactive: 7626836 kB
Active(anon): 89684 kB
Inactive(anon): 3124 kB
Active(file): 1110268 kB
Inactive(file): 7623712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22156 kB
Writeback: 0 kB
AnonPages: 69696 kB
Mapped: 108380 kB
Shmem: 26240 kB
KReclaimable: 365344 kB
Slab: 463556 kB
SReclaimable: 365344 kB
SUnreclaim: 98212 kB
KernelStack: 4144 kB
PageTables: 2964 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 350012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 398004 MiB
End job on nodeC032 at 2025-07-22 18:43:03