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