(1,30) (3,27) (5,21) (7,18) (8,24) (9,29) (10,20) (11,25) (12,16) (15,22) 
nodes: 430  conflicts: 70  modelTime: 664  solveTime: 752  totalTime: 1423  modelSize: 41300  readTime: 7 size: 10