(1,23) (2,20) (3,18) (4,25) (5,24) (7,30) (9,21) (10,27) (11,22) (13,26) (15,16) 
nodes: 2391  conflicts: 66  modelTime: 667  solveTime: 2689  totalTime: 3363  modelSize: 41293  readTime: 7 size: 11