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