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