(1,22) (2,23) (3,18) (4,17) (5,19) (6,27) (7,16) (9,24) (10,28) (11,30) (12,21) (13,29) (14,25) (15,20) 
nodes: 4160  conflicts: 31  modelTime: 666  solveTime: 10265  totalTime: 10938  modelSize: 41293  readTime: 6 size: 14