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