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