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