(1,29) (2,23) (3,22) (4,17) (5,18) (6,28) (7,21) (8,20) (9,30) (10,19) (11,25) (12,26) (13,27) (14,16) (15,24) 
nodes: 2854  conflicts: 11  modelTime: 768  solveTime: 5936  totalTime: 6714  modelSize: 41293  readTime: 9 size: 15