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