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