(1,20) (2,24) (3,29) (4,27) (5,23) (6,21) (7,25) (9,26) (11,17) (13,30) (15,28) 
nodes: 3418  conflicts: 57  modelTime: 660  solveTime: 4661  totalTime: 5327  modelSize: 41292  readTime: 6 size: 11