(1,26) (2,28) (3,23) (4,17) (5,18) (6,20) (7,27) (8,30) (9,22) (10,19) (11,29) (12,21) (13,25) (14,24) (15,16) 
nodes: 5194  conflicts: 9  modelTime: 1179  solveTime: 20672  totalTime: 21859  modelSize: 41293  readTime: 8 size: 15