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