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