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