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