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