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