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