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