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