(1,27) (2,26) (3,20) (4,29) (5,25) (7,22) (10,18) (11,21) (12,24) (13,23) (14,28) (15,30) 
nodes: 633  conflicts: 64  modelTime: 661  solveTime: 697  totalTime: 1365  modelSize: 41293  readTime: 7 size: 12