(1,26) (2,28) (3,27) (4,25) (5,16) (8,19) (9,29) (10,23) (11,21) (12,30) (13,24) (15,20) 
nodes: 3691  conflicts: 56  modelTime: 661  solveTime: 5155  totalTime: 5823  modelSize: 41293  readTime: 7 size: 12