(1,21) (2,18) (3,20) (4,26) (5,19) (6,27) (7,25) (8,24) (9,28) (10,22) (13,23) (14,30) (15,29) 
nodes: 5675  conflicts: 39  modelTime: 659  solveTime: 10083  totalTime: 10748  modelSize: 41293  readTime: 6 size: 13