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