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