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