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