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