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