(1,30) (2,28) (3,20) (4,29) (5,24) (6,18) (8,22) (9,16) (10,26) (11,27) (13,21) (15,17) 
nodes: 1783  conflicts: 50  modelTime: 661  solveTime: 1494  totalTime: 2161  modelSize: 41293  readTime: 6 size: 12