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