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