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