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