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