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