(1,28) (2,30) (3,25) (4,24) (5,21) (7,19) (8,22) (9,17) (10,29) (11,27) (12,20) (13,18) (15,23) 
nodes: 2477  conflicts: 42  modelTime: 655  solveTime: 3386  totalTime: 4048  modelSize: 41293  readTime: 7 size: 13