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