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