(1,24) (2,20) (3,18) (6,29) (7,30) (8,27) (9,16) (10,22) (11,17) (12,25) (14,28) (15,26) 
nodes: 788  conflicts: 54  modelTime: 660  solveTime: 1038  totalTime: 1704  modelSize: 41293  readTime: 6 size: 12