(1,29) (2,26) (3,10) (4,8) (5,11) (6,24) (7,25) (9,20) (12,22) (13,28) (15,21) (16,30) (17,23) (18,27) 
nodes: 321  conflicts: 57  modelTime: 963  solveTime: 1890  totalTime: 2865  modelSize: 72262  readTime: 12 size: 14