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