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