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