(1,17) (2,27) (3,18) (4,20) (5,30) (6,16) (7,22) (9,21) (10,26) (11,19) (12,29) (13,28) (14,24) (15,23) 
nodes: 4986  conflicts: 19  modelTime: 657  solveTime: 9644  totalTime: 10306  modelSize: 41292  readTime: 5 size: 14