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