(1,19) (3,25) (4,28) (5,30) (6,23) (8,16) (9,21) (10,22) (11,24) (12,29) (13,26) (15,20) 
nodes: 952  conflicts: 44  modelTime: 659  solveTime: 984  totalTime: 1649  modelSize: 41293  readTime: 6 size: 12