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