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