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