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