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