(1,16) (2,23) (3,28) (4,25) (5,30) (6,19) (7,20) (9,18) (10,21) (11,26) (13,24) (14,17) (15,22) 
nodes: 1356  conflicts: 48  modelTime: 660  solveTime: 2141  totalTime: 2807  modelSize: 41299  readTime: 6 size: 13