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