(1,30) (2,20) (3,22) (5,27) (6,25) (7,23) (8,28) (9,21) (12,24) (14,26) (15,18) 
nodes: 710  conflicts: 54  modelTime: 665  solveTime: 933  totalTime: 1606  modelSize: 41292  readTime: 8 size: 11