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