(2,24) (3,26) (4,29) (5,30) (6,19) (7,28) (8,21) (9,25) (10,27) (11,17) (12,20) (13,16) (15,22) 
nodes: 1977  conflicts: 43  modelTime: 663  solveTime: 2693  totalTime: 3362  modelSize: 41293  readTime: 6 size: 13