(1,27) (2,18) (3,17) (6,29) (9,19) (11,22) (12,24) (13,25) (14,30) (15,21) 
nodes: 505  conflicts: 72  modelTime: 666  solveTime: 552  totalTime: 1225  modelSize: 41300  readTime: 7 size: 10