(2,22) (3,19) (4,20) (6,17) (7,24) (9,27) (10,23) (11,25) (12,30) (13,29) (14,18) (15,21) 
nodes: 2381  conflicts: 55  modelTime: 665  solveTime: 3687  totalTime: 4359  modelSize: 41293  readTime: 7 size: 12