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