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