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