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