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