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