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