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