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