(1,14) (2,28) (4,26) (5,10) (6,24) (8,25) (9,29) (11,20) (12,30) (15,21) (18,22) (23,27) 
nodes: 1100  conflicts: 102  modelTime: 1716  solveTime: 7885  totalTime: 9622  modelSize: 72262  readTime: 21 size: 12