(1,28) (2,17) (3,25) (4,30) (5,21) (7,26) (8,19) (9,24) (11,27) (12,20) (13,18) (14,22) (15,29) 
nodes: 1947  conflicts: 62  modelTime: 659  solveTime: 3286  totalTime: 3951  modelSize: 41293  readTime: 6 size: 13