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