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