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