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