(2,20) (3,18) (4,27) (7,21) (9,22) (10,29) (11,25) (12,30) (13,17) (14,16) (15,24) 
nodes: 592  conflicts: 98  modelTime: 667  solveTime: 674  totalTime: 1347  modelSize: 41300  readTime: 6 size: 11