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