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