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