(1,29) (2,25) (3,24) (6,19) (7,16) (9,30) (10,23) (11,27) (12,20) (13,18) (14,26) (15,17) 
nodes: 965  conflicts: 64  modelTime: 666  solveTime: 1576  totalTime: 2249  modelSize: 41300  readTime: 7 size: 12