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