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