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