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