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