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