(1,28) (3,25) (5,29) (6,24) (7,19) (8,30) (9,27) (12,23) (13,22) (15,18) 
nodes: 1021  conflicts: 64  modelTime: 663  solveTime: 1024  totalTime: 1693  modelSize: 41300  readTime: 6 size: 10