(1,23) (2,27) (3,30) (4,29) (5,22) (6,16) (7,20) (8,26) (9,25) (12,17) (13,28) (14,18) (15,19) 
nodes: 1455  conflicts: 57  modelTime: 659  solveTime: 2399  totalTime: 3066  modelSize: 41293  readTime: 7 size: 13