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