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