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