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