(1,16) (2,28) (3,18) (4,22) (5,25) (6,26) (7,19) (8,23) (9,17) (10,20) (11,29) (12,24) (13,30) (15,27) 
nodes: 1729  conflicts: 27  modelTime: 663  solveTime: 2616  totalTime: 3285  modelSize: 41299  readTime: 6 size: 14