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