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