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