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