(1,26) (2,21) (4,18) (5,25) (6,28) (7,20) (8,29) (9,27) (10,19) (11,17) (12,22) (13,23) (14,30) (15,16) 
nodes: 11281  conflicts: 31  modelTime: 1068  solveTime: 30487  totalTime: 31561  modelSize: 41293  readTime: 6 size: 14