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