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