(3,20) (4,22) (5,19) (6,25) (7,30) (8,21) (9,18) (10,29) (11,23) (12,28) (13,26) (15,27) 
nodes: 3315  conflicts: 62  modelTime: 659  solveTime: 4616  totalTime: 5282  modelSize: 41292  readTime: 7 size: 12