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