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