(2,20) (3,23) (4,21) (5,18) (7,22) (8,26) (9,28) (10,29) (15,30) 
nodes: 1865  conflicts: 94  modelTime: 667  solveTime: 2702  totalTime: 3376  modelSize: 41300  readTime: 7 size: 9