(1,17) (2,26) (3,19) (4,30) (5,29) (6,21) (7,22) (8,23) (9,28) (10,18) (12,25) (13,20) (14,16) (15,24) 
nodes: 5177  conflicts: 17  modelTime: 1190  solveTime: 15797  totalTime: 16996  modelSize: 41292  readTime: 9 size: 14