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