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