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