(1,24) (2,28) (3,30) (4,26) (5,18) (6,25) (7,17) (8,19) (9,29) (10,23) (13,16) (14,22) (15,20) 
nodes: 7042  conflicts: 39  modelTime: 657  solveTime: 14510  totalTime: 15173  modelSize: 41293  readTime: 6 size: 13