0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.05 c #variables 3484 #constraints 4941
0.00/0.06 c rational objective 0
41.47/41.68 c #Conflicts: 1000 | #Constraints: 5941
41.47/41.68 c #Conflicts: 2000 | #Constraints: 6941
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 3000 | #Constraints: 6966
41.47/41.68 c #Conflicts: 4000 | #Constraints: 7966
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 5000 | #Constraints: 7388
41.47/41.68 c #Conflicts: 6000 | #Constraints: 8388
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 7000 | #Constraints: 7436
41.47/41.68 c #Conflicts: 8000 | #Constraints: 8436
41.47/41.68 c #Conflicts: 9000 | #Constraints: 9436
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 10000 | #Constraints: 8139
41.47/41.68 c #Conflicts: 11000 | #Constraints: 9139
41.47/41.68 c #Conflicts: 12000 | #Constraints: 10139
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 13000 | #Constraints: 8627
41.47/41.68 c #Conflicts: 14000 | #Constraints: 9627
41.47/41.68 c #Conflicts: 15000 | #Constraints: 10627
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 16000 | #Constraints: 8889
41.47/41.68 c #Conflicts: 17000 | #Constraints: 9889
41.47/41.68 c #Conflicts: 18000 | #Constraints: 10889
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 19000 | #Constraints: 8922
41.47/41.68 c #Conflicts: 20000 | #Constraints: 9922
41.47/41.68 c #Conflicts: 21000 | #Constraints: 10922
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 22000 | #Constraints: 8729
41.47/41.68 c #Conflicts: 23000 | #Constraints: 9729
41.47/41.68 c #Conflicts: 24000 | #Constraints: 10729
41.47/41.68 c #Conflicts: 25000 | #Constraints: 11729
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 26000 | #Constraints: 9347
41.47/41.68 c #Conflicts: 27000 | #Constraints: 10347
41.47/41.68 c #Conflicts: 28000 | #Constraints: 11347
41.47/41.68 c #Conflicts: 29000 | #Constraints: 12347
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 30000 | #Constraints: 9766
41.47/41.68 c #Conflicts: 31000 | #Constraints: 10766
41.47/41.68 c #Conflicts: 32000 | #Constraints: 11766
41.47/41.68 c #Conflicts: 33000 | #Constraints: 12766
41.47/41.68 c #Conflicts: 34000 | #Constraints: 13766
41.47/41.68 c #Conflicts: 35000 | #Constraints: 14766
41.47/41.68 c #Conflicts: 36000 | #Constraints: 15766
41.47/41.68 c #Conflicts: 37000 | #Constraints: 16766
41.47/41.68 c #Conflicts: 38000 | #Constraints: 17766
41.47/41.68 c #Conflicts: 39000 | #Constraints: 18766
41.47/41.68 c #Conflicts: 40000 | #Constraints: 19766
41.47/41.68 c #Conflicts: 41000 | #Constraints: 20766
41.47/41.68 c #Conflicts: 42000 | #Constraints: 21766
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 43000 | #Constraints: 14068
41.47/41.68 c #Conflicts: 44000 | #Constraints: 15068
41.47/41.68 c #Conflicts: 45000 | #Constraints: 16068
41.47/41.68 c #Conflicts: 46000 | #Constraints: 17068
41.47/41.68 c #Conflicts: 47000 | #Constraints: 18068
41.47/41.68 c #Conflicts: 48000 | #Constraints: 19068
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 49000 | #Constraints: 13176
41.47/41.68 c #Conflicts: 50000 | #Constraints: 14176
41.47/41.68 c #Conflicts: 51000 | #Constraints: 15176
41.47/41.68 c #Conflicts: 52000 | #Constraints: 16176
41.47/41.68 c #Conflicts: 53000 | #Constraints: 17176
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 54000 | #Constraints: 12080
41.47/41.68 c #Conflicts: 55000 | #Constraints: 13080
41.47/41.68 c #Conflicts: 56000 | #Constraints: 14080
41.47/41.68 c #Conflicts: 57000 | #Constraints: 15080
41.47/41.68 c #Conflicts: 58000 | #Constraints: 16080
41.47/41.68 c INPROCESSING
41.47/41.68 c GARBAGE COLLECT
41.47/41.68 c #Conflicts: 59000 | #Constraints: 11286
41.47/41.68 c #Conflicts: 60000 | #Constraints: 12286
41.47/41.68 c #Conflicts: 61000 | #Constraints: 13286
41.47/41.68 c #Conflicts: 62000 | #Constraints: 14286
41.47/41.68 c #Conflicts: 63000 | #Constraints: 15286
41.47/41.68 c #Conflicts: 64000 | #Constraints: 16286
41.47/41.68 c #Conflicts: 65000 | #Constraints: 17286
41.47/41.68 c #Conflicts: 66000 | #Constraints: 18286
41.47/41.68 c #Conflicts: 67000 | #Constraints: 19286
41.47/41.68 c #Conflicts: 68000 | #Constraints: 20286
41.47/41.68 c #Conflicts: 69000 | #Constraints: 21286
41.47/41.68 c #Conflicts: 70000 | #Constraints: 22286
47.45/47.65 c #Conflicts: 71000 | #Constraints: 23286
47.45/47.65 c #Conflicts: 72000 | #Constraints: 24286
47.45/47.65 c #Conflicts: 73000 | #Constraints: 25286
47.45/47.65 c #Conflicts: 74000 | #Constraints: 26286
47.45/47.65 c #Conflicts: 75000 | #Constraints: 27286
47.45/47.65 c #Conflicts: 76000 | #Constraints: 28286
47.45/47.65 c #Conflicts: 77000 | #Constraints: 29286
47.45/47.65 c #Conflicts: 78000 | #Constraints: 30286
47.45/47.65 c INPROCESSING
47.45/47.65 c GARBAGE COLLECT
47.45/47.65 c rational objective 0
121.16/121.50 c #Conflicts: 79000 | #Constraints: 18793
121.16/121.50 c #Conflicts: 80000 | #Constraints: 19793
121.16/121.50 c #Conflicts: 81000 | #Constraints: 20793
121.16/121.50 c #Conflicts: 82000 | #Constraints: 21793
121.16/121.50 c #Conflicts: 83000 | #Constraints: 22793
121.16/121.50 c #Conflicts: 84000 | #Constraints: 23793
121.16/121.50 c INPROCESSING
121.16/121.50 c GARBAGE COLLECT
121.16/121.50 c #Conflicts: 85000 | #Constraints: 15181
121.16/121.50 c #Conflicts: 86000 | #Constraints: 16181
121.16/121.50 c #Conflicts: 87000 | #Constraints: 17181
121.16/121.50 c #Conflicts: 88000 | #Constraints: 18181
121.16/121.50 c #Conflicts: 89000 | #Constraints: 19181
121.16/121.50 c #Conflicts: 90000 | #Constraints: 20181
121.16/121.50 c #Conflicts: 91000 | #Constraints: 21181
121.16/121.50 c INPROCESSING
121.16/121.50 c GARBAGE COLLECT
121.16/121.50 c #Conflicts: 92000 | #Constraints: 13882
121.16/121.50 c #Conflicts: 93000 | #Constraints: 14882
121.16/121.50 c #Conflicts: 94000 | #Constraints: 15882
121.16/121.50 c #Conflicts: 95000 | #Constraints: 16882
121.16/121.50 c #Conflicts: 96000 | #Constraints: 17882
121.16/121.50 c #Conflicts: 97000 | #Constraints: 18882
121.16/121.50 c #Conflicts: 98000 | #Constraints: 19882
121.16/121.50 c #Conflicts: 99000 | #Constraints: 20882
121.16/121.50 c #Conflicts: 100000 | #Constraints: 21882
121.16/121.50 c #Conflicts: 101000 | #Constraints: 22882
121.16/121.50 c #Conflicts: 102000 | #Constraints: 23882
121.16/121.50 c #Conflicts: 103000 | #Constraints: 24882
121.16/121.50 c #Conflicts: 104000 | #Constraints: 25882
121.16/121.50 c #Conflicts: 105000 | #Constraints: 26882
121.16/121.50 c #Conflicts: 106000 | #Constraints: 27882
121.16/121.50 c #Conflicts: 107000 | #Constraints: 28882
121.16/121.50 c #Conflicts: 108000 | #Constraints: 29882
121.16/121.50 c #Conflicts: 109000 | #Constraints: 30882
121.16/121.50 c #Conflicts: 110000 | #Constraints: 31882
121.16/121.50 c #Conflicts: 111000 | #Constraints: 32882
121.16/121.50 c #Conflicts: 112000 | #Constraints: 33882
121.16/121.50 c #Conflicts: 113000 | #Constraints: 34882
121.16/121.50 c #Conflicts: 114000 | #Constraints: 35882
121.16/121.50 c #Conflicts: 115000 | #Constraints: 36882
121.16/121.50 c INPROCESSING
121.16/121.50 c GARBAGE COLLECT
121.16/121.50 c #Conflicts: 116000 | #Constraints: 22108
121.16/121.50 c #Conflicts: 117000 | #Constraints: 23108
121.16/121.50 c #Conflicts: 118000 | #Constraints: 24108
121.16/121.50 c #Conflicts: 119000 | #Constraints: 25108
121.16/121.50 c #Conflicts: 120000 | #Constraints: 26108
121.16/121.50 c #Conflicts: 121000 | #Constraints: 27108
121.16/121.50 c #Conflicts: 122000 | #Constraints: 28108
121.16/121.50 c #Conflicts: 123000 | #Constraints: 29108
121.16/121.50 c INPROCESSING
121.16/121.50 c GARBAGE COLLECT
121.16/121.50 c #Conflicts: 124000 | #Constraints: 18029
121.16/121.50 c #Conflicts: 125000 | #Constraints: 19029
121.16/121.50 c #Conflicts: 126000 | #Constraints: 20029
121.16/121.50 c #Conflicts: 127000 | #Constraints: 21029
121.16/121.50 c #Conflicts: 128000 | #Constraints: 22029
121.16/121.50 c #Conflicts: 129000 | #Constraints: 23029
121.16/121.50 c #Conflicts: 130000 | #Constraints: 24029
121.16/121.50 c #Conflicts: 131000 | #Constraints: 25029
121.16/121.50 c #Conflicts: 132000 | #Constraints: 26029
121.16/121.50 c INPROCESSING
121.16/121.50 c GARBAGE COLLECT
121.16/121.50 c #Conflicts: 133000 | #Constraints: 16791
121.16/121.50 c #Conflicts: 134000 | #Constraints: 17791
121.16/121.50 c #Conflicts: 135000 | #Constraints: 18791
121.16/121.50 c #Conflicts: 136000 | #Constraints: 19791
121.16/121.50 c #Conflicts: 137000 | #Constraints: 20791
121.16/121.50 c #Conflicts: 138000 | #Constraints: 21791
121.16/121.50 c #Conflicts: 139000 | #Constraints: 22791
121.16/121.50 c #Conflicts: 140000 | #Constraints: 23791
121.16/121.50 c #Conflicts: 141000 | #Constraints: 24791
121.16/121.50 c #Conflicts: 142000 | #Constraints: 25791
121.16/121.50 c #Conflicts: 143000 | #Constraints: 26791
121.16/121.50 c #Conflicts: 144000 | #Constraints: 27791
121.16/121.50 c #Conflicts: 145000 | #Constraints: 28791
121.16/121.50 c #Conflicts: 146000 | #Constraints: 29791
121.16/121.50 c #Conflicts: 147000 | #Constraints: 30791
121.16/121.50 c #Conflicts: 148000 | #Constraints: 31791
121.16/121.50 c #Conflicts: 149000 | #Constraints: 32791
121.16/121.50 c #Conflicts: 150000 | #Constraints: 33791
121.16/121.50 c #Conflicts: 151000 | #Constraints: 34791
121.16/121.50 c #Conflicts: 152000 | #Constraints: 35791
121.16/121.50 c #Conflicts: 153000 | #Constraints: 36791
121.16/121.50 c #Conflicts: 154000 | #Constraints: 37791
170.23/170.78 c #Conflicts: 155000 | #Constraints: 38791
170.23/170.78 c #Conflicts: 156000 | #Constraints: 39791
170.23/170.78 c #Conflicts: 157000 | #Constraints: 40791
170.23/170.78 c #Conflicts: 158000 | #Constraints: 41791
170.23/170.78 c #Conflicts: 159000 | #Constraints: 42791
170.23/170.78 c INPROCESSING
170.23/170.78 c GARBAGE COLLECT
170.23/170.78 c #Conflicts: 160000 | #Constraints: 24830
170.23/170.78 c #Conflicts: 161000 | #Constraints: 25830
170.23/170.78 c #Conflicts: 162000 | #Constraints: 26830
170.23/170.78 c #Conflicts: 163000 | #Constraints: 27830
170.23/170.78 c #Conflicts: 164000 | #Constraints: 28830
170.23/170.78 c #Conflicts: 165000 | #Constraints: 29830
170.23/170.78 c #Conflicts: 166000 | #Constraints: 30830
170.23/170.78 c #Conflicts: 167000 | #Constraints: 31830
170.23/170.78 c #Conflicts: 168000 | #Constraints: 32830
170.23/170.78 c #Conflicts: 169000 | #Constraints: 33830
170.23/170.78 c INPROCESSING
170.23/170.78 c GARBAGE COLLECT
170.23/170.78 c #Conflicts: 170000 | #Constraints: 20506
170.23/170.78 c #Conflicts: 171000 | #Constraints: 21506
170.23/170.78 c #Conflicts: 172000 | #Constraints: 22506
170.23/170.78 c #Conflicts: 173000 | #Constraints: 23506
170.23/170.78 c #Conflicts: 174000 | #Constraints: 24506
170.23/170.78 c #Conflicts: 175000 | #Constraints: 25506
170.23/170.78 c #Conflicts: 176000 | #Constraints: 26506
170.23/170.78 c #Conflicts: 177000 | #Constraints: 27506
170.23/170.78 c #Conflicts: 178000 | #Constraints: 28506
170.23/170.78 c #Conflicts: 179000 | #Constraints: 29506
170.23/170.78 c INPROCESSING
170.23/170.78 c GARBAGE COLLECT
170.23/170.78 c #Conflicts: 180000 | #Constraints: 18341
170.23/170.78 c #Conflicts: 181000 | #Constraints: 19341
170.23/170.78 c #Conflicts: 182000 | #Constraints: 20341
170.23/170.78 c #Conflicts: 183000 | #Constraints: 21341
170.23/170.78 c #Conflicts: 184000 | #Constraints: 22341
170.23/170.78 c #Conflicts: 185000 | #Constraints: 23341
170.23/170.78 c #Conflicts: 186000 | #Constraints: 24341
170.23/170.78 c #Conflicts: 187000 | #Constraints: 25341
170.23/170.78 c #Conflicts: 188000 | #Constraints: 26341
170.23/170.78 c #Conflicts: 189000 | #Constraints: 27341
170.23/170.78 c #Conflicts: 190000 | #Constraints: 28341
170.23/170.78 c #Conflicts: 191000 | #Constraints: 29341
170.23/170.78 c #Conflicts: 192000 | #Constraints: 30341
170.23/170.78 c #Conflicts: 193000 | #Constraints: 31341
170.23/170.78 c #Conflicts: 194000 | #Constraints: 32341
170.23/170.78 c #Conflicts: 195000 | #Constraints: 33341
170.23/170.78 c #Conflicts: 196000 | #Constraints: 34341
170.23/170.78 c #Conflicts: 197000 | #Constraints: 35341
170.23/170.78 c #Conflicts: 198000 | #Constraints: 36342
170.23/170.78 c #Conflicts: 199000 | #Constraints: 37342
170.23/170.78 c #Conflicts: 200000 | #Constraints: 38342
170.23/170.78 c #Conflicts: 201000 | #Constraints: 39342
170.23/170.78 c #Conflicts: 202000 | #Constraints: 40342
170.23/170.78 c #Conflicts: 203000 | #Constraints: 41342
170.23/170.78 c #Conflicts: 204000 | #Constraints: 42342
170.23/170.78 c #Conflicts: 205000 | #Constraints: 43342
170.23/170.78 c #Conflicts: 206000 | #Constraints: 44342
170.23/170.78 c #Conflicts: 207000 | #Constraints: 45342
170.23/170.78 c #Conflicts: 208000 | #Constraints: 46342
170.23/170.78 c #Conflicts: 209000 | #Constraints: 47342
170.23/170.78 c #Conflicts: 210000 | #Constraints: 48342
170.23/170.78 c #Conflicts: 211000 | #Constraints: 49342
170.23/170.78 c INPROCESSING
170.23/170.78 c GARBAGE COLLECT
170.23/170.78 c rational objective 1.13243e-13
229.50/230.17 c #Conflicts: 212000 | #Constraints: 28356
229.50/230.17 c #Conflicts: 213000 | #Constraints: 29356
229.50/230.17 c #Conflicts: 214000 | #Constraints: 30356
229.50/230.17 c #Conflicts: 215000 | #Constraints: 31356
229.50/230.17 c #Conflicts: 216000 | #Constraints: 32356
229.50/230.17 c #Conflicts: 217000 | #Constraints: 33356
229.50/230.17 c #Conflicts: 218000 | #Constraints: 34356
229.50/230.17 c #Conflicts: 219000 | #Constraints: 35356
229.50/230.17 c #Conflicts: 220000 | #Constraints: 36356
229.50/230.17 c #Conflicts: 221000 | #Constraints: 37356
229.50/230.17 c #Conflicts: 222000 | #Constraints: 38356
229.50/230.17 c INPROCESSING
229.50/230.17 c GARBAGE COLLECT
229.50/230.17 c #Conflicts: 223000 | #Constraints: 22664
229.50/230.17 c #Conflicts: 224000 | #Constraints: 23664
229.50/230.17 c #Conflicts: 225000 | #Constraints: 24664
229.50/230.17 c #Conflicts: 226000 | #Constraints: 25664
229.50/230.17 c #Conflicts: 227000 | #Constraints: 26664
229.50/230.17 c #Conflicts: 228000 | #Constraints: 27664
229.50/230.17 c #Conflicts: 229000 | #Constraints: 28664
229.50/230.17 c #Conflicts: 230000 | #Constraints: 29664
229.50/230.17 c #Conflicts: 231000 | #Constraints: 30664
229.50/230.17 c #Conflicts: 232000 | #Constraints: 31664
229.50/230.17 c #Conflicts: 233000 | #Constraints: 32664
229.50/230.17 c #Conflicts: 234000 | #Constraints: 33664
229.50/230.17 c INPROCESSING
229.50/230.17 c GARBAGE COLLECT
229.50/230.17 c #Conflicts: 235000 | #Constraints: 20595
229.50/230.17 c #Conflicts: 236000 | #Constraints: 21595
229.50/230.17 c #Conflicts: 237000 | #Constraints: 22595
229.50/230.17 c #Conflicts: 238000 | #Constraints: 23595
229.50/230.17 c #Conflicts: 239000 | #Constraints: 24595
229.50/230.17 c #Conflicts: 240000 | #Constraints: 25595
229.50/230.17 c #Conflicts: 241000 | #Constraints: 26595
229.50/230.17 c #Conflicts: 242000 | #Constraints: 27595
229.50/230.17 c #Conflicts: 243000 | #Constraints: 28595
229.50/230.17 c #Conflicts: 244000 | #Constraints: 29595
229.50/230.17 c #Conflicts: 245000 | #Constraints: 30595
229.50/230.17 c #Conflicts: 246000 | #Constraints: 31595
229.50/230.17 c #Conflicts: 247000 | #Constraints: 32595
229.50/230.17 c #Conflicts: 248000 | #Constraints: 33595
229.50/230.17 c #Conflicts: 249000 | #Constraints: 34595
229.50/230.17 c #Conflicts: 250000 | #Constraints: 35595
229.50/230.17 c #Conflicts: 251000 | #Constraints: 36595
229.50/230.17 c #Conflicts: 252000 | #Constraints: 37595
229.50/230.17 c #Conflicts: 253000 | #Constraints: 38595
229.50/230.17 c #Conflicts: 254000 | #Constraints: 39595
229.50/230.17 c #Conflicts: 255000 | #Constraints: 40596
229.50/230.17 c #Conflicts: 256000 | #Constraints: 41596
229.50/230.17 c #Conflicts: 257000 | #Constraints: 42596
229.50/230.17 c #Conflicts: 258000 | #Constraints: 43596
229.50/230.17 c #Conflicts: 259000 | #Constraints: 44596
229.50/230.17 c #Conflicts: 260000 | #Constraints: 45596
229.50/230.17 c #Conflicts: 261000 | #Constraints: 46596
229.50/230.17 c #Conflicts: 262000 | #Constraints: 47596
229.50/230.17 c #Conflicts: 263000 | #Constraints: 48596
229.50/230.17 c #Conflicts: 264000 | #Constraints: 49596
229.50/230.17 c #Conflicts: 265000 | #Constraints: 50596
229.50/230.17 c #Conflicts: 266000 | #Constraints: 51596
229.50/230.17 c #Conflicts: 267000 | #Constraints: 52596
229.50/230.17 c #Conflicts: 268000 | #Constraints: 53596
229.50/230.17 c #Conflicts: 269000 | #Constraints: 54596
229.50/230.17 c #Conflicts: 270000 | #Constraints: 55596
229.50/230.17 c INPROCESSING
229.50/230.17 c GARBAGE COLLECT
229.50/230.17 c rational objective 1.13243e-13
305.40/306.28 c #Conflicts: 271000 | #Constraints: 31678
305.40/306.28 c #Conflicts: 272000 | #Constraints: 32678
305.40/306.28 c #Conflicts: 273000 | #Constraints: 33678
305.40/306.28 c #Conflicts: 274000 | #Constraints: 34678
305.40/306.28 c #Conflicts: 275000 | #Constraints: 35678
305.40/306.28 c #Conflicts: 276000 | #Constraints: 36678
305.40/306.28 c #Conflicts: 277000 | #Constraints: 37678
305.40/306.28 c #Conflicts: 278000 | #Constraints: 38678
305.40/306.28 c #Conflicts: 279000 | #Constraints: 39678
305.40/306.28 c #Conflicts: 280000 | #Constraints: 40678
305.40/306.28 c #Conflicts: 281000 | #Constraints: 41678
305.40/306.28 c #Conflicts: 282000 | #Constraints: 42678
305.40/306.28 c INPROCESSING
305.40/306.28 c GARBAGE COLLECT
305.40/306.28 c #Conflicts: 283000 | #Constraints: 24743
305.40/306.28 c #Conflicts: 284000 | #Constraints: 25743
305.40/306.28 c #Conflicts: 285000 | #Constraints: 26743
305.40/306.28 c #Conflicts: 286000 | #Constraints: 27743
305.40/306.28 c #Conflicts: 287000 | #Constraints: 28743
305.40/306.28 c #Conflicts: 288000 | #Constraints: 29743
305.40/306.28 c #Conflicts: 289000 | #Constraints: 30743
305.40/306.28 c #Conflicts: 290000 | #Constraints: 31743
305.40/306.28 c #Conflicts: 291000 | #Constraints: 32743
305.40/306.28 c #Conflicts: 292000 | #Constraints: 33743
305.40/306.28 c #Conflicts: 293000 | #Constraints: 34743
305.40/306.28 c #Conflicts: 294000 | #Constraints: 35743
305.40/306.28 c #Conflicts: 295000 | #Constraints: 36743
305.40/306.28 c INPROCESSING
305.40/306.28 c GARBAGE COLLECT
305.40/306.28 c #Conflicts: 296000 | #Constraints: 21826
305.40/306.28 c #Conflicts: 297000 | #Constraints: 22826
305.40/306.28 c #Conflicts: 298000 | #Constraints: 23826
305.40/306.28 c #Conflicts: 299000 | #Constraints: 24826
305.40/306.28 c #Conflicts: 300000 | #Constraints: 25826
305.40/306.28 c #Conflicts: 301000 | #Constraints: 26826
305.40/306.28 c #Conflicts: 302000 | #Constraints: 27826
305.40/306.28 c #Conflicts: 303000 | #Constraints: 28826
305.40/306.28 c #Conflicts: 304000 | #Constraints: 29826
305.40/306.28 c #Conflicts: 305000 | #Constraints: 30826
305.40/306.28 c #Conflicts: 306000 | #Constraints: 31827
305.40/306.28 c #Conflicts: 307000 | #Constraints: 32827
305.40/306.28 c #Conflicts: 308000 | #Constraints: 33827
305.40/306.28 c #Conflicts: 309000 | #Constraints: 34827
305.40/306.28 c #Conflicts: 310000 | #Constraints: 35827
305.40/306.28 c #Conflicts: 311000 | #Constraints: 36827
305.40/306.28 c #Conflicts: 312000 | #Constraints: 37827
305.40/306.28 c #Conflicts: 313000 | #Constraints: 38827
305.40/306.28 c #Conflicts: 314000 | #Constraints: 39827
305.40/306.28 c #Conflicts: 315000 | #Constraints: 40827
305.40/306.28 c #Conflicts: 316000 | #Constraints: 41827
305.40/306.28 c #Conflicts: 317000 | #Constraints: 42827
305.40/306.28 c #Conflicts: 318000 | #Constraints: 43827
305.40/306.28 c #Conflicts: 319000 | #Constraints: 44827
305.40/306.28 c #Conflicts: 320000 | #Constraints: 45827
305.40/306.28 c #Conflicts: 321000 | #Constraints: 46827
305.40/306.28 c #Conflicts: 322000 | #Constraints: 47827
305.40/306.28 c #Conflicts: 323000 | #Constraints: 48827
305.40/306.28 c #Conflicts: 324000 | #Constraints: 49827
305.40/306.28 c #Conflicts: 325000 | #Constraints: 50827
305.40/306.28 c #Conflicts: 326000 | #Constraints: 51827
305.40/306.28 c #Conflicts: 327000 | #Constraints: 52827
305.40/306.28 c #Conflicts: 328000 | #Constraints: 53827
305.40/306.28 c #Conflicts: 329000 | #Constraints: 54827
305.40/306.28 c #Conflicts: 330000 | #Constraints: 55827
305.40/306.28 c #Conflicts: 331000 | #Constraints: 56827
305.40/306.28 c #Conflicts: 332000 | #Constraints: 57827
305.40/306.28 c #Conflicts: 333000 | #Constraints: 58827
305.40/306.28 c #Conflicts: 334000 | #Constraints: 59827
305.40/306.28 c #Conflicts: 335000 | #Constraints: 60827
305.40/306.28 c #Conflicts: 336000 | #Constraints: 61827
305.40/306.28 c INPROCESSING
305.40/306.28 c GARBAGE COLLECT
305.40/306.28 c rational objective 1.13243e-13
320.17/321.10 c #Conflicts: 337000 | #Constraints: 34722
320.17/321.10 c #Conflicts: 338000 | #Constraints: 35722
320.17/321.10 c #Conflicts: 339000 | #Constraints: 36722
320.17/321.10 c #Conflicts: 340000 | #Constraints: 37722
320.17/321.10 c #Conflicts: 341000 | #Constraints: 38722
320.17/321.10 c #Conflicts: 342000 | #Constraints: 39722
320.17/321.10 c #Conflicts: 343000 | #Constraints: 40722
320.17/321.10 c #Conflicts: 344000 | #Constraints: 41722
320.17/321.10 c #Conflicts: 345000 | #Constraints: 42722
320.17/321.10 c #Conflicts: 346000 | #Constraints: 43722
320.17/321.10 c #Conflicts: 347000 | #Constraints: 44722
320.17/321.10 c #Conflicts: 348000 | #Constraints: 45722
320.17/321.10 c #Conflicts: 349000 | #Constraints: 46722
320.17/321.10 c #Conflicts: 350000 | #Constraints: 47722
320.17/321.10 c INPROCESSING
320.17/321.10 c GARBAGE COLLECT
320.17/321.10 c rational objective 1.13243e-13
336.23/337.17 c #Conflicts: 351000 | #Constraints: 27648
336.23/337.17 c #Conflicts: 352000 | #Constraints: 28648
336.23/337.17 c #Conflicts: 353000 | #Constraints: 29649
336.23/337.17 c #Conflicts: 354000 | #Constraints: 30649
336.23/337.17 c #Conflicts: 355000 | #Constraints: 31649
336.23/337.17 c #Conflicts: 356000 | #Constraints: 32649
336.23/337.17 c #Conflicts: 357000 | #Constraints: 33649
336.23/337.17 c #Conflicts: 358000 | #Constraints: 34649
336.23/337.17 c #Conflicts: 359000 | #Constraints: 35649
336.23/337.17 c #Conflicts: 360000 | #Constraints: 36649
336.23/337.17 c #Conflicts: 361000 | #Constraints: 37650
336.23/337.17 c #Conflicts: 362000 | #Constraints: 38650
336.23/337.17 c #Conflicts: 363000 | #Constraints: 39650
336.23/337.17 c #Conflicts: 364000 | #Constraints: 40650
336.23/337.17 c INPROCESSING
336.23/337.17 c GARBAGE COLLECT
336.23/337.17 c rational objective 1.13243e-13
431.49/432.62 c #Conflicts: 365000 | #Constraints: 23918
431.49/432.62 c #Conflicts: 366000 | #Constraints: 24918
431.49/432.62 c #Conflicts: 367000 | #Constraints: 25918
431.49/432.62 c #Conflicts: 368000 | #Constraints: 26918
431.49/432.62 c #Conflicts: 369000 | #Constraints: 27918
431.49/432.62 c #Conflicts: 370000 | #Constraints: 28918
431.49/432.62 c #Conflicts: 371000 | #Constraints: 29918
431.49/432.62 c #Conflicts: 372000 | #Constraints: 30918
431.49/432.62 c #Conflicts: 373000 | #Constraints: 31918
431.49/432.62 c #Conflicts: 374000 | #Constraints: 32918
431.49/432.62 c #Conflicts: 375000 | #Constraints: 33918
431.49/432.62 c #Conflicts: 376000 | #Constraints: 34918
431.49/432.62 c #Conflicts: 377000 | #Constraints: 35918
431.49/432.62 c #Conflicts: 378000 | #Constraints: 36918
431.49/432.62 c #Conflicts: 379000 | #Constraints: 37918
431.49/432.62 c #Conflicts: 380000 | #Constraints: 38918
431.49/432.62 c #Conflicts: 381000 | #Constraints: 39918
431.49/432.62 c #Conflicts: 382000 | #Constraints: 40918
431.49/432.62 c #Conflicts: 383000 | #Constraints: 41918
431.49/432.62 c #Conflicts: 384000 | #Constraints: 42919
431.49/432.62 c #Conflicts: 385000 | #Constraints: 43919
431.49/432.62 c #Conflicts: 386000 | #Constraints: 44919
431.49/432.62 c #Conflicts: 387000 | #Constraints: 45919
431.49/432.62 c #Conflicts: 388000 | #Constraints: 46919
431.49/432.62 c #Conflicts: 389000 | #Constraints: 47919
431.49/432.62 c #Conflicts: 390000 | #Constraints: 48919
431.49/432.62 c #Conflicts: 391000 | #Constraints: 49919
431.49/432.62 c #Conflicts: 392000 | #Constraints: 50919
431.49/432.62 c #Conflicts: 393000 | #Constraints: 51919
431.49/432.62 c #Conflicts: 394000 | #Constraints: 52919
431.49/432.62 c #Conflicts: 395000 | #Constraints: 53919
431.49/432.62 c #Conflicts: 396000 | #Constraints: 54919
431.49/432.62 c #Conflicts: 397000 | #Constraints: 55919
431.49/432.62 c #Conflicts: 398000 | #Constraints: 56919
431.49/432.62 c #Conflicts: 399000 | #Constraints: 57919
431.49/432.62 c #Conflicts: 400000 | #Constraints: 58919
431.49/432.62 c #Conflicts: 401000 | #Constraints: 59919
431.49/432.62 c #Conflicts: 402000 | #Constraints: 60920
431.49/432.62 c #Conflicts: 403000 | #Constraints: 61920
431.49/432.62 c #Conflicts: 404000 | #Constraints: 62920
431.49/432.62 c #Conflicts: 405000 | #Constraints: 63920
431.49/432.62 c #Conflicts: 406000 | #Constraints: 64920
431.49/432.62 c #Conflicts: 407000 | #Constraints: 65920
431.49/432.62 c #Conflicts: 408000 | #Constraints: 66920
431.49/432.62 c #Conflicts: 409000 | #Constraints: 67920
431.49/432.62 c INPROCESSING
431.49/432.62 c GARBAGE COLLECT
431.49/432.62 c rational objective 1.13243e-13
449.63/450.87 c #Conflicts: 410000 | #Constraints: 37752
449.63/450.87 c #Conflicts: 411000 | #Constraints: 38752
449.63/450.87 c #Conflicts: 412000 | #Constraints: 39752
449.63/450.87 c #Conflicts: 413000 | #Constraints: 40752
449.63/450.87 c #Conflicts: 414000 | #Constraints: 41752
449.63/450.87 c #Conflicts: 415000 | #Constraints: 42752
449.63/450.87 c #Conflicts: 416000 | #Constraints: 43752
449.63/450.87 c #Conflicts: 417000 | #Constraints: 44752
449.63/450.87 c #Conflicts: 418000 | #Constraints: 45752
449.63/450.87 c #Conflicts: 419000 | #Constraints: 46752
449.63/450.87 c #Conflicts: 420000 | #Constraints: 47752
449.63/450.87 c #Conflicts: 421000 | #Constraints: 48752
449.63/450.87 c #Conflicts: 422000 | #Constraints: 49752
449.63/450.87 c #Conflicts: 423000 | #Constraints: 50752
449.63/450.87 c #Conflicts: 424000 | #Constraints: 51752
449.63/450.87 c #Conflicts: 425000 | #Constraints: 52752
449.63/450.87 c INPROCESSING
449.63/450.87 c GARBAGE COLLECT
449.63/450.87 c rational objective 1.13243e-13
645.58/647.34 c #Conflicts: 426000 | #Constraints: 30263
645.58/647.34 c #Conflicts: 427000 | #Constraints: 31263
645.58/647.34 c #Conflicts: 428000 | #Constraints: 32263
645.58/647.34 c #Conflicts: 429000 | #Constraints: 33263
645.58/647.34 c #Conflicts: 430000 | #Constraints: 34263
645.58/647.34 c #Conflicts: 431000 | #Constraints: 35263
645.58/647.34 c #Conflicts: 432000 | #Constraints: 36263
645.58/647.34 c #Conflicts: 433000 | #Constraints: 37263
645.58/647.34 c #Conflicts: 434000 | #Constraints: 38263
645.58/647.34 c #Conflicts: 435000 | #Constraints: 39263
645.58/647.34 c #Conflicts: 436000 | #Constraints: 40263
645.58/647.34 c #Conflicts: 437000 | #Constraints: 41263
645.58/647.34 c #Conflicts: 438000 | #Constraints: 42263
645.58/647.34 c #Conflicts: 439000 | #Constraints: 43263
645.58/647.34 c #Conflicts: 440000 | #Constraints: 44263
645.58/647.34 c #Conflicts: 441000 | #Constraints: 45263
645.58/647.34 c INPROCESSING
645.58/647.34 c GARBAGE COLLECT
645.58/647.34 c #Conflicts: 442000 | #Constraints: 27450
645.58/647.34 c #Conflicts: 443000 | #Constraints: 28450
645.58/647.34 c #Conflicts: 444000 | #Constraints: 29450
645.58/647.34 c #Conflicts: 445000 | #Constraints: 30450
645.58/647.34 c #Conflicts: 446000 | #Constraints: 31450
645.58/647.34 c #Conflicts: 447000 | #Constraints: 32450
645.58/647.34 c #Conflicts: 448000 | #Constraints: 33450
645.58/647.34 c #Conflicts: 449000 | #Constraints: 34450
645.58/647.34 c #Conflicts: 450000 | #Constraints: 35450
645.58/647.34 c #Conflicts: 451000 | #Constraints: 36450
645.58/647.34 c #Conflicts: 452000 | #Constraints: 37450
645.58/647.34 c #Conflicts: 453000 | #Constraints: 38450
645.58/647.34 c #Conflicts: 454000 | #Constraints: 39450
645.58/647.34 c #Conflicts: 455000 | #Constraints: 40450
645.58/647.34 c #Conflicts: 456000 | #Constraints: 41450
645.58/647.34 c #Conflicts: 457000 | #Constraints: 42450
645.58/647.34 c #Conflicts: 458000 | #Constraints: 43450
645.58/647.34 c #Conflicts: 459000 | #Constraints: 44450
645.58/647.34 c #Conflicts: 460000 | #Constraints: 45450
645.58/647.34 c #Conflicts: 461000 | #Constraints: 46450
645.58/647.34 c #Conflicts: 462000 | #Constraints: 47450
645.58/647.34 c #Conflicts: 463000 | #Constraints: 48450
645.58/647.34 c #Conflicts: 464000 | #Constraints: 49450
645.58/647.34 c #Conflicts: 465000 | #Constraints: 50450
645.58/647.34 c #Conflicts: 466000 | #Constraints: 51450
645.58/647.34 c #Conflicts: 467000 | #Constraints: 52450
645.58/647.34 c #Conflicts: 468000 | #Constraints: 53450
645.58/647.34 c #Conflicts: 469000 | #Constraints: 54450
645.58/647.34 c #Conflicts: 470000 | #Constraints: 55450
645.58/647.34 c #Conflicts: 471000 | #Constraints: 56450
645.58/647.34 c #Conflicts: 472000 | #Constraints: 57450
645.58/647.34 c #Conflicts: 473000 | #Constraints: 58450
645.58/647.34 c #Conflicts: 474000 | #Constraints: 59450
645.58/647.34 c #Conflicts: 475000 | #Constraints: 60450
645.58/647.34 c #Conflicts: 476000 | #Constraints: 61450
645.58/647.34 c #Conflicts: 477000 | #Constraints: 62450
645.58/647.34 c #Conflicts: 478000 | #Constraints: 63450
645.58/647.34 c #Conflicts: 479000 | #Constraints: 64450
645.58/647.34 c #Conflicts: 480000 | #Constraints: 65450
645.58/647.34 c #Conflicts: 481000 | #Constraints: 66450
645.58/647.34 c #Conflicts: 482000 | #Constraints: 67450
645.58/647.34 c #Conflicts: 483000 | #Constraints: 68450
645.58/647.34 c #Conflicts: 484000 | #Constraints: 69450
645.58/647.34 c #Conflicts: 485000 | #Constraints: 70450
645.58/647.34 c #Conflicts: 486000 | #Constraints: 71450
645.58/647.34 c #Conflicts: 487000 | #Constraints: 72450
645.58/647.34 c #Conflicts: 488000 | #Constraints: 73450
645.58/647.34 c #Conflicts: 489000 | #Constraints: 74450
645.58/647.34 c INPROCESSING
645.58/647.34 c GARBAGE COLLECT
645.58/647.34 c rational objective 2.26485e-13
785.70/787.86 c #Conflicts: 490000 | #Constraints: 40870
785.70/787.86 c #Conflicts: 491000 | #Constraints: 41870
785.70/787.86 c #Conflicts: 492000 | #Constraints: 42870
785.70/787.86 c #Conflicts: 493000 | #Constraints: 43870
785.70/787.86 c #Conflicts: 494000 | #Constraints: 44870
785.70/787.86 c #Conflicts: 495000 | #Constraints: 45870
785.70/787.86 c #Conflicts: 496000 | #Constraints: 46870
785.70/787.86 c #Conflicts: 497000 | #Constraints: 47870
785.70/787.86 c #Conflicts: 498000 | #Constraints: 48870
785.70/787.86 c #Conflicts: 499000 | #Constraints: 49870
785.70/787.86 c #Conflicts: 500000 | #Constraints: 50870
785.70/787.86 c #Conflicts: 501000 | #Constraints: 51870
785.70/787.86 c #Conflicts: 502000 | #Constraints: 52870
785.70/787.86 c #Conflicts: 503000 | #Constraints: 53870
785.70/787.86 c #Conflicts: 504000 | #Constraints: 54870
785.70/787.86 c #Conflicts: 505000 | #Constraints: 55870
785.70/787.86 c #Conflicts: 506000 | #Constraints: 56870
785.70/787.86 c INPROCESSING
785.70/787.86 c GARBAGE COLLECT
785.70/787.86 c #Conflicts: 507000 | #Constraints: 31859
785.70/787.86 c #Conflicts: 508000 | #Constraints: 32859
785.70/787.86 c #Conflicts: 509000 | #Constraints: 33859
785.70/787.86 c #Conflicts: 510000 | #Constraints: 34859
785.70/787.86 c #Conflicts: 511000 | #Constraints: 35859
785.70/787.86 c #Conflicts: 512000 | #Constraints: 36859
785.70/787.86 c #Conflicts: 513000 | #Constraints: 37859
785.70/787.86 c #Conflicts: 514000 | #Constraints: 38859
785.70/787.86 c #Conflicts: 515000 | #Constraints: 39859
785.70/787.86 c #Conflicts: 516000 | #Constraints: 40859
785.70/787.86 c #Conflicts: 517000 | #Constraints: 41859
785.70/787.86 c #Conflicts: 518000 | #Constraints: 42859
785.70/787.86 c #Conflicts: 519000 | #Constraints: 43859
785.70/787.86 c #Conflicts: 520000 | #Constraints: 44859
785.70/787.86 c #Conflicts: 521000 | #Constraints: 45859
785.70/787.86 c #Conflicts: 522000 | #Constraints: 46859
785.70/787.86 c #Conflicts: 523000 | #Constraints: 47859
785.70/787.86 c #Conflicts: 524000 | #Constraints: 48859
785.70/787.86 c INPROCESSING
785.70/787.86 c GARBAGE COLLECT
785.70/787.86 c #Conflicts: 525000 | #Constraints: 28509
785.70/787.86 c #Conflicts: 526000 | #Constraints: 29509
785.70/787.86 c #Conflicts: 527000 | #Constraints: 30509
785.70/787.86 c #Conflicts: 528000 | #Constraints: 31509
785.70/787.86 c #Conflicts: 529000 | #Constraints: 32509
785.70/787.86 c #Conflicts: 530000 | #Constraints: 33509
785.70/787.86 c #Conflicts: 531000 | #Constraints: 34509
785.70/787.86 c #Conflicts: 532000 | #Constraints: 35509
785.70/787.86 c #Conflicts: 533000 | #Constraints: 36509
785.70/787.86 c #Conflicts: 534000 | #Constraints: 37509
785.70/787.86 c #Conflicts: 535000 | #Constraints: 38509
785.70/787.86 c #Conflicts: 536000 | #Constraints: 39509
785.70/787.86 c #Conflicts: 537000 | #Constraints: 40509
785.70/787.86 c #Conflicts: 538000 | #Constraints: 41509
785.70/787.86 c #Conflicts: 539000 | #Constraints: 42509
785.70/787.86 c #Conflicts: 540000 | #Constraints: 43509
785.70/787.86 c #Conflicts: 541000 | #Constraints: 44509
785.70/787.86 c #Conflicts: 542000 | #Constraints: 45509
785.70/787.86 c #Conflicts: 543000 | #Constraints: 46509
785.70/787.86 c #Conflicts: 544000 | #Constraints: 47509
785.70/787.86 c #Conflicts: 545000 | #Constraints: 48509
785.70/787.86 c #Conflicts: 546000 | #Constraints: 49509
785.70/787.86 c #Conflicts: 547000 | #Constraints: 50509
785.70/787.86 c #Conflicts: 548000 | #Constraints: 51509
785.70/787.86 c #Conflicts: 549000 | #Constraints: 52509
785.70/787.86 c #Conflicts: 550000 | #Constraints: 53509
785.70/787.86 c #Conflicts: 551000 | #Constraints: 54509
785.70/787.86 c #Conflicts: 552000 | #Constraints: 55509
785.70/787.86 c #Conflicts: 553000 | #Constraints: 56509
785.70/787.86 c #Conflicts: 554000 | #Constraints: 57509
785.70/787.86 c #Conflicts: 555000 | #Constraints: 58509
785.70/787.86 c #Conflicts: 556000 | #Constraints: 59509
785.70/787.86 c #Conflicts: 557000 | #Constraints: 60509
785.70/787.86 c #Conflicts: 558000 | #Constraints: 61509
785.70/787.86 c #Conflicts: 559000 | #Constraints: 62509
785.70/787.86 c #Conflicts: 560000 | #Constraints: 63509
785.70/787.86 c #Conflicts: 561000 | #Constraints: 64509
785.70/787.86 c #Conflicts: 562000 | #Constraints: 65509
785.70/787.86 c #Conflicts: 563000 | #Constraints: 66509
785.70/787.86 c #Conflicts: 564000 | #Constraints: 67509
785.70/787.86 c #Conflicts: 565000 | #Constraints: 68509
785.70/787.86 c #Conflicts: 566000 | #Constraints: 69509
785.70/787.86 c #Conflicts: 567000 | #Constraints: 70509
811.44/813.63 c #Conflicts: 568000 | #Constraints: 71509
811.44/813.63 c #Conflicts: 569000 | #Constraints: 72509
811.44/813.63 c #Conflicts: 570000 | #Constraints: 73509
811.44/813.63 c #Conflicts: 571000 | #Constraints: 74509
811.44/813.63 c #Conflicts: 572000 | #Constraints: 75509
811.44/813.63 c #Conflicts: 573000 | #Constraints: 76509
811.44/813.63 c #Conflicts: 574000 | #Constraints: 77509
811.44/813.63 c #Conflicts: 575000 | #Constraints: 78509
811.44/813.63 c #Conflicts: 576000 | #Constraints: 79509
811.44/813.63 c #Conflicts: 577000 | #Constraints: 80509
811.44/813.63 c INPROCESSING
811.44/813.63 c GARBAGE COLLECT
811.44/813.63 c rational objective 1.13243e-13
912.79/915.25 c #Conflicts: 578000 | #Constraints: 44075
912.79/915.25 c #Conflicts: 579000 | #Constraints: 45075
912.79/915.25 c #Conflicts: 580000 | #Constraints: 46075
912.79/915.25 c #Conflicts: 581000 | #Constraints: 47075
912.79/915.25 c #Conflicts: 582000 | #Constraints: 48075
912.79/915.25 c #Conflicts: 583000 | #Constraints: 49075
912.79/915.25 c #Conflicts: 584000 | #Constraints: 50075
912.79/915.25 c #Conflicts: 585000 | #Constraints: 51075
912.79/915.25 c #Conflicts: 586000 | #Constraints: 52075
912.79/915.25 c #Conflicts: 587000 | #Constraints: 53075
912.79/915.25 c #Conflicts: 588000 | #Constraints: 54075
912.79/915.25 c #Conflicts: 589000 | #Constraints: 55075
912.79/915.25 c #Conflicts: 590000 | #Constraints: 56075
912.79/915.25 c #Conflicts: 591000 | #Constraints: 57075
912.79/915.25 c #Conflicts: 592000 | #Constraints: 58075
912.79/915.25 c #Conflicts: 593000 | #Constraints: 59075
912.79/915.25 c #Conflicts: 594000 | #Constraints: 60075
912.79/915.25 c #Conflicts: 595000 | #Constraints: 61075
912.79/915.25 c #Conflicts: 596000 | #Constraints: 62075
912.79/915.25 c INPROCESSING
912.79/915.25 c GARBAGE COLLECT
912.79/915.25 c #Conflicts: 597000 | #Constraints: 34995
912.79/915.25 c #Conflicts: 598000 | #Constraints: 35995
912.79/915.25 c #Conflicts: 599000 | #Constraints: 36995
912.79/915.25 c #Conflicts: 600000 | #Constraints: 37995
912.79/915.25 c #Conflicts: 601000 | #Constraints: 38995
912.79/915.25 c #Conflicts: 602000 | #Constraints: 39995
912.79/915.25 c #Conflicts: 603000 | #Constraints: 40995
912.79/915.25 c #Conflicts: 604000 | #Constraints: 41995
912.79/915.25 c #Conflicts: 605000 | #Constraints: 42995
912.79/915.25 c #Conflicts: 606000 | #Constraints: 43995
912.79/915.25 c #Conflicts: 607000 | #Constraints: 44995
912.79/915.25 c #Conflicts: 608000 | #Constraints: 45995
912.79/915.25 c #Conflicts: 609000 | #Constraints: 46995
912.79/915.25 c #Conflicts: 610000 | #Constraints: 47995
912.79/915.25 c #Conflicts: 611000 | #Constraints: 48995
912.79/915.25 c #Conflicts: 612000 | #Constraints: 49995
912.79/915.25 c #Conflicts: 613000 | #Constraints: 50995
912.79/915.25 c #Conflicts: 614000 | #Constraints: 51995
912.79/915.25 c #Conflicts: 615000 | #Constraints: 52995
912.79/915.25 c INPROCESSING
912.79/915.25 c GARBAGE COLLECT
912.79/915.25 c #Conflicts: 616000 | #Constraints: 31655
912.79/915.25 c #Conflicts: 617000 | #Constraints: 32655
912.79/915.25 c #Conflicts: 618000 | #Constraints: 33655
912.79/915.25 c #Conflicts: 619000 | #Constraints: 34655
912.79/915.25 c #Conflicts: 620000 | #Constraints: 35655
912.79/915.25 c #Conflicts: 621000 | #Constraints: 36655
912.79/915.25 c #Conflicts: 622000 | #Constraints: 37655
912.79/915.25 c #Conflicts: 623000 | #Constraints: 38655
912.79/915.25 c #Conflicts: 624000 | #Constraints: 39655
912.79/915.25 c #Conflicts: 625000 | #Constraints: 40655
912.79/915.25 c #Conflicts: 626000 | #Constraints: 41655
912.79/915.25 c #Conflicts: 627000 | #Constraints: 42655
912.79/915.25 c #Conflicts: 628000 | #Constraints: 43655
912.79/915.25 c #Conflicts: 629000 | #Constraints: 44655
912.79/915.25 c #Conflicts: 630000 | #Constraints: 45655
912.79/915.25 c #Conflicts: 631000 | #Constraints: 46655
912.79/915.25 c #Conflicts: 632000 | #Constraints: 47655
912.79/915.25 c #Conflicts: 633000 | #Constraints: 48655
912.79/915.25 c #Conflicts: 634000 | #Constraints: 49655
912.79/915.25 c #Conflicts: 635000 | #Constraints: 50655
912.79/915.25 c #Conflicts: 636000 | #Constraints: 51655
912.79/915.25 c #Conflicts: 637000 | #Constraints: 52655
912.79/915.25 c #Conflicts: 638000 | #Constraints: 53655
912.79/915.25 c #Conflicts: 639000 | #Constraints: 54655
912.79/915.25 c #Conflicts: 640000 | #Constraints: 55655
912.79/915.25 c #Conflicts: 641000 | #Constraints: 56655
912.79/915.25 c #Conflicts: 642000 | #Constraints: 57655
912.79/915.25 c #Conflicts: 643000 | #Constraints: 58655
912.79/915.25 c #Conflicts: 644000 | #Constraints: 59655
912.79/915.25 c #Conflicts: 645000 | #Constraints: 60655
912.79/915.25 c #Conflicts: 646000 | #Constraints: 61655
912.79/915.25 c #Conflicts: 647000 | #Constraints: 62655
912.79/915.25 c #Conflicts: 648000 | #Constraints: 63655
912.79/915.25 c #Conflicts: 649000 | #Constraints: 64655
912.79/915.25 c #Conflicts: 650000 | #Constraints: 65655
912.79/915.25 c #Conflicts: 651000 | #Constraints: 66655
912.79/915.25 c #Conflicts: 652000 | #Constraints: 67655
912.79/915.25 c #Conflicts: 653000 | #Constraints: 68655
912.79/915.25 c #Conflicts: 654000 | #Constraints: 69655
912.79/915.25 c #Conflicts: 655000 | #Constraints: 70655
967.56/970.17 c #Conflicts: 656000 | #Constraints: 71655
967.56/970.17 c #Conflicts: 657000 | #Constraints: 72655
967.56/970.17 c #Conflicts: 658000 | #Constraints: 73655
967.56/970.17 c #Conflicts: 659000 | #Constraints: 74655
967.56/970.17 c #Conflicts: 660000 | #Constraints: 75655
967.56/970.17 c #Conflicts: 661000 | #Constraints: 76655
967.56/970.17 c #Conflicts: 662000 | #Constraints: 77655
967.56/970.17 c #Conflicts: 663000 | #Constraints: 78655
967.56/970.17 c #Conflicts: 664000 | #Constraints: 79655
967.56/970.17 c #Conflicts: 665000 | #Constraints: 80655
967.56/970.17 c #Conflicts: 666000 | #Constraints: 81655
967.56/970.17 c #Conflicts: 667000 | #Constraints: 82655
967.56/970.17 c #Conflicts: 668000 | #Constraints: 83655
967.56/970.17 c #Conflicts: 669000 | #Constraints: 84655
967.56/970.17 c #Conflicts: 670000 | #Constraints: 85655
967.56/970.17 c #Conflicts: 671000 | #Constraints: 86655
967.56/970.17 c #Conflicts: 672000 | #Constraints: 87655
967.56/970.17 c INPROCESSING
967.56/970.17 c GARBAGE COLLECT
967.56/970.17 c rational objective 1.13243e-13
991.19/993.85 c #Conflicts: 673000 | #Constraints: 47825
991.19/993.85 c #Conflicts: 674000 | #Constraints: 48825
991.19/993.85 c #Conflicts: 675000 | #Constraints: 49825
991.19/993.85 c #Conflicts: 676000 | #Constraints: 50825
991.19/993.85 c #Conflicts: 677000 | #Constraints: 51825
991.19/993.85 c #Conflicts: 678000 | #Constraints: 52825
991.19/993.85 c #Conflicts: 679000 | #Constraints: 53825
991.19/993.85 c #Conflicts: 680000 | #Constraints: 54825
991.19/993.85 c #Conflicts: 681000 | #Constraints: 55825
991.19/993.85 c #Conflicts: 682000 | #Constraints: 56825
991.19/993.85 c #Conflicts: 683000 | #Constraints: 57825
991.19/993.85 c #Conflicts: 684000 | #Constraints: 58825
991.19/993.85 c #Conflicts: 685000 | #Constraints: 59825
991.19/993.85 c #Conflicts: 686000 | #Constraints: 60825
991.19/993.85 c #Conflicts: 687000 | #Constraints: 61825
991.19/993.85 c #Conflicts: 688000 | #Constraints: 62825
991.19/993.85 c #Conflicts: 689000 | #Constraints: 63825
991.19/993.85 c #Conflicts: 690000 | #Constraints: 64825
991.19/993.85 c #Conflicts: 691000 | #Constraints: 65825
991.19/993.85 c #Conflicts: 692000 | #Constraints: 66825
991.19/993.85 c INPROCESSING
991.19/993.85 c GARBAGE COLLECT
991.19/993.85 c rational objective -1.66089e-12
1226.02/1229.25 c #Conflicts: 693000 | #Constraints: 37310
1226.02/1229.25 c #Conflicts: 694000 | #Constraints: 38310
1226.02/1229.25 c #Conflicts: 695000 | #Constraints: 39310
1226.02/1229.25 c #Conflicts: 696000 | #Constraints: 40310
1226.02/1229.25 c #Conflicts: 697000 | #Constraints: 41310
1226.02/1229.25 c #Conflicts: 698000 | #Constraints: 42310
1226.02/1229.25 c #Conflicts: 699000 | #Constraints: 43310
1226.02/1229.25 c #Conflicts: 700000 | #Constraints: 44310
1226.02/1229.25 c #Conflicts: 701000 | #Constraints: 45310
1226.02/1229.25 c #Conflicts: 702000 | #Constraints: 46310
1226.02/1229.25 c #Conflicts: 703000 | #Constraints: 47310
1226.02/1229.25 c #Conflicts: 704000 | #Constraints: 48310
1226.02/1229.25 c #Conflicts: 705000 | #Constraints: 49310
1226.02/1229.25 c #Conflicts: 706000 | #Constraints: 50310
1226.02/1229.25 c #Conflicts: 707000 | #Constraints: 51310
1226.02/1229.25 c #Conflicts: 708000 | #Constraints: 52310
1226.02/1229.25 c #Conflicts: 709000 | #Constraints: 53310
1226.02/1229.25 c #Conflicts: 710000 | #Constraints: 54310
1226.02/1229.25 c #Conflicts: 711000 | #Constraints: 55310
1226.02/1229.25 c #Conflicts: 712000 | #Constraints: 56310
1226.02/1229.25 c INPROCESSING
1226.02/1229.25 c GARBAGE COLLECT
1226.02/1229.25 c #Conflicts: 713000 | #Constraints: 33975
1226.02/1229.25 c #Conflicts: 714000 | #Constraints: 34975
1226.02/1229.25 c #Conflicts: 715000 | #Constraints: 35975
1226.02/1229.25 c #Conflicts: 716000 | #Constraints: 36975
1226.02/1229.25 c #Conflicts: 717000 | #Constraints: 37975
1226.02/1229.25 c #Conflicts: 718000 | #Constraints: 38975
1226.02/1229.25 c #Conflicts: 719000 | #Constraints: 39975
1226.02/1229.25 c #Conflicts: 720000 | #Constraints: 40975
1226.02/1229.25 c #Conflicts: 721000 | #Constraints: 41975
1226.02/1229.25 c #Conflicts: 722000 | #Constraints: 42975
1226.02/1229.25 c #Conflicts: 723000 | #Constraints: 43975
1226.02/1229.25 c #Conflicts: 724000 | #Constraints: 44975
1226.02/1229.25 c #Conflicts: 725000 | #Constraints: 45975
1226.02/1229.25 c #Conflicts: 726000 | #Constraints: 46975
1226.02/1229.25 c #Conflicts: 727000 | #Constraints: 47975
1226.02/1229.25 c #Conflicts: 728000 | #Constraints: 48975
1226.02/1229.25 c #Conflicts: 729000 | #Constraints: 49975
1226.02/1229.25 c #Conflicts: 730000 | #Constraints: 50975
1226.02/1229.25 c #Conflicts: 731000 | #Constraints: 51975
1226.02/1229.25 c #Conflicts: 732000 | #Constraints: 52975
1226.02/1229.25 c #Conflicts: 733000 | #Constraints: 53975
1226.02/1229.25 c #Conflicts: 734000 | #Constraints: 54975
1226.02/1229.25 c #Conflicts: 735000 | #Constraints: 55975
1226.02/1229.25 c #Conflicts: 736000 | #Constraints: 56975
1226.02/1229.25 c #Conflicts: 737000 | #Constraints: 57975
1226.02/1229.25 c #Conflicts: 738000 | #Constraints: 58975
1226.02/1229.25 c #Conflicts: 739000 | #Constraints: 59975
1226.02/1229.25 c #Conflicts: 740000 | #Constraints: 60975
1226.02/1229.25 c #Conflicts: 741000 | #Constraints: 61975
1226.02/1229.25 c #Conflicts: 742000 | #Constraints: 62975
1226.02/1229.25 c #Conflicts: 743000 | #Constraints: 63975
1226.02/1229.25 c #Conflicts: 744000 | #Constraints: 64975
1226.02/1229.25 c #Conflicts: 745000 | #Constraints: 65975
1226.02/1229.25 c #Conflicts: 746000 | #Constraints: 66975
1226.02/1229.25 c #Conflicts: 747000 | #Constraints: 67975
1226.02/1229.25 c #Conflicts: 748000 | #Constraints: 68975
1226.02/1229.25 c #Conflicts: 749000 | #Constraints: 69975
1226.02/1229.25 c #Conflicts: 750000 | #Constraints: 70975
1226.02/1229.25 c #Conflicts: 751000 | #Constraints: 71975
1226.02/1229.25 c #Conflicts: 752000 | #Constraints: 72975
1226.02/1229.25 c #Conflicts: 753000 | #Constraints: 73975
1226.02/1229.25 c #Conflicts: 754000 | #Constraints: 74975
1226.02/1229.25 c #Conflicts: 755000 | #Constraints: 75976
1226.02/1229.25 c #Conflicts: 756000 | #Constraints: 76976
1226.02/1229.25 c #Conflicts: 757000 | #Constraints: 77976
1226.02/1229.25 c #Conflicts: 758000 | #Constraints: 78976
1226.02/1229.25 c #Conflicts: 759000 | #Constraints: 79976
1226.02/1229.25 c #Conflicts: 760000 | #Constraints: 80976
1226.02/1229.25 c #Conflicts: 761000 | #Constraints: 81976
1226.02/1229.25 c #Conflicts: 762000 | #Constraints: 82976
1226.02/1229.25 c #Conflicts: 763000 | #Constraints: 83976
1226.02/1229.25 c #Conflicts: 764000 | #Constraints: 84976
1226.02/1229.25 c #Conflicts: 765000 | #Constraints: 85976
1226.02/1229.25 c #Conflicts: 766000 | #Constraints: 86976
1226.02/1229.25 c #Conflicts: 767000 | #Constraints: 87976
1226.02/1229.25 c #Conflicts: 768000 | #Constraints: 88976
1226.02/1229.25 c #Conflicts: 769000 | #Constraints: 89976
1226.02/1229.25 c #Conflicts: 770000 | #Constraints: 90976
1226.02/1229.25 c #Conflicts: 771000 | #Constraints: 91976
1238.09/1241.39 c #Conflicts: 772000 | #Constraints: 92976
1238.09/1241.39 c #Conflicts: 773000 | #Constraints: 93976
1238.09/1241.39 c #Conflicts: 774000 | #Constraints: 94976
1238.09/1241.39 c INPROCESSING
1238.09/1241.39 c GARBAGE COLLECT
1238.09/1241.39 c rational objective -1.13243e-13
1303.74/1307.15 c #Conflicts: 775000 | #Constraints: 51410
1303.74/1307.15 c #Conflicts: 776000 | #Constraints: 52411
1303.74/1307.15 c #Conflicts: 777000 | #Constraints: 53411
1303.74/1307.15 c #Conflicts: 778000 | #Constraints: 54411
1303.74/1307.15 c #Conflicts: 779000 | #Constraints: 55411
1303.74/1307.15 c #Conflicts: 780000 | #Constraints: 56411
1303.74/1307.15 c #Conflicts: 781000 | #Constraints: 57411
1303.74/1307.15 c #Conflicts: 782000 | #Constraints: 58411
1303.74/1307.15 c #Conflicts: 783000 | #Constraints: 59411
1303.74/1307.15 c #Conflicts: 784000 | #Constraints: 60412
1303.74/1307.15 c #Conflicts: 785000 | #Constraints: 61412
1303.74/1307.15 c #Conflicts: 786000 | #Constraints: 62412
1303.74/1307.15 c #Conflicts: 787000 | #Constraints: 63412
1303.74/1307.15 c #Conflicts: 788000 | #Constraints: 64412
1303.74/1307.15 c #Conflicts: 789000 | #Constraints: 65412
1303.74/1307.15 c #Conflicts: 790000 | #Constraints: 66412
1303.74/1307.15 c #Conflicts: 791000 | #Constraints: 67412
1303.74/1307.15 c #Conflicts: 792000 | #Constraints: 68413
1303.74/1307.15 c #Conflicts: 793000 | #Constraints: 69413
1303.74/1307.15 c #Conflicts: 794000 | #Constraints: 70413
1303.74/1307.15 c #Conflicts: 795000 | #Constraints: 71413
1303.74/1307.15 c INPROCESSING
1303.74/1307.15 c GARBAGE COLLECT
1303.74/1307.15 c #Conflicts: 796000 | #Constraints: 39289
1303.74/1307.15 c #Conflicts: 797000 | #Constraints: 40289
1303.74/1307.15 c #Conflicts: 798000 | #Constraints: 41289
1303.74/1307.15 c #Conflicts: 799000 | #Constraints: 42289
1303.74/1307.15 c #Conflicts: 800000 | #Constraints: 43289
1303.74/1307.15 c #Conflicts: 801000 | #Constraints: 44290
1303.74/1307.15 c #Conflicts: 802000 | #Constraints: 45290
1303.74/1307.15 c #Conflicts: 803000 | #Constraints: 46290
1303.74/1307.15 c #Conflicts: 804000 | #Constraints: 47290
1303.74/1307.15 c #Conflicts: 805000 | #Constraints: 48290
1303.74/1307.15 c #Conflicts: 806000 | #Constraints: 49290
1303.74/1307.15 c #Conflicts: 807000 | #Constraints: 50290
1303.74/1307.15 c #Conflicts: 808000 | #Constraints: 51290
1303.74/1307.15 c #Conflicts: 809000 | #Constraints: 52290
1303.74/1307.15 c #Conflicts: 810000 | #Constraints: 53290
1303.74/1307.15 c #Conflicts: 811000 | #Constraints: 54290
1303.74/1307.15 c #Conflicts: 812000 | #Constraints: 55290
1303.74/1307.15 c #Conflicts: 813000 | #Constraints: 56290
1303.74/1307.15 c #Conflicts: 814000 | #Constraints: 57290
1303.74/1307.15 c #Conflicts: 815000 | #Constraints: 58290
1303.74/1307.15 c #Conflicts: 816000 | #Constraints: 59290
1303.74/1307.15 c #Conflicts: 817000 | #Constraints: 60290
1303.74/1307.15 c INPROCESSING
1303.74/1307.15 c GARBAGE COLLECT
1303.74/1307.15 c rational objective -1.13243e-13
1500.15/1504.04 c #Conflicts: 818000 | #Constraints: 36784
1500.15/1504.04 c #Conflicts: 819000 | #Constraints: 37784
1500.15/1504.04 c #Conflicts: 820000 | #Constraints: 38784
1500.15/1504.04 c #Conflicts: 821000 | #Constraints: 39784
1500.15/1504.04 c #Conflicts: 822000 | #Constraints: 40784
1500.15/1504.04 c #Conflicts: 823000 | #Constraints: 41784
1500.15/1504.04 c #Conflicts: 824000 | #Constraints: 42784
1500.15/1504.04 c #Conflicts: 825000 | #Constraints: 43784
1500.15/1504.04 c #Conflicts: 826000 | #Constraints: 44784
1500.15/1504.04 c #Conflicts: 827000 | #Constraints: 45784
1500.15/1504.04 c #Conflicts: 828000 | #Constraints: 46784
1500.15/1504.04 c #Conflicts: 829000 | #Constraints: 47784
1500.15/1504.04 c #Conflicts: 830000 | #Constraints: 48784
1500.15/1504.04 c #Conflicts: 831000 | #Constraints: 49784
1500.15/1504.04 c #Conflicts: 832000 | #Constraints: 50784
1500.15/1504.04 c #Conflicts: 833000 | #Constraints: 51784
1500.15/1504.04 c #Conflicts: 834000 | #Constraints: 52784
1500.15/1504.04 c #Conflicts: 835000 | #Constraints: 53784
1500.15/1504.04 c #Conflicts: 836000 | #Constraints: 54784
1500.15/1504.04 c #Conflicts: 837000 | #Constraints: 55784
1500.15/1504.05 c #Conflicts: 838000 | #Constraints: 56784
1500.15/1504.05 c #Conflicts: 839000 | #Constraints: 57784
1500.15/1504.05 c #Conflicts: 840000 | #Constraints: 58784
1500.15/1504.05 c #Conflicts: 841000 | #Constraints: 59784
1500.15/1504.05 c #Conflicts: 842000 | #Constraints: 60784
1500.15/1504.05 c #Conflicts: 843000 | #Constraints: 61784
1500.15/1504.05 c #Conflicts: 844000 | #Constraints: 62784
1500.15/1504.05 c #Conflicts: 845000 | #Constraints: 63784
1500.15/1504.05 c #Conflicts: 846000 | #Constraints: 64784
1500.15/1504.05 c #Conflicts: 847000 | #Constraints: 65784
1500.15/1504.05 c #Conflicts: 848000 | #Constraints: 66784
1500.15/1504.05 c #Conflicts: 849000 | #Constraints: 67784
1500.15/1504.05 c #Conflicts: 850000 | #Constraints: 68784
1500.15/1504.05 c #Conflicts: 851000 | #Constraints: 69784
1500.15/1504.05 c #Conflicts: 852000 | #Constraints: 70784
1500.15/1504.05 c #Conflicts: 853000 | #Constraints: 71784
1500.15/1504.05 c #Conflicts: 854000 | #Constraints: 72784
1500.15/1504.05 c #Conflicts: 855000 | #Constraints: 73784
1500.15/1504.05 c #Conflicts: 856000 | #Constraints: 74784
1500.15/1504.05 c #Conflicts: 857000 | #Constraints: 75784
1500.15/1504.05 c #Conflicts: 858000 | #Constraints: 76784
1500.15/1504.05 c #Conflicts: 859000 | #Constraints: 77784
1500.15/1504.05 c #Conflicts: 860000 | #Constraints: 78784
1500.15/1504.05 c #Conflicts: 861000 | #Constraints: 79784
1500.15/1504.05 c #Conflicts: 862000 | #Constraints: 80784
1500.15/1504.05 c #Conflicts: 863000 | #Constraints: 81784
1500.15/1504.05 c #Conflicts: 864000 | #Constraints: 82784
1500.15/1504.05 c #Conflicts: 865000 | #Constraints: 83784
1500.15/1504.05 c #Conflicts: 866000 | #Constraints: 84784
1500.15/1504.05 c #Conflicts: 867000 | #Constraints: 85784
1500.15/1504.05 c #Conflicts: 868000 | #Constraints: 86784
1500.15/1504.05 c #Conflicts: 869000 | #Constraints: 87784
1500.15/1504.05 c #Conflicts: 870000 | #Constraints: 88784
1500.15/1504.05 c #Conflicts: 871000 | #Constraints: 89784
1500.15/1504.05 c #Conflicts: 872000 | #Constraints: 90784
1500.15/1504.05 c #Conflicts: 873000 | #Constraints: 91784
1500.15/1504.05 c #Conflicts: 874000 | #Constraints: 92784
1500.15/1504.05 c #Conflicts: 875000 | #Constraints: 93784
1500.15/1504.05 c #Conflicts: 876000 | #Constraints: 94784
1500.15/1504.05 c #Conflicts: 877000 | #Constraints: 95784
1500.15/1504.05 c #Conflicts: 878000 | #Constraints: 96784
1500.15/1504.05 c #Conflicts: 879000 | #Constraints: 97784
1500.15/1504.05 c #Conflicts: 880000 | #Constraints: 98784
1500.15/1504.05 c #Conflicts: 881000 | #Constraints: 99784
1500.15/1504.05 c #Conflicts: 882000 | #Constraints: 100784
1500.15/1504.05 c #Conflicts: 883000 | #Constraints: 101784
1500.15/1504.05 c INPROCESSING
1500.15/1504.05 c GARBAGE COLLECT
1500.15/1504.05 c rational objective -1.13243e-13
1591.41/1595.50 c #Conflicts: 884000 | #Constraints: 54783
1591.41/1595.50 c #Conflicts: 885000 | #Constraints: 55783
1591.41/1595.50 c #Conflicts: 886000 | #Constraints: 56783
1591.41/1595.50 c #Conflicts: 887000 | #Constraints: 57783
1591.41/1595.50 c #Conflicts: 888000 | #Constraints: 58783
1591.41/1595.50 c #Conflicts: 889000 | #Constraints: 59783
1591.41/1595.50 c #Conflicts: 890000 | #Constraints: 60783
1591.41/1595.50 c #Conflicts: 891000 | #Constraints: 61783
1591.41/1595.50 c #Conflicts: 892000 | #Constraints: 62783
1591.41/1595.50 c #Conflicts: 893000 | #Constraints: 63783
1591.41/1595.50 c #Conflicts: 894000 | #Constraints: 64783
1591.41/1595.50 c #Conflicts: 895000 | #Constraints: 65783
1591.41/1595.50 c #Conflicts: 896000 | #Constraints: 66783
1591.41/1595.50 c #Conflicts: 897000 | #Constraints: 67783
1591.41/1595.50 c #Conflicts: 898000 | #Constraints: 68783
1591.41/1595.50 c #Conflicts: 899000 | #Constraints: 69783
1591.41/1595.50 c #Conflicts: 900000 | #Constraints: 70783
1591.41/1595.50 c #Conflicts: 901000 | #Constraints: 71783
1591.41/1595.50 c #Conflicts: 902000 | #Constraints: 72783
1591.41/1595.50 c #Conflicts: 903000 | #Constraints: 73783
1591.41/1595.50 c #Conflicts: 904000 | #Constraints: 74783
1591.41/1595.50 c #Conflicts: 905000 | #Constraints: 75783
1591.41/1595.50 c #Conflicts: 906000 | #Constraints: 76783
1591.41/1595.50 c INPROCESSING
1591.41/1595.50 c GARBAGE COLLECT
1591.41/1595.50 c #Conflicts: 907000 | #Constraints: 42187
1591.41/1595.50 c #Conflicts: 908000 | #Constraints: 43187
1591.41/1595.50 c #Conflicts: 909000 | #Constraints: 44187
1591.41/1595.50 c #Conflicts: 910000 | #Constraints: 45187
1591.41/1595.50 c #Conflicts: 911000 | #Constraints: 46187
1591.41/1595.50 c #Conflicts: 912000 | #Constraints: 47187
1591.41/1595.50 c #Conflicts: 913000 | #Constraints: 48187
1591.41/1595.50 c #Conflicts: 914000 | #Constraints: 49187
1591.41/1595.50 c #Conflicts: 915000 | #Constraints: 50187
1591.41/1595.50 c #Conflicts: 916000 | #Constraints: 51188
1591.41/1595.50 c #Conflicts: 917000 | #Constraints: 52188
1591.41/1595.50 c #Conflicts: 918000 | #Constraints: 53188
1591.41/1595.50 c #Conflicts: 919000 | #Constraints: 54188
1591.41/1595.50 c #Conflicts: 920000 | #Constraints: 55189
1591.41/1595.50 c #Conflicts: 921000 | #Constraints: 56189
1591.41/1595.50 c #Conflicts: 922000 | #Constraints: 57189
1591.41/1595.50 c #Conflicts: 923000 | #Constraints: 58189
1591.41/1595.50 c #Conflicts: 924000 | #Constraints: 59189
1591.41/1595.50 c #Conflicts: 925000 | #Constraints: 60189
1591.41/1595.50 c #Conflicts: 926000 | #Constraints: 61189
1591.41/1595.50 c #Conflicts: 927000 | #Constraints: 62189
1591.41/1595.50 c #Conflicts: 928000 | #Constraints: 63189
1591.41/1595.50 c #Conflicts: 929000 | #Constraints: 64189
1591.41/1595.50 c #Conflicts: 930000 | #Constraints: 65189
1591.41/1595.50 c INPROCESSING
1591.41/1595.50 c GARBAGE COLLECT
1591.41/1595.50 c rational objective -1.13243e-13
2133.86/2139.37 c #Conflicts: 931000 | #Constraints: 40424
2133.86/2139.37 c #Conflicts: 932000 | #Constraints: 41424
2133.86/2139.37 c #Conflicts: 933000 | #Constraints: 42424
2133.86/2139.37 c #Conflicts: 934000 | #Constraints: 43424
2133.86/2139.37 c #Conflicts: 935000 | #Constraints: 44424
2133.86/2139.37 c #Conflicts: 936000 | #Constraints: 45424
2133.86/2139.37 c #Conflicts: 937000 | #Constraints: 46424
2133.86/2139.37 c #Conflicts: 938000 | #Constraints: 47424
2133.86/2139.37 c #Conflicts: 939000 | #Constraints: 48424
2133.86/2139.37 c #Conflicts: 940000 | #Constraints: 49424
2133.86/2139.37 c #Conflicts: 941000 | #Constraints: 50425
2133.86/2139.37 c #Conflicts: 942000 | #Constraints: 51425
2133.86/2139.37 c #Conflicts: 943000 | #Constraints: 52425
2133.86/2139.37 c #Conflicts: 944000 | #Constraints: 53425
2133.86/2139.37 c #Conflicts: 945000 | #Constraints: 54425
2133.86/2139.37 c #Conflicts: 946000 | #Constraints: 55425
2133.86/2139.37 c #Conflicts: 947000 | #Constraints: 56425
2133.86/2139.37 c #Conflicts: 948000 | #Constraints: 57425
2133.86/2139.37 c #Conflicts: 949000 | #Constraints: 58425
2133.86/2139.37 c #Conflicts: 950000 | #Constraints: 59425
2133.86/2139.37 c #Conflicts: 951000 | #Constraints: 60425
2133.86/2139.37 c #Conflicts: 952000 | #Constraints: 61425
2133.86/2139.37 c #Conflicts: 953000 | #Constraints: 62425
2133.86/2139.37 c #Conflicts: 954000 | #Constraints: 63425
2133.86/2139.37 c #Conflicts: 955000 | #Constraints: 64425
2133.86/2139.37 c #Conflicts: 956000 | #Constraints: 65425
2133.86/2139.37 c #Conflicts: 957000 | #Constraints: 66425
2133.86/2139.37 c #Conflicts: 958000 | #Constraints: 67425
2133.86/2139.37 c #Conflicts: 959000 | #Constraints: 68425
2133.86/2139.37 c #Conflicts: 960000 | #Constraints: 69425
2133.86/2139.37 c #Conflicts: 961000 | #Constraints: 70425
2133.86/2139.37 c #Conflicts: 962000 | #Constraints: 71425
2133.86/2139.37 c #Conflicts: 963000 | #Constraints: 72425
2133.86/2139.37 c #Conflicts: 964000 | #Constraints: 73425
2133.86/2139.37 c #Conflicts: 965000 | #Constraints: 74425
2133.86/2139.37 c #Conflicts: 966000 | #Constraints: 75426
2133.86/2139.37 c #Conflicts: 967000 | #Constraints: 76426
2133.86/2139.37 c #Conflicts: 968000 | #Constraints: 77426
2133.86/2139.37 c #Conflicts: 969000 | #Constraints: 78426
2133.86/2139.37 c #Conflicts: 970000 | #Constraints: 79426
2133.86/2139.37 c #Conflicts: 971000 | #Constraints: 80426
2133.86/2139.37 c #Conflicts: 972000 | #Constraints: 81426
2133.86/2139.37 c #Conflicts: 973000 | #Constraints: 82426
2133.86/2139.37 c #Conflicts: 974000 | #Constraints: 83426
2133.86/2139.37 c #Conflicts: 975000 | #Constraints: 84426
2133.86/2139.37 c #Conflicts: 976000 | #Constraints: 85426
2133.86/2139.37 c #Conflicts: 977000 | #Constraints: 86426
2133.86/2139.37 c #Conflicts: 978000 | #Constraints: 87426
2133.86/2139.37 c #Conflicts: 979000 | #Constraints: 88426
2133.86/2139.37 c #Conflicts: 980000 | #Constraints: 89426
2133.86/2139.37 c #Conflicts: 981000 | #Constraints: 90426
2133.86/2139.37 c #Conflicts: 982000 | #Constraints: 91426
2133.86/2139.37 c #Conflicts: 983000 | #Constraints: 92426
2133.86/2139.37 c #Conflicts: 984000 | #Constraints: 93426
2133.86/2139.37 c #Conflicts: 985000 | #Constraints: 94426
2133.86/2139.37 c #Conflicts: 986000 | #Constraints: 95426
2133.86/2139.37 c #Conflicts: 987000 | #Constraints: 96426
2133.86/2139.37 c #Conflicts: 988000 | #Constraints: 97426
2133.86/2139.37 c #Conflicts: 989000 | #Constraints: 98426
2133.86/2139.37 c #Conflicts: 990000 | #Constraints: 99426
2133.86/2139.37 c #Conflicts: 991000 | #Constraints: 100426
2133.86/2139.37 c #Conflicts: 992000 | #Constraints: 101426
2133.86/2139.37 c #Conflicts: 993000 | #Constraints: 102426
2133.86/2139.37 c #Conflicts: 994000 | #Constraints: 103426
2133.86/2139.37 c #Conflicts: 995000 | #Constraints: 104426
2133.86/2139.37 c #Conflicts: 996000 | #Constraints: 105426
2133.86/2139.37 c #Conflicts: 997000 | #Constraints: 106426
2133.86/2139.37 c #Conflicts: 998000 | #Constraints: 107426
2133.86/2139.37 c #Conflicts: 999000 | #Constraints: 108426
2133.86/2139.37 c INPROCESSING
2133.86/2139.37 c GARBAGE COLLECT
2133.86/2139.37 c rational objective 1.13243e-13
2198.00/2203.69 c #Conflicts: 1000000 | #Constraints: 57957
2198.00/2203.69 c #Conflicts: 1001000 | #Constraints: 58957
2198.00/2203.69 c #Conflicts: 1002000 | #Constraints: 59957
2198.00/2203.69 c #Conflicts: 1003000 | #Constraints: 60957
2198.00/2203.69 c #Conflicts: 1004000 | #Constraints: 61957
2198.00/2203.69 c #Conflicts: 1005000 | #Constraints: 62957
2198.00/2203.69 c #Conflicts: 1006000 | #Constraints: 63957
2198.00/2203.69 c #Conflicts: 1007000 | #Constraints: 64957
2198.00/2203.69 c #Conflicts: 1008000 | #Constraints: 65957
2198.00/2203.69 c #Conflicts: 1009000 | #Constraints: 66957
2198.00/2203.69 c #Conflicts: 1010000 | #Constraints: 67957
2198.00/2203.69 c #Conflicts: 1011000 | #Constraints: 68957
2198.00/2203.69 c #Conflicts: 1012000 | #Constraints: 69957
2198.00/2203.69 c #Conflicts: 1013000 | #Constraints: 70957
2198.00/2203.69 c #Conflicts: 1014000 | #Constraints: 71957
2198.00/2203.69 c #Conflicts: 1015000 | #Constraints: 72957
2198.00/2203.69 c #Conflicts: 1016000 | #Constraints: 73957
2198.00/2203.69 c #Conflicts: 1017000 | #Constraints: 74957
2198.00/2203.69 c #Conflicts: 1018000 | #Constraints: 75957
2198.00/2203.69 c #Conflicts: 1019000 | #Constraints: 76957
2198.00/2203.69 c #Conflicts: 1020000 | #Constraints: 77957
2198.00/2203.69 c #Conflicts: 1021000 | #Constraints: 78957
2198.00/2203.69 c #Conflicts: 1022000 | #Constraints: 79957
2198.00/2203.69 c #Conflicts: 1023000 | #Constraints: 80957
2198.00/2203.69 c #Conflicts: 1024000 | #Constraints: 81957
2198.00/2203.69 c INPROCESSING
2198.00/2203.69 c GARBAGE COLLECT
2198.00/2203.69 c rational objective -1.13243e-13
2289.07/2294.99 c #Conflicts: 1025000 | #Constraints: 44646
2289.07/2294.99 c #Conflicts: 1026000 | #Constraints: 45646
2289.07/2294.99 c #Conflicts: 1027000 | #Constraints: 46646
2289.07/2294.99 c #Conflicts: 1028000 | #Constraints: 47646
2289.07/2294.99 c #Conflicts: 1029000 | #Constraints: 48646
2289.07/2294.99 c #Conflicts: 1030000 | #Constraints: 49646
2289.07/2294.99 c #Conflicts: 1031000 | #Constraints: 50646
2289.07/2294.99 c #Conflicts: 1032000 | #Constraints: 51646
2289.07/2294.99 c #Conflicts: 1033000 | #Constraints: 52646
2289.07/2294.99 c #Conflicts: 1034000 | #Constraints: 53646
2289.07/2294.99 c #Conflicts: 1035000 | #Constraints: 54646
2289.07/2294.99 c #Conflicts: 1036000 | #Constraints: 55646
2289.07/2294.99 c #Conflicts: 1037000 | #Constraints: 56646
2289.07/2294.99 c #Conflicts: 1038000 | #Constraints: 57646
2289.07/2294.99 c #Conflicts: 1039000 | #Constraints: 58646
2289.07/2294.99 c #Conflicts: 1040000 | #Constraints: 59646
2289.07/2294.99 c #Conflicts: 1041000 | #Constraints: 60646
2289.07/2294.99 c #Conflicts: 1042000 | #Constraints: 61646
2289.07/2294.99 c #Conflicts: 1043000 | #Constraints: 62646
2289.07/2294.99 c #Conflicts: 1044000 | #Constraints: 63646
2289.07/2294.99 c #Conflicts: 1045000 | #Constraints: 64646
2289.07/2294.99 c #Conflicts: 1046000 | #Constraints: 65646
2289.07/2294.99 c #Conflicts: 1047000 | #Constraints: 66646
2289.07/2294.99 c #Conflicts: 1048000 | #Constraints: 67646
2289.07/2294.99 c #Conflicts: 1049000 | #Constraints: 68646
2289.07/2294.99 c INPROCESSING
2289.07/2294.99 c GARBAGE COLLECT
2289.07/2294.99 c rational objective 1
3600.01/3609.50 c #Conflicts: 1050000 | #Constraints: 41329
3600.01/3609.50 c #Conflicts: 1051000 | #Constraints: 42329
3600.01/3609.50 c #Conflicts: 1052000 | #Constraints: 43329
3600.01/3609.50 c #Conflicts: 1053000 | #Constraints: 44329
3600.01/3609.50 c #Conflicts: 1054000 | #Constraints: 45329
3600.01/3609.50 c #Conflicts: 1055000 | #Constraints: 46329
3600.01/3609.50 c #Conflicts: 1056000 | #Constraints: 47329
3600.01/3609.50 c #Conflicts: 1057000 | #Constraints: 48329
3600.01/3609.50 c #Conflicts: 1058000 | #Constraints: 49329
3600.01/3609.50 c #Conflicts: 1059000 | #Constraints: 50329
3600.01/3609.50 c #Conflicts: 1060000 | #Constraints: 51329
3600.01/3609.50 c #Conflicts: 1061000 | #Constraints: 52329
3600.01/3609.50 c #Conflicts: 1062000 | #Constraints: 53329
3600.01/3609.50 c #Conflicts: 1063000 | #Constraints: 54329
3600.01/3609.50 c #Conflicts: 1064000 | #Constraints: 55329
3600.01/3609.50 c #Conflicts: 1065000 | #Constraints: 56329
3600.01/3609.50 c #Conflicts: 1066000 | #Constraints: 57329
3600.01/3609.50 c #Conflicts: 1067000 | #Constraints: 58329
3600.01/3609.50 c #Conflicts: 1068000 | #Constraints: 59329
3600.01/3609.50 c #Conflicts: 1069000 | #Constraints: 60329
3600.01/3609.50 c #Conflicts: 1070000 | #Constraints: 61329
3600.01/3609.50 c #Conflicts: 1071000 | #Constraints: 62329
3600.01/3609.50 c #Conflicts: 1072000 | #Constraints: 63329
3600.01/3609.50 c #Conflicts: 1073000 | #Constraints: 64329
3600.01/3609.50 c #Conflicts: 1074000 | #Constraints: 65329
3600.01/3609.50 c #Conflicts: 1075000 | #Constraints: 66329
3600.01/3609.50 c #Conflicts: 1076000 | #Constraints: 67329
3600.01/3609.50 c #Conflicts: 1077000 | #Constraints: 68330
3600.01/3609.50 c #Conflicts: 1078000 | #Constraints: 69330
3600.01/3609.50 c #Conflicts: 1079000 | #Constraints: 70330
3600.01/3609.50 c #Conflicts: 1080000 | #Constraints: 71330
3600.01/3609.50 c #Conflicts: 1081000 | #Constraints: 72330
3600.01/3609.50 c #Conflicts: 1082000 | #Constraints: 73330
3600.01/3609.50 c #Conflicts: 1083000 | #Constraints: 74330
3600.01/3609.50 c #Conflicts: 1084000 | #Constraints: 75330
3600.01/3609.50 c #Conflicts: 1085000 | #Constraints: 76330
3600.01/3609.50 c #Conflicts: 1086000 | #Constraints: 77330
3600.01/3609.50 c #Conflicts: 1087000 | #Constraints: 78330
3600.01/3609.50 c #Conflicts: 1088000 | #Constraints: 79330
3600.01/3609.50 c #Conflicts: 1089000 | #Constraints: 80330
3600.01/3609.50 c #Conflicts: 1090000 | #Constraints: 81330
3600.01/3609.50 c #Conflicts: 1091000 | #Constraints: 82330
3600.01/3609.50 c #Conflicts: 1092000 | #Constraints: 83330
3600.01/3609.50 c #Conflicts: 1093000 | #Constraints: 84330
3600.01/3609.50 c #Conflicts: 1094000 | #Constraints: 85330
3600.01/3609.50 c #Conflicts: 1095000 | #Constraints: 86330
3600.01/3609.50 c #Conflicts: 1096000 | #Constraints: 87330
3600.01/3609.50 c #Conflicts: 1097000 | #Constraints: 88330
3600.01/3609.50 c #Conflicts: 1098000 | #Constraints: 89330
3600.01/3609.50 c #Conflicts: 1099000 | #Constraints: 90330
3600.01/3609.50 c #Conflicts: 1100000 | #Constraints: 91330
3600.01/3609.50 c #Conflicts: 1101000 | #Constraints: 92330
3600.01/3609.50 c #Conflicts: 1102000 | #Constraints: 93330
3600.01/3609.50 c #Conflicts: 1103000 | #Constraints: 94330
3600.01/3609.50 c #Conflicts: 1104000 | #Constraints: 95330
3600.01/3609.50 c #Conflicts: 1105000 | #Constraints: 96330
3600.01/3609.50 c #Conflicts: 1106000 | #Constraints: 97330
3600.01/3609.50 c #Conflicts: 1107000 | #Constraints: 98330
3600.01/3609.50 c #Conflicts: 1108000 | #Constraints: 99330
3600.01/3609.50 c #Conflicts: 1109000 | #Constraints: 100330
3600.01/3609.50 c #Conflicts: 1110000 | #Constraints: 101330
3600.01/3609.50 c #Conflicts: 1111000 | #Constraints: 102330
3600.01/3609.50 c #Conflicts: 1112000 | #Constraints: 103330
3600.01/3609.50 c #Conflicts: 1113000 | #Constraints: 104330
3600.01/3609.50 c #Conflicts: 1114000 | #Constraints: 105330
3600.01/3609.50 c #Conflicts: 1115000 | #Constraints: 106330
3600.01/3609.50 c #Conflicts: 1116000 | #Constraints: 107330
3600.01/3609.50 c #Conflicts: 1117000 | #Constraints: 108330
3600.01/3609.50 c #Conflicts: 1118000 | #Constraints: 109330
3600.01/3609.50 c cpu time 3593.8 s
3600.01/3609.50 c deterministic time 195754289118 1.96e+11
3600.01/3609.50 c optimization time 1309.65 s
3600.01/3609.50 c total solve time 2284.13 s
3600.01/3609.50 c core-guided solve time 0 s
3600.01/3609.50 c propagation time 2563.01 s
3600.01/3609.50 c conflict analysis time 994.821 s
3600.01/3609.50 c propagations 371715847
3600.01/3609.50 c resolve steps 128461105
3600.01/3609.50 c decisions 1759741
3600.01/3609.50 c conflicts 1118825
3600.01/3609.50 c restarts 2046
3600.01/3609.50 c inprocessing phases 53
3600.01/3609.50 c garbage collections 53 ,( 100.00 )
3600.01/3609.50 c input clauses 2340 ,( 47.36 )
3600.01/3609.50 c input cardinalities 0 ,( 0.00 )
3600.01/3609.50 c input general constraints 2601 ,( 52.64 )
3600.01/3609.50 c input average constraint length 3.72
3600.01/3609.50 c input average constraint degree 911475334422.30
3600.01/3609.50 c learned clauses 752916 ,( 67.29 )
3600.01/3609.50 c learned cardinalities 136 ,( 0.01 )
3600.01/3609.50 c learned general constraints 365792 ,( 32.69 )
3600.01/3609.50 c learned average constraint length 272.49
3600.01/3609.50 c learned average constraint degree 130650574.61
3600.01/3609.50 c watched CF 32, 64, 128, Arb: 54946 , 0 , 0 , 0
3600.01/3609.50 c counting CF 32, 64, 128, Arb: 313446 , 1 , 0 , 0
3600.01/3609.50 c watched constraints 54946 ,( 14.92 )
3600.01/3609.50 c counting constraints 313447 ,( 85.08 )
3600.01/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 507024133 , 2720997 , 56287924741 ,( 750251827 , 55537672914 )
3600.01/3609.50 c gcd simplifications 27409
3600.01/3609.50 c detected cardinalities 47
3600.01/3609.50 c weakened non-implied lits 45073025
3600.01/3609.50 c weakened non-implying lits 277718
3600.01/3609.50 c original variables 3484
3600.01/3609.50 c clausal propagations 96521288
3600.01/3609.50 c cardinality propagations 121166
3600.01/3609.50 c watched propagations 848095
3600.01/3609.50 c counting propagations 273091133
3600.01/3609.50 c watch lookups 89053758710
3600.01/3609.50 c watch backjump lookups 0
3600.01/3609.50 c watch checks 18440062179
3600.01/3609.50 c propagation checks 86271854148
3600.01/3609.50 c constraint additions 1240332428
3600.01/3609.50 c trail pops 374590949
3600.01/3609.50 c formula constraints 4941
3600.01/3609.50 c learned constraints 1118804
3600.01/3609.50 c bound constraints 0
3600.01/3609.50 c core-guided constraints 0
3600.01/3609.50 c encountered formula constraints 95146958
3600.01/3609.50 c encountered learned constraints 34222435
3600.01/3609.50 c encountered bound constraints 0
3600.01/3609.50 c encountered core-guided constraints 0
3600.01/3609.50 c LP total time 14.5055 s
3600.01/3609.50 c LP solve time 13 s
3600.01/3609.50 c LP constraints added 4942
3600.01/3609.50 c LP constraints removed 0
3600.01/3609.50 c LP pivots internal 112051
3600.01/3609.50 c LP pivots root 103064
3600.01/3609.50 c LP calls 360
3600.01/3609.50 c LP optimalities 336
3600.01/3609.50 c LP no pivot count 27
3600.01/3609.50 c LP infeasibilities 20
3600.01/3609.50 c LP valid Farkas constraints 20
3600.01/3609.50 c LP learned Farkas constraints 20
3600.01/3609.50 c LP basis resets 0
3600.01/3609.50 c LP cycling count 0
3600.01/3609.50 c LP singular count 0
3600.01/3609.50 c LP no primal count 0
3600.01/3609.50 c LP no farkas count 0
3600.01/3609.50 c LP other issue count 0
3600.01/3609.50 c LP Gomory cuts 0
3600.01/3609.50 c LP learned cuts 1
3600.01/3609.50 c LP deleted cuts 0
3600.01/3609.50 c LP encountered Gomory constraints 0
3600.01/3609.50 c LP encountered Farkas constraints 202453
3600.01/3609.50 c LP encountered learned Farkas constraints 8064
3600.01/3609.50 c CG auxiliary variables introduced 0
3600.01/3609.50 c CG solutions found 0
3600.01/3609.50 c CG cores constructed 0
3600.01/3609.50 c CG core cardinality constraints returned 0
3600.01/3609.50 c CG unit cores 0
3600.01/3609.50 c CG single cores 0
3600.01/3609.50 c CG blocks removed during cardinality reduction 0
3600.01/3609.50 c CG first core best 0
3600.01/3609.50 c CG decision core best 0
3600.01/3609.50 c CG core reduction tie 0
3600.01/3609.50 c CG core degree average 0.00
3600.01/3609.50 c CG core slack average 0.00
3600.01/3609.50 c CG core upper bound improvements 0
3600.01/3609.50 c STR number of successful calls 0
3600.01/3609.50 c STR number of unsuccessful calls 0
3600.01/3609.50 c STR number of inconclusive calls 0
3600.01/3609.50 c STR number of successful attempts 0
3600.01/3609.50 c STR number of unsuccessful attempts 0
3600.01/3609.50 c STR number of inconclusive attempts 0
3600.01/3609.50 c STR average degree increase per successful call inf
3600.01/3609.50 c STR average degree increase per successful attempt inf
3600.01/3609.50 c STR total number of conflicts for successful attempts 0
3600.01/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.50 c STR average number of conflicts per successful attempt inf
3600.01/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.50 c AVG.sumWPerc 77.24
3600.01/3609.50 c bigint constraints 1
3600.01/3609.50 s UNKNOWN
3600.01/3609.50 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 (62100 MiB free)
memory of node 1: 64465 MiB (62388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541685-1753202596/watcher-4541685-1753202596 -o /tmp/evaluation-result-4541685-1753202596/solver-4541685-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157106 --watchdog 3760 run-dec-ls.sh HOME/instance-4541685-1753202596.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=157525, runsolver pid=157517
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.22 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127456416/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=65644 memory=22012 CPUtime=0.07 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 3484 0 0 0 6 1 0 0 20 0 1 0 235934171 67219456 5503 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 16411 5503 2304 1147 0 3838 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 69836 KiB
Current children cumulated memory: 25084 KiB
[startup+0.205545 s]*
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127438396/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=67092 memory=23164 CPUtime=0.17 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 3771 0 0 0 16 1 0 0 20 0 1 0 235934171 68702208 5791 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 16773 5791 2336 1147 0 4200 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 71284 KiB
Current children cumulated memory: 26236 KiB
[startup+0.30524 s]*
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127438396/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=67092 memory=23420 CPUtime=0.26 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 3814 0 0 0 25 1 0 0 20 0 1 0 235934171 68702208 5855 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 16773 5855 2336 1147 0 4200 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 71284 KiB
Current children cumulated memory: 26492 KiB
[startup+0.700161 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127437136/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=67624 memory=24060 CPUtime=0.66 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 3973 0 0 0 64 2 0 0 20 0 1 0 235934171 69246976 6015 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 16906 6015 2336 1147 0 4333 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 71816 KiB
Current children cumulated memory: 27132 KiB
[startup+1.50013 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127435120/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=68264 memory=24572 CPUtime=1.45 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 4098 0 0 0 143 2 0 0 20 0 1 0 235934171 69902336 6143 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 17066 6143 2336 1147 0 4493 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 72456 KiB
Current children cumulated memory: 27644 KiB
[startup+3.1052 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127431260/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=69328 memory=25596 CPUtime=3.06 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 4359 0 0 0 302 4 0 0 20 0 1 0 235934171 70991872 6399 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 17332 6399 2336 1147 0 4759 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 73520 KiB
Current children cumulated memory: 28668 KiB
[startup+6.30014 s]
/proc/loadavg: 4.19 4.16 4.06 5/269 157548
/proc/meminfo: memFree=127427832/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=72628 memory=30756 CPUtime=6.24 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 5163 0 0 0 617 7 0 0 20 0 1 0 235934171 74371072 7689 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 18157 7689 2336 1147 0 5584 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 76820 KiB
Current children cumulated memory: 33828 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.16 4.06 5/269 157548
/proc/meminfo: memFree=127419768/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=72920 memory=31140 CPUtime=12.63 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 5258 0 0 0 1253 10 0 0 20 0 1 0 235934171 74670080 7785 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 18230 7785 2336 1147 0 5657 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 34212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127398920/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=101480 memory=54456 CPUtime=25.4 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 9550 0 0 0 2520 20 0 0 20 0 1 0 235934171 103915520 13614 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 25370 13614 2336 1147 0 12797 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 57528 KiB
[startup+51.1053 s]
/proc/loadavg: 4.21 4.17 4.06 5/269 157549
/proc/meminfo: memFree=127360020/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=104976 memory=60092 CPUtime=50.95 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 10434 0 0 0 5059 36 0 0 20 0 1 0 235934171 107495424 15023 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 26244 15023 2336 1147 0 13671 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 109168 KiB
Current children cumulated memory: 63164 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.07 5/268 157552
/proc/meminfo: memFree=127265556/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=121880 memory=73208 CPUtime=102.02 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 12204 0 0 0 10143 59 0 0 20 0 1 0 235934171 124805120 18302 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 30470 18302 2336 1147 0 17897 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 126072 KiB
Current children cumulated memory: 76280 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/268 157554
/proc/meminfo: memFree=127128244/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=129836 memory=85032 CPUtime=161.86 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 14096 0 0 0 16097 89 0 0 20 0 1 0 235934171 132952064 21258 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 32459 21258 2336 1147 0 19886 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 134028 KiB
Current children cumulated memory: 88104 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/269 157557
/proc/meminfo: memFree=127010252/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=139108 memory=95372 CPUtime=221.71 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 16198 0 0 0 22054 117 0 0 20 0 1 0 235934171 142446592 23843 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 34777 23843 2336 1147 0 22204 0
Current children cumulated CPU time: 221.71 s
################
# More data... #
################
/proc/157532/statm: 322712 266239 2336 1147 0 310139 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 1295040 KiB
Current children cumulated memory: 1068028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 157719
/proc/meminfo: memFree=124733492/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1313888 memory=1098752 CPUtime=3154.1 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 192420 0 0 0 314812 598 0 0 20 0 1 0 235934171 1345421312 274688 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 328472 274688 2336 1147 0 315899 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 1318080 KiB
Current children cumulated memory: 1101824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 157721
/proc/meminfo: memFree=124664964/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1334880 memory=1124744 CPUtime=3213.92 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 196845 0 0 0 320790 602 0 0 20 0 1 0 235934171 1366917120 281186 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 333720 281186 2336 1147 0 321147 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 1339072 KiB
Current children cumulated memory: 1127816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 157723
/proc/meminfo: memFree=124611592/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1354848 memory=1153948 CPUtime=3273.74 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 201291 0 0 0 326769 605 0 0 20 0 1 0 235934171 1387364352 288487 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 338712 288487 2336 1147 0 326139 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 1359040 KiB
Current children cumulated memory: 1157020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 157727
/proc/meminfo: memFree=124550408/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1389152 memory=1199872 CPUtime=3333.58 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 208126 0 0 0 332749 609 0 0 20 0 1 0 235934171 1422491648 299968 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 347288 299968 2336 1147 0 334715 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 1393344 KiB
Current children cumulated memory: 1202944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 157730
/proc/meminfo: memFree=124478176/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1419876 memory=1248356 CPUtime=3393.4 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 213840 0 0 0 338728 612 0 0 20 0 1 0 235934171 1453953024 312089 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 354969 312089 2336 1147 0 342396 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 1424068 KiB
Current children cumulated memory: 1251428 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 157732
/proc/meminfo: memFree=124440204/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1664496 memory=1307924 CPUtime=3453.23 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 219394 0 0 0 344708 615 0 0 20 0 1 0 235934171 1704443904 326981 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 416124 326981 2336 1147 0 403551 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 1668688 KiB
Current children cumulated memory: 1310996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 157734
/proc/meminfo: memFree=124349344/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1687024 memory=1361924 CPUtime=3513.06 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 222935 0 0 0 350687 619 0 0 20 0 1 0 235934171 1727512576 340481 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 421756 340481 2336 1147 0 409183 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 1691216 KiB
Current children cumulated memory: 1364996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 157736
/proc/meminfo: memFree=124281484/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1704432 memory=1418456 CPUtime=3572.89 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 225508 0 0 0 356668 621 0 0 20 0 1 0 235934171 1745338368 354614 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 426108 354614 2336 1147 0 413535 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 1708624 KiB
Current children cumulated memory: 1421528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 157745
/proc/meminfo: memFree=124223264/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1717232 memory=1451456 CPUtime=3600.01 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 227286 0 0 0 359379 622 0 0 20 0 1 0 235934171 1758445568 362864 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 429308 362864 2336 1147 0 416735 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1721424 KiB
Current children cumulated memory: 1454528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 157525 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001104 s, system=0.001108 s
[startup+3609.52 s]
# the end of solver process 157532 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.8 s, system=6.23761 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.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 157745
/proc/meminfo: memFree=124223264/131249992 swapFree=33009392/33010684
[pid=157525] ppid=157517 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/157525/stat : 157525 (run-dec-ls.sh) S 157517 157525 157089 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235934170 4292608 768 18446744073709551615 94822296174592 94822297069125 140725221399936 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94822297308176 94822297355920 94822314266624 140725221407077 140725221407203 140725221407203 140725221412807 0
/proc/157525/statm: 1048 768 704 219 0 110 0
[pid=157532] ppid=157525 vsize=1717232 memory=1451456 CPUtime=3600.01 cores=0,2
/proc/157532/stat : 157532 (roundingsat) R 157525 157525 157089 0 -1 4194304 227286 0 0 0 359379 622 0 0 20 0 1 0 235934171 1758445568 362864 18446744073709551615 4227072 8923433 140736258845488 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12414976 140736258853278 140736258853414 140736258853414 140736258858986 0
/proc/157532/statm: 429308 362864 2336 1147 0 416735 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1721424 KiB
Current children cumulated memory: 1454528 KiB
Child status: 2
Real time (s): 3609.52
CPU time (s): 3600.04
CPU user time (s): 3593.8
CPU system time (s): 6.23761
CPU usage (%): 99.7374
Max. virtual memory (cumulated for all children) (KiB): 1721424
Max. memory (cumulated for all children) (KiB): 1454528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.8
system time used= 6.23761
maximum resident set size= 1451840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 344
involuntary context switches= 8728
# summary of solver processes directly reported to runsolver:
# pid: 157525,157532
# total CPU time (s): 3600.04
# total CPU user time (s): 3593.8
# total CPU system time (s): 6.23761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00084 second user time and 16.3613 second system time
The end
Begin job on nodeC035 at 2025-07-22 18:43:16
IDJOB=4541685
IDBENCH=163331
IDSOLVER=3353
FILE ID=nodeC035/4541685-1753202596
RUNJOBID= nodeC035-1753198973-157106
SLURM_JOB_ID= 9687768
Free space on /tmp= 432468 MiB
SOLVER NAME= roundingsat-ls 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541685-1753202596/watcher-4541685-1753202596 -o /tmp/evaluation-result-4541685-1753202596/solver-4541685-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157106 --watchdog 3760 run-dec-ls.sh HOME/instance-4541685-1753202596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=1063239506
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
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.51
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.300
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.51
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 : 3599.990
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.51
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 : 3600.003
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.741
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.51
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 : 3531.613
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.51
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.569
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.747
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127474456 kB
MemAvailable: 129651828 kB
Buffers: 664 kB
Cached: 2928764 kB
SwapCached: 336 kB
Active: 941716 kB
Inactive: 2058508 kB
Active(anon): 77792 kB
Inactive(anon): 18908 kB
Active(file): 863924 kB
Inactive(file): 2039600 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14768 kB
Writeback: 0 kB
AnonPages: 73684 kB
Mapped: 108968 kB
Shmem: 25904 kB
KReclaimable: 226176 kB
Slab: 321720 kB
SReclaimable: 226176 kB
SUnreclaim: 95544 kB
KernelStack: 4128 kB
PageTables: 2940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 358172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432436 MiB
End job on nodeC035 at 2025-07-22 19:43:26