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