(2,17) (3,18) (4,20) (5,30) (7,21) (9,19) (10,29) (12,24) (13,16) (14,27) (15,28) 
nodes: 2011  conflicts: 64  modelTime: 663  solveTime: 2327  totalTime: 2997  modelSize: 41300  readTime: 7 size: 11