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