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